A framework for heterogeneous concurrency control policies in distributed applications

Several concurrency control policies for distributed systems have been proposed both by theorists and practitioners. We present an abstract framework for concurrency control policies for the serial model. This framework supports a wide range of policies and permits the integration of different policies within the same application. It is shown how the framework is instantiated for several policies: strict two-phase locking, strict timestamping, optimistic and local timestamping. The framework defines a uniform interface for distributed concurrency control policies, such that a smooth replacement of policies during development is possible.