Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is presented and proved correct. This algorithm is a generalization of one used in the Orca shared object system. The algorithm...
Main Authors: | , , |
---|---|
Language: | unknown |
Published: |
1995
|
Subjects: | |
Online Access: | https://hdl.handle.net/1721.1/149235 |
Summary: | A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is presented and proved correct. 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 to application needs; each read operation accesses a single copy of the object, while each update accesses all copies. Copies of all the objects are kept consistent using a strategy based on sequence numbers for broadcasts. |
---|