A distributed locking algorithm for a transactions system in flat concurrent prolog

Ehud Reches, Ehud Gudes, Ehud Shapiro

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationFoundations of Data Organization and Algorithms - 3rd International Conference, FODO 1989, Proceedings
EditorsWitold Litwin, Hans-Jorg Schek
PublisherSpringer Verlag
Pages304-320
Number of pages17
ISBN (Print)9783540512950
DOIs
StatePublished - 1 Jan 1989
Externally publishedYes
Event3rd International Conference on Foundations of Data Organization and Algorithms, FODO 1989 - Paris, France
Duration: 21 Jun 198923 Jun 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume367 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Conference on Foundations of Data Organization and Algorithms, FODO 1989
Country/TerritoryFrance
CityParis
Period21/06/8923/06/89

Fingerprint

Dive into the research topics of 'A distributed locking algorithm for a transactions system in flat concurrent prolog'. Together they form a unique fingerprint.

Cite this