Distributed Shared State with History Maintenance
Author(s)
Panchekha, Pavel; Brodsky, Micah Z. (Micah Zev)
DownloadMIT-CSAIL-TR-2013-024.pdf (283.1Kb)
Other Contributors
Mathematics and Computation
Advisor
Gerald Sussman
Metadata
Show full item recordAbstract
Shared mutable state is challenging to maintain in a distributed environment. We develop a technique, based on the Operational Transform, that guides independent agents into producing consistent states through inconsistent but equivalent histories of operations. Our technique, history maintenance, extends and streamlines the Operational Transform for general distributed systems. We describe how to use history maintenance to create eventually-consistent, strongly-consistent, and hybrid systems whose correctness is easy to reason about.
Date issued
2013-10-08Series/Report no.
MIT-CSAIL-TR-2013-024
Keywords
eventual consistency, distributed systems, operational transform