Type-specific replication algorithms for multiprocessors

Author

Herlihy, Maurice

Author_Institution

Digital Equipment Corp., Cambridge, MA, USA

fYear

1990

fDate

8-9 Nov 1990

Firstpage

70

Lastpage

74

Abstract

The use of replication for enhancement of the availability of data in multiprocessor systems is discussed. The author explores theoretical aspects of the extent to which it is possible to exploit the semantics of data to make replication more effective. Some of the literature is surveyed, and some opinions about appropriate models and interesting open questions are presented. In particular, linearizability as an appropriate correctness criterion for concurrent objects, wait-free synchronization, and synchronous and asynchronous message-passing models are discussed

Keywords

computational complexity; concurrency control; electronic messaging; multiprocessing systems; asynchronous message-passing models; concurrent objects; correctness criterion; linearizability; multiprocessor systems; semantics; theoretical aspects; type-specific replication algorithms; wait-free synchronization; Clocks; Computer crashes; Concurrent computing; Data structures; Delay; Laboratories; Multiprocessing systems; Runtime; Scheduling; Synchronization;

fLanguage

English

Publisher

ieee

Conference_Titel

Management of Replicated Data, 1990. Proceedings., Workshop on the

Conference_Location

Houston, TX

Print_ISBN

0-8186-2085-4

Type

conf

DOI

10.1109/MRD.1990.138248

Filename

138248