Note: this is an archive of old notes on distributed systems, written back around 2022 during my Ph.D. It is no longer maintained and doesn't reflect my current work.
-
About ballots in Paxos
Why does Paxos need majority acceptance of a value with the same ballot?
-
On the Usage of Atomic Clocks in Spanner
Spanner uses Atomic Clocks for read-only transactions.
-
2PL vs Strict Serializability
2PL ensures "strict" serializability, with assumptions