Toggle Main Menu Toggle Search

Open Access padlockePrints

Data Consistency in a Distributed Persistent Object System

Lookup NU author(s): Dr Robert Stroud



A major issue in persistent systems is preserving data consistency in the presence of concurrency and failures. This paper presents a persistent system PC++ that takes an atomic data type approach to resolving this issue. Unlike existing systems, support for atomic data types in PC++ is implicit so that programmers are required 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 conflict relationship between object operations separately in a small, but expressive declarative language. The PC++ system will then automatically provide appropriate synchronisation and recovery code for atomic objects according to their conflict relation.

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: 10

Print publication date: 01/05/1995

Source Publication Date: May 1995

Report Number: 518

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

Place Published: Newcastle upon Tyne