Browse by author
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.
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)
ISSN (print): 0967-1846
Publisher: IOP Publishing Ltd.
Altmetrics provided by Altmetric