Data consistency in a distributed persistent object system
نویسندگان
چکیده
A major issue in persiAen systems is preserving data consistency in 2he presence of concurrency and failures. This paper presents a persistent system PC++ that lakes an atomic dala type approach to resolving this issue. Unlike exiding systems, support for atomic data types in PC++ is implicit so Ihat programmers are required lo do very little extra work lo make an object atomic. Programmers implement atomic data types as if for a sequential and reliable environment and specify dhe conjIic2 rela2ionship between object operations separately in a small, but expressive declarative language. The PC++ system will then automatically provide appropriate synchronisalion and recovery code for atomic objects according to iheir conjlict relation.
منابع مشابه
Trading Consistency for Availability in a Replicated System
Distributed systems are of unprecedented interest and importance today. Their omnipresence pervades many aspects of our daily lives leading to an increasing demand for dependability of such systems, sometimes very critically as in systems for air traffic control or public safety. As systems are expected to continue functioning even in the presence of failures, fault-tolerance as one means to en...
متن کاملImplementing Persistent Object Systems in Distributed Shared Virtual Memory
As the software community begins to realize the promise of persistent, distributed objects, the pragmatic issue of providing a base platform for constructing such object systems is becoming increasingly important. Unfortunately, the question of how best to provide such a platform is, as yet, largely unanswered. The complexity of managing distributed persistent objects is great due to the large ...
متن کاملA Replica Consistency Algorithm For GlobData
This thesis addresses the problem of replica management in a distributed objectoriented database system. It presents a protocol to ensure data consistency across the different nodes of the system. This protocol relies on recent advances in group communication techniques, and on the use of atomic broadcast as a building block to help serialize conflicting transactions. The protocol was implement...
متن کاملCoherence in Distributed Persistent Object Systems
Distributed system builders are faced with the task of meeting a variety of requirements on the global behaviour of the target system, such as stability, fault-tolerance and failure recovery, concurrency control, commitment, and consistency of replicated data. Coherence means satisfying these types of requirements, although the subset may vary from system from to system. This paper describes an...
متن کاملBootstrapping and Startup of an object-oriented Operating System
The Plurix project implements an object-oriented Operating System (OS) for PC clusters. Network communication is implemented via the well-known Distributed Shared Memory (DSM) paradigm using restartable transactions and an optimistic synchronization scheme to implement memory consistency. The total OS (including kernel and drivers) reside in the persistent DSM – there is no distinction between ...
متن کامل