Title :
SLEVE: Semantic Locking for EVEnt synchronization
Author :
Skarra, Andrea H.
Author_Institution :
AT&T Bell Lab., Murray Hill, NJ, USA
Abstract :
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
Keywords :
concurrency control; configuration management; database management systems; synchronisation; transaction processing; SLEVE; abstract type operations; conflict relation; event synchronization; multiversioning schemes; process synchronization; read/write locking; semantic lock types; semantic synchronization specifications; synchronization primitives; transaction synchronization; version proliferation; Application software; Concurrency control; Concurrent computing; Control systems; Database systems; Runtime; Software systems; System recovery; Trademarks; Transaction databases;
Conference_Titel :
Data Engineering, 1993. Proceedings. Ninth International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-8186-3570-3
DOI :
10.1109/ICDE.1993.344030
