Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR

First Page		Document Content
Date: 2013-04-08 12:27:08 Transaction processing Data management Consistency model Eventual consistency Consistency Causal consistency Atomicity ACE Axiom Formalism Scalability Database		Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 835,94 KB Share Document on Facebook

	Outline Motivation Analysis Of Accessed Objects Conclusion Implementing Atomicity with Locks DocID: 1vflQ - View Document
	Fundamentals Atomicity Keep Off the Grass Locking the Right Path for Atomicity DocID: 1ug7J - View Document
	Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang DocID: 1tPwi - View Document
	Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles DocID: 1tBzB - View Document
	Keep O The Grass: Locking the Right Path for Atomicity Dave Cunningham, Khilan Gudka, and Susan Eisenbach Imperial College London {dc04,kg103,sue}@doc.ic.ac.uk DocID: 1t6tT - View Document