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 for this publication is not currently held within this repository. Alternative links are provided below where available.


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 synchronization 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 synchronization 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: Article

Publication status: Published

Journal: IEE Distributed Systems Engineering (Special Issue on Cabernet)

Year: 1995

Volume: 2

Issue: 1

Pages: 50-64

ISSN (print): 0967-1846

Publisher: IOP Publishing Ltd.


DOI: 10.1088/0967-1846/2/1/005


Altmetrics provided by Altmetric