Brief Announcement: Accountability and Reconfiguration — Self-Healing Lattice Agreement

Authors Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni



PDF
Thumbnail PDF

File

LIPIcs.DISC.2021.54.pdf
  • Filesize: 429 kB
  • 5 pages

Document Identifiers

Author Details

Luciano Freitas de Souza
  • CEA LIST, Université de Paris-Saclay, France
Petr Kuznetsov
  • LTCI, Télécom Paris, Institut Polytechnique de Paris, France
Thibault Rieutord
  • CEA LIST, Université de Paris-Saclay, France
Sara Tucci-Piergiovanni
  • CEA LIST, Université de Paris-Saclay, France

Cite AsGet BibTex

Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, and Sara Tucci-Piergiovanni. Brief Announcement: Accountability and Reconfiguration — Self-Healing Lattice Agreement. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 54:1-54:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/LIPIcs.DISC.2021.54

Abstract

An accountable distributed system provides means to detect deviations of system components from their expected behavior. It is natural to complement fault detection with a reconfiguration mechanism, so that the system could heal itself, by replacing malfunctioning parts with new ones. In this paper, we describe a framework that can be used to implement a large class of accountable and reconfigurable replicated services. We build atop the fundamental lattice agreement abstraction lying at the core of storage systems and cryptocurrencies. Our asynchronous implementation of accountable lattice agreement ensures that every violation of consistency is followed by an undeniable evidence of misbehavior of a faulty replica. The system can then be seamlessly reconfigured by evicting faulty replicas, adding new ones and merging inconsistent states. We believe that this paper opens a direction towards asynchronous "self-healing" systems that combine accountability and reconfiguration.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • Reconfiguration
  • accountability
  • asynchronous
  • lattice agreement

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, and Alexander Shraer. Dynamic atomic storage without consensus. J. ACM, 58(2):7:1-7:32, 2011. Google Scholar
  2. Eduardo Alchieri, Alysson Bessani, Fabíola Greve, and Joni da Silva Fraga. Efficient and modular consensus-free reconfiguration for fault-tolerant storage. In OPODIS, pages 26:1-26:17, 2017. Google Scholar
  3. Hagit Attiya, Maurice Herlihy, and Ophir Rachman. Atomic snapshots using lattice agreement. Distributed Comput., 8(3):121-132, 1995. Google Scholar
  4. Mihir Bellare and Sara K Miner. A forward-secure digital signature scheme. In Annual International Cryptology Conference, pages 431-448. Springer, 1999. Google Scholar
  5. Miguel Castro and Barbara Liskov. Practical Byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst., 20(4):398-461, 2002. Google Scholar
  6. Pierre Civit, Seth Gilbert, and Vincent Gramoli. Polygraph: Accountable byzantine agreement. IACR Cryptol. ePrint Arch., 2019:587, 2019. URL: https://eprint.iacr.org/2019/587.
  7. Pierre Civit, Seth Gilbert, and Vincent Gramoli. Brief announcement: Polygraph: Accountable byzantine agreement. In Hagit Attiya, editor, DISC, volume 179 of LIPIcs, pages 45:1-45:3, 2020. Google Scholar
  8. Manu Drijvers, Sergey Gorbunov, Gregory Neven, and Hoeteck Wee. Pixel: Multi-signatures for consensus. In 29th USENIX Security Symposium (USENIX Security 20), Boston, MA, August 2020. USENIX Association. URL: https://www.usenix.org/conference/usenixsecurity20/presentation/drijvers.
  9. Jose Faleiro, Sriram Rajamani, Kaushik Rajan, Ganesan Ramalingam, and Kapil Vaswani. Generalized lattice agreement. In PODC, pages 125-134, 2012. Google Scholar
  10. Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, and Sara Tucci Piergiovanni. Accountability and reconfiguration: Self-healing lattice agreement. CoRR, abs/2105.04909, 2021. URL: http://arxiv.org/abs/2105.04909.
  11. Eli Gafni and Dahlia Malkhi. Elastic configuration maintenance via a parsimonious speculating snapshot solution. In DISC, pages 140-153, 2015. Google Scholar
  12. Seth Gilbert, Nancy A. Lynch, and Alexander A. Shvartsman. Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Distributed Comput., 23(4):225-272, 2010. Google Scholar
  13. Andreas Haeberlen and Petr Kuznetsov. The Fault Detection Problem. In Proceedings of the 13th International Conference on Principles of Distributed Systems (OPODIS'09), December 2009. Google Scholar
  14. Andreas Haeberlen, Petr Kuznetsov, and Peter Druschel. The case for byzantine fault detection. In Proceedings of the Second Workshop on Hot Topics in System Dependability (HotDep'06), November 2006. Google Scholar
  15. Andreas Haeberlen, Petr Kuznetsov, and Peter Druschel. PeerReview: Practical accountability for distributed systems. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), October 2007. Google Scholar
  16. Leander Jehl, Roman Vitenberg, and Hein Meling. Smartmerge: A new approach to reconfiguration for atomic storage. In DISC, pages 154-169, 2015. Google Scholar
  17. Petr Kuznetsov, Thibault Rieutord, and Sara Tucci-Piergiovanni. Reconfigurable lattice agreement and applications. In OPODIS, 2019. Google Scholar
  18. Petr Kuznetsov and Andrei Tonkikh. Asynchronous reconfiguration with byzantine failures. In Hagit Attiya, editor, DISC, volume 179 of LIPIcs, pages 27:1-27:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. Google Scholar
  19. Jean-Philippe Martin, Lorenzo Alvisi, and Michael Dahlin. Minimal byzantine storage. In Dahlia Malkhi, editor, DISC, volume 2508 of Lecture Notes in Computer Science, pages 311-325. Springer, 2002. Google Scholar
  20. Marshall Pease, Robert Shostak, and Leslie Lamport. Reaching agreement in the presence of faults. Journal of the ACM, 27(2):228-234, April 1980. Google Scholar
  21. Alexander Spiegelman and Idit Keidar. On liveness of dynamic storage. In Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers, pages 356-376, 2017. Google Scholar
  22. Alexander Spiegelman, Idit Keidar, and Dahlia Malkhi. Dynamic reconfiguration: Abstraction and optimal asynchronous solution. In DISC, pages 40:1-40:15, 2017. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail