分散システム

Highly Available Transactions Virtues and Limitations (2013)

分散システム向けのフォールトインジェクションフレームワーク Jepsen

A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases(1979)

Virtual Time and Global States of Distributed Systems(1988)

Proving the Correctness of Multiprocess Programs (1977)

Your Coffee Shop Doesn't Use Two-Phase Commit(2005)

Zookeeper: Wait-free coordination for Internet-scale systems (2010)

Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web (2002)

Epidemic Algorithm for Replicated Database Maintenance(1987)

An Improved Data Stream Summary: The Count-Min Sketch and its Applications(2005)

MillWheel: Fault-Tolerant Stream Processing at Internet Scale(2013)

Time, Clocks, and the Ordering of Events in a Distributed System