Advanced Search
CS Search Google Search
Subscribers, please login

Published Articles >> Table of Contents >> Abstract

11th Pacific Rim International Symposium on Dependable Computing (PRDC'05)   pp. 15-22
Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems

Full Article Text: Download PDF of full textBuy this article

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PRDC.2005.37
Send link to a friend

Abstract

Defining good abstractions is a central issue when one wants to understand the deep structure and basic principles that underlie computing mechanisms. This paper introduces a basic and particularly simple distributed computing abstraction suited to asynchronous distributed agreement problems. This abstraction, called Intersecting Sets, requires each process to deposit a value and allows each non-faulty process to obtain a subset of these values such that any two such sets have a non-empty intersection. This simple abstraction captures an essential part of distributed agreement problems. After having introduced and motivated this abstraction, the paper investigates its properties, its power and its benefit when solving distributed agreement problems.

Additional Information
Index Terms- Asynchronous system, Computing abstraction, Consensus, Distributed algorithm, Failure detector, Message passing, Non blocking atomic commit.

Citation:  Roy FRIEDMAN, Achour MOSTEFAOUI, Michel RAYNAL, "Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems," prdc, pp. 15-22,  11th Pacific Rim International Symposium on Dependable Computing (PRDC'05),  2005

Similar Articles

Abstract Contents
Abstract
Index Terms
Citation




Free access to

  • Abstracts
  • Selected PDFs

Electronic subscribers login to:

  • Access HTML/PDFs of full text articles

Subscription information

Get a Web account

PDFs require Adobe Acrobat Reader.

Peer Review Notice

Give us Feedback