Title :
Type-specific replication algorithms for multiprocessors
Author :
Herlihy, Maurice
Author_Institution :
Digital Equipment Corp., Cambridge, MA, USA
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;
Conference_Titel :
Management of Replicated Data, 1990. Proceedings., Workshop on the
Conference_Location :
Houston, TX
Print_ISBN :
0-8186-2085-4
DOI :
10.1109/MRD.1990.138248
