SLEVE: Semantic Locking for EVEnt synchronization

A method for implementing semantic synchronization specifications with ordinary read and write locks is presented. A software system, SLEVE, that implements the methodology is described. An application developer who defines a conflict relation over an arbitrary set of synchronization primitives, such as abstract type operations, events, or semantic lock types, can use SLEVE to implement the specification on an underlying system that supports only read/write locking. The method can be used to synchronize either transactions or processes, and it can be used in multiversioning schemes to control version proliferation.<
>