Implementing sequentially consistent shared objects using broadcast and point-to-point communication.

This paper presents and proves correct a distributed algorithm that implements a sequentially consistent collection of shared read/update objects. This algorithm is a generalization of one used in the Orca shared object system. The algorithm caches objects in the local memory of processors according...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Journal of the ACM 45, 1 (1998).
Tác giả chính:	Fekete, Alan
Định dạng:	Bài viết
Ngôn ngữ:	Tiếng Anh
Những chủ đề:	Computer systems organization. Computer communication networks. Distributed systems. Network operating systems. Software. Operating systems. Theory of computation. Logics and meanings of programs. Algorithms. Verification.