SLEVE: Semantic Locking for EVEnt synchronization

Author

Skarra, Andrea H.

Author_Institution

AT&T Bell Lab., Murray Hill, NJ, USA

fYear

1993

fDate

19-23 Apr 1993

Firstpage

495

Lastpage

502

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Data Engineering, 1993. Proceedings. Ninth International Conference on

Conference_Location

Vienna

Print_ISBN

0-8186-3570-3

Type

conf

DOI

10.1109/ICDE.1993.344030

Filename

344030