Pre-analysis locking


Lausen, Georg ; Soisalon-Soininen, Eljas


[img]
Preview
PDF
1989_03.pdf - Published

Download (1MB)

URL: http://ub-madoc.bib.uni-mannheim.de/1868
URN: urn:nbn:de:bsz:180-madoc-18687
Document Type: Working paper
Year of publication: 1989
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Classification: MSC: 68N25 ,
Subject headings (SWD): Blocksystem <Mathematik> , Transaktionssystem , Nebenläufigkeit
Keywords (English): deadlock free locking policy , transaction system , lock and unlock operations , concurrency
Abstract: Locking is considered as a means to achieve serializable schedules of concurrent transactions. Transactions are assumed to be predeclared such that a pre-analysis for locking becomes feasible to increase concurrency. A condition for safety is introduced which, based on a pre-analysis, allows the design of policies strictly dominating known policies such as 2-phase locking. The static case, in which the complete set of transactions is known in advance, and the online case, in which a transaction is known when it is started, are considered. It is shown that a policy strictly dominating 2-phase locking and some other interesting pre-analysis policies can also be applied in an online environment.
Additional information:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Citation Example and Export

Lausen, Georg ; Soisalon-Soininen, Eljas (1989) Pre-analysis locking. Open Access [Working paper]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item