Technical Report CS0317

TR#:CS0317
Class:CS
Title: Towards a Self-Adapting Centralized Control Algorithm
Authors: H. Boral and I. Gold
PDFCS0317.pdf
Abstract: The idea of concurrency control algorithms that consists of several rw synchronization techniques and several ww synchronization techniques is introduced. Some algorithms that utilize both 2PL and Certification based synchronization techniques are presented along with their proofs of correctness. The algorithms have the capability of using any number of the techniques at their disposal concurrently; as well as allow a transaction to be synchronized by different techniques at different times. Such algorithms can form the basis of a concurrency control mechanism in a database management or transaction processing system that adapts itself to the system workload by selecting the appropriate techniques to be used.

The paper concerns itself with correctness issue of such algorithms. In addition to presenting example algorithms, a general proof method is outlined and applied. Furthermore, it is shown that mixing locking and non-locking methods can be achieved and the level of the mix may be varied dynamically.

CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1984/CS/CS0317), rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CS technical reports of 1984
To the main CS technical reports page

Computer science department, Technion
admin