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...

Full description

Bibliographic Details
Main Authors: Fekete, Alan, Kaashoek, M. Frans, Lynch, Nancy A.
Language:unknown
Published: 1995
Subjects:
Online Access:https://hdl.handle.net/1721.1/149235
id ftmit:oai:dspace.mit.edu:1721.1/149235
record_format openpolar
spelling ftmit:oai:dspace.mit.edu:1721.1/149235 2023-06-11T04:15:46+02:00 Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications Fekete, Alan Kaashoek, M. Frans Lynch, Nancy A. 1995-06 application/pdf https://hdl.handle.net/1721.1/149235 unknown MIT-LCS-TM-518 https://hdl.handle.net/1721.1/149235 1995 ftmit 2023-05-29T08:49:30Z 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. Other/Unknown Material Orca DSpace@MIT (Massachusetts Institute of Technology)
institution Open Polar
collection DSpace@MIT (Massachusetts Institute of Technology)
op_collection_id ftmit
language unknown
description 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.
author Fekete, Alan
Kaashoek, M. Frans
Lynch, Nancy A.
spellingShingle Fekete, Alan
Kaashoek, M. Frans
Lynch, Nancy A.
Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
author_facet Fekete, Alan
Kaashoek, M. Frans
Lynch, Nancy A.
author_sort Fekete, Alan
title Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
title_short Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
title_full Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
title_fullStr Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
title_full_unstemmed Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
title_sort implementing sequentially consistant shared objects using broadcast and point-to-point communications
publishDate 1995
url https://hdl.handle.net/1721.1/149235
genre Orca
genre_facet Orca
op_relation MIT-LCS-TM-518
https://hdl.handle.net/1721.1/149235
_version_ 1768372876677742592