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. Sharing is Harder than Agreeing
 
conference paper

Sharing is Harder than Agreeing

Delporte-Gallet, Carole
•
Fauconnier, Hugues
•
Guerraoui, Rachid  
2008
Proceedings of the ACM Conference on Principles of Distributed Computing
ACM Conference on Principles of Distributed Computing

One of the most celebrated results of the theory of distributed computing is the impossibility, in an asynchronous system of $n$ processes that communicate through shared memory registers, to solve the set agreement problem where the processes need to decide on up to $n - 1$ among their n initial values. In short, the result indicates that the register abstraction is too weak to implement the set agreement one. This paper explores the relation between these abstractions in a message passing system where a register is not a given physical device but is rather itself implemented by processes communicating through message passing. We show that, maybe surprisingly, the information about process failures that is necessary and sufficient to implement a register shared by two particular processes is sufficient but not necessary to implement set agreement. We later generalize this result by considering k-set agreement, where the processes can decide on up to k values, and comparing it with a register shared by any particular subset of 2k processes. We prove that, for $1 \leq k \leq n/2$, (a) any failure information that is sufficient to implement a register shared by 2k processes is sufficient to implement $(n-k)$-set agreement but (b) a failure information that is sufficient for $(n - k)$-set agreement is not sufficient for a register shared by 2k processes. We also prove that (c) a failure information that is sufficient for a register shared by 2k processes is not sufficient for $((n-k)-1)$-set agreement.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

K2.pdf

Access type

openaccess

Size

237.21 KB

Format

Adobe PDF

Checksum (MD5)

6d21e8e786c6d6e4801b45cc7718c7b5

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