Concurrency versus availability: atomicity mechanisms for replicated data

Concurrency vs. availability : atomicity mechanisms for replicated data

Atomicity vs. availability : concurrency control for replicated data

Data managed by a distr ibuted program may be subject to consistency and availability requirements that must be satisfied in the presence of concurrency, site crashes, and network partit ions. This paper proposes two integrated methods for implementing concurrency control and replication for data of abstract type. Both methods use quorum consensus. The Consensus Locking method minimizes constra...

Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors

Data races do not cover all kinds of concurrency errors. This paper presents a data-flow-based technique to find stale-value errors, which are not found by low-level and high-level data race algorithms. Stale values denote copies of shared data where the copy is no longer synchronized. The algorithm to detect such values works as a consistency check that does not require any assumptions or anno...

Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects

This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objects may be atomically updated, and these objects automatically maintain consistency with their replicas using an optimistic algorithm. Changes to these objects may be optimistically or pessimistically observed by view obj...

Concurrency Control and View Notiication Algorithms for Collaborative Replicated Objects

This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objects may be atomically updated, and these objects automatically maintain consistency with their replicas using an optimistic algorithm. Changes to these objects may be optimistically or pessimistically observed by view obj...