Advertisement

The Disclosure Power of Shared Objects

  • Peva Blanchard
  • Rachid Guerraoui
  • Julien Stainer
  • Igor Zablotchi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10299)

Abstract

Shared objects are the means by which processes gather and exchange information about the state of a distributed system. Objects that disclose more information about the system are therefore more desirable. In this paper, we propose the schedule reconstruction (SR) problem as a new metric for the disclosure power of shared memory objects. In schedule reconstruction, processes take steps which are interleaved to form a schedule; each process needs to be able to reconstruct the schedule up to its last step. We show that objects can be ranked in a hierarchy according to their ability to solve SR. In this hierarchy, stronger objects can implement weaker objects via a SR-based universal construction. We identify a connection between SR and consensus and prove that SR is at least as hard as consensus. Perhaps surprisingly, we show that objects that are powerful in solving consensus—such as compare-and-swap—are not always powerful in their ability to solve SR.

References

  1. 1.
    Blanchard, P., Guerraoui, R., Stainer, J., Zablotchi, I.: The disclosure power of shared objects. Technical report, EPFL (2017)Google Scholar
  2. 2.
    Herlihy, M.: Wait-free synchronization. TOPLAS 13(1), 124–149 (1991)CrossRefGoogle Scholar
  3. 3.
    Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming, Revised Reprint, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2012)Google Scholar
  4. 4.
    Imbs, D., Rajsbaum, S., Raynal, M., Stainer, J.: Read/write shared memory abstraction on top of asynchronous byzantine message-passing systems. JPDC 93, 1–9 (2016)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Peva Blanchard
    • 1
  • Rachid Guerraoui
    • 1
  • Julien Stainer
    • 1
  • Igor Zablotchi
    • 1
  1. 1.EPFLLausanneSwitzerland

Personalised recommendations