auto

notes/spannerCockroach.md

@@ -108,6 +108,9 @@ without atomic clocks."
 regardless of observer, provides for a particularly strong guarantee of
 external consistency known as “linearizability.”
 - "in a non-distributed database, serializability implies linearizability"
+  - single clock
+  - if T2 starts after T1 finishes, that will be equiv serial order, and so...
+![blah](cockroach1.png)
 - "CockroachDB’s external consistency guarantee is by default only
   serializability, though with some features that can help bridge the gap in
   practice."