Outline Motivation Analysis Of Accessed Objects Conclusion Implementing Atomicity with Locks

Source URL: spark.woaf.net

Fundamentals Atomicity Keep Off the Grass Locking the Right Path for Atomicity

Source URL: spark.woaf.net

Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang

Source URL: www.cs.ust.hk

Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles

Source URL: kennknowles.com

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

Source URL: pubs.doc.ic.ac.uk

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

Source URL: www.mpi-sws.org

• Concurrency control
• Computing
• Transaction processing
• Data management
• Software
• Compare-and-swap
• Non-blocking algorithm
• Linearizability
• Software transactional memory
• Stack
• Reagent
• Atomicity

Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores KC Sivaramakrishnan* Gowtham Kaki

Source URL: kcsrk.info

• Computing
• Transaction processing
• Data management
• Software
• Eventual consistency
• Consistency
• ACID
• Atomicity
• Extensible Storage Engine
• Database transaction
• Isolation
• Causal consistency

Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie Department of Electrical and Computer Engineering

Source URL: www.eecg.toronto.edu

• Computing
• Concurrency control
• Computer programming
• Transaction processing
• Concurrent computing
• Data management
• Parallel computing
• Debugging
• Linearizability
• Monitor
• Atomicity
• Serializability

Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services Seth Gilbert∗ Nancy Lynch∗

Source URL: www.comp.nus.edu.sg

• Transaction processing
• Computing
• Concurrent computing
• Data management
• Distributed computing
• ACID
• Consistency model
• Distributed shared memory
• Atomicity
• Consistency
• Consensus
• Shared register

Trading-off Data Consistency for Timeliness in Real-Time Database Systems Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden {si

Source URL: www.control.lth.se

• Transaction processing
• Data management
• Atomicity
• ACID
• Isolation
• Database transaction
• Data consistency
• Consistency
• Database
• Durability