@inproceedings{ca1c5efcbcb64504a57cc5a06c24e616,
title = "A distributed locking algorithm for a transactions system in flat concurrent prolog",
abstract = "This paper reports on the design and the implementation of a distributed transactions-system for a Universal File Server. The system maintains consistency in a general purpose file-system by means of concurrency control and crash recovery. Both the distributivity of a transaction and the intra-transaction concurrency, are depicted by a single model which describes the transaction as a partially ordered set of operations. The main concurrency control algorithm described in this paper is a novel distributed locking management algorithm based on the two-phase-locking (2pl) protocol. The system is implemented in Flat Concurrent Prolog (FCP), a concurrent logic programming language. FCP lends itself to the development of new distributed algorithms which utilize the fine-grained concurrency and the powerful communication and synchronization mechanisms supplied by the language. The features of concurrent logic languages, which are useful for implementing file and database systems are demonstrated in this paper.",
author = "Ehud Reches and Ehud Gudes and Ehud Shapiro",
note = "Publisher Copyright: {\textcopyright} 1989, Springer-Verlag.; 3rd International Conference on Foundations of Data Organization and Algorithms, FODO 1989 ; Conference date: 21-06-1989 Through 23-06-1989",
year = "1989",
month = jan,
day = "1",
doi = "10.1007/3-540-51295-0\_139",
language = "English",
isbn = "9783540512950",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "304--320",
editor = "Witold Litwin and Hans-Jorg Schek",
booktitle = "Foundations of Data Organization and Algorithms - 3rd International Conference, FODO 1989, Proceedings",
address = "Germany",
}