Remember this post where I talked about Spanner: Google's Globally Distributed Database? Since then we wrote a paper on this, which got accepted at LADIS '13: 7th Workshop on Large-Scale Distributed Systems and Middleware, a workshop co-located with SOSP 2013.
The paper is available here.
Subscribe to:
Post Comments (Atom)
Two-phase commit and beyond
In this post, we model and explore the two-phase commit protocol using TLA+. The two-phase commit protocol is practical and is used in man...
No comments:
Post a Comment