Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. A Provably Starvation-Free Distributed Directory Protocol
 
conference paper

A Provably Starvation-Free Distributed Directory Protocol

Attiya, Hagit
•
Gramoli, Vincent  
•
Milani, Alessia
2010
Proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems

This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests, allowing to write the object locally, as well as lookup requests, providing a read-only copy of the object. They have been used in distributed shared memory implementations and in data-flow implementations of distributed software transactional memory in large-scale systems. The protocol runs on an overlay tree, whose leaves are the nodes of the system; it ensures that the cost of serving a request is proportional to the cost of the shortest path between the requesting node and the serving node, in the overlay tree. The correctness of the protocol, including starvation freedom, is proved, despite asynchrony and concurrent requests. The protocol avoids race conditions by combining requests that overtake each other as they pass through the same node. Using an overlay tree with a good stretch factor yields an efficient protocol, even when requests are concurrent.

  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-642-16023-3_33
Author(s)
Attiya, Hagit
Gramoli, Vincent  
Milani, Alessia
Date Issued

2010

Publisher

Springer-Verlag

Published in
Proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Series title/Series vol.

LNCS; 6366

Volume

6366

Start page

405

End page

419

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DCL  
Event nameEvent placeEvent date
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems

New York, NY, USA

September 20-22, 2010

Available on Infoscience
August 7, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/52102
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés