Distributed Shared State with History Maintenance
Name
MIT-CSAIL-TR-2013-024.pdf
Size
283.19 KB
Format
Adobe PDF
Checksum (MD5)
7581e82fc7a7331ddd73dce6f12e73d7
Download all files submitted through automated deposit
Author(s)
Panchekha, Pavel
Brodsky, Micah Z. (Micah Zev)
Advisor(s)
Gerald Sussman
Date Issued
October 8, 2013
Series/Report no.
MIT-CSAIL-TR-2013-024
Abstract
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.
Subjects
eventual consistency
distributed systems
operational transform
Persistent DSpace Link
