NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Maintaining consistency in distributed systemsIn systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors. Where data is persistent and/or sets of operation are related to one another, transactions or linearizability may be more appropriate. Systems that incorporate cooperative styles of distributed execution often replicate or distribute data within groups of components. In these cases, group oriented consistency properties must be maintained, and tools based on the virtual synchrony execution model greatly simplify the task confronting an application developer. All three styles of distributed computing are likely to be seen in future systems - often, within the same application. This leads us to propose an integrated approach that permits applications that use virtual synchrony with concurrent objects that respect a linearizability constraint, and vice versa. Transactional subsystems are treated as a special case of linearizability.
Document ID
19920004492
Document Type
Contractor Report (CR)
Authors
Birman, Kenneth P. (Cornell Univ. Ithaca, NY, United States)
Date Acquired
September 6, 2013
Publication Date
November 12, 1991
Subject Category
COMPUTER SYSTEMS
Report/Patent Number
AD-A243512
NAS 1.26:189504
NASA-CR-189504
TR-91-1240
Funding Number(s)
CONTRACT_GRANT: NAG2-593
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 19920004492.pdf STI