Toggle Main Menu Toggle Search

Open Access padlockePrints

The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types

Lookup NU author(s): Dr Robert Stroud


Full text is not currently available for this publication.


The complexity of potential interactions among concurrent activities and the multitude of failure modes that can occur in distributed systems make it hard to reason about distributed programs. Transactions provide the programmer with a mechanism that simplifies the development of concurrent and distributed programs. In this paper we present the design and implementation of a distributed transaction system that uses atomic data types to provide synchronisation and recovery. Generally speaking, implementing user-defined atomic data types is a difficult task. However, unlike existing systems, our system requires programmers to do very little extra work to make an object atomic. Programmers implement atomic data types as if for a sequential and reliable environment and specify the concurrent semantics of object operations separately in a small, but expressive declarative language. Appropriate synchronisation and recovery code for atomic data types is generated automatically by the system according to this information.

Publication metadata

Author(s): Wu Z, Stroud RJ, Moody K, Bacon J

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 35

Print publication date: 01/05/1995

Source Publication Date: May 1995

Report Number: 519

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne