共计 42 篇文章
2023
Paper Interpretation - Fast Paxos
Paper Interpretation - Flexible Paxos: Quorum intersection revisited
Implementing Multi-Decree Parliament In TLA+
The Beginner's Guide to TLA+: Specifying and Verifying Distributed Systems
Paper Interpretation - Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
Paper Interpretation - A Critique of ANSI SQL Isolation Levels
Callback To C++20 Coroutine
2022
Paper Interpretation - The Part-Time Parliament
Explore C++20 Coroutine
Jemalloc Size Classes