Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/518.pdf