Data consistency in a distributed persistent object system

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Wu, Z., Moody, K., Bacon, J., Stroud, R.J.
Format: Conference Proceeding
Language:English
Subjects:
Bandwidth
Computer architecture
Computer languages
Concurrent computing
Data structures
Distributed computing
File servers
Laboratories
Programming profession
Testing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
DOI:10.1109/HICSS.1995.375493