Murat Demirbas personal blog
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...
- Points
- 143
- HN comments
- 3
- Submissions
- 1
- Cited by
- 0 commenters
Databases & DataSystems & Performance2018
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Dec 25, 2018 | Two-phase commit and beyond by erdaldal | 143 | 3 |
