Jayanti, P., Tan, K., Friedland, G., and Katz, A. Bounding Lamport's bakery algorithm. In L. Pacholski and P. Ruzicka, eds., SOFSEM 2001: 28^th Conference on Current Trends in Theory and Practice of Informatics 2234, Lecture Notes in Computer Science, Springer (2001), 261--270.

Google Scholar

[7]

Johnson, P. and Thomas, R. The maintenance of duplicate data bases. Request for Comment RFC #677, NIC #31507, ARPANET Network Working Group, (January 1975).

Google Scholar

[8]

Lamport, L. Online supplemental material for Deconstructing the bakery to build a distributed state machine, http://lamport.azurewebsites.net/pubs/bakery/deconstruction.html.

Google Scholar

[9]

Lamport, L. A new solution of Dijkstra's concurrent programming problem. Commun. ACM 17, 8 (Aug. 1974), 453--455.

Digital Library

Google Scholar

[10]

Lamport, L. Concurrent reading and writing. Commun. ACM 20, 11 (Nov. 1977), 806--811.

Digital Library

Google Scholar

[11]

Lamport, L. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering SE-3, 2 (Mar. 1977), 125--143.

Digital Library

Google Scholar

[12]

Lamport, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (July 1978), 558--565.

Digital Library

Google Scholar

[13]

Lamport, L. On interprocess communication. Distributed Computing 1 (1986), 77--101.

Crossref

Google Scholar

[14]

Lamport, L. A theorem on atomicity in distributed algorithms. Distributed Computing 4, 2 (1990), 59--68.

Crossref

Google Scholar

[15]

Lipton, R. Reduction: A method of proving properties of parallel programs. Commun. ACM 18, 12 (Dec. 1975), 717--721.

Digital Library

Google Scholar

[16]

Merz, S. Online TLA+ specifications and proofs for "deconstructing the bakery to build a distributed state machine." https://members.loria.fr/SMerz/papers/distributed-bakery.html.

Google Scholar

[17]

Moses, Y. and Patkin, K. Mutual exclusion as a matter of priority. Theoretical Computer Science 751 (2018), 46--60.

Crossref

Google Scholar

[18]

Pnueli, A. The temporal logic of programs. In Proceedings of the 18^th Annual Symposium on the Foundations of Computer Science, IEEE (Nov. 1977), 46--57.

Digital Library

Google Scholar

[19]

Ricart, G. and Agrawala, A. An optimal algorithm for mutual exclusion in computer networks. Commun. ACM 24, 1 (1981), 9--17.

Digital Library

Google Scholar

[20]

Schneider, F. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys 22, 4 (December 1990), 299--319.

Digital Library

Google Scholar

[21]

Taubenfeld, G. The black-white bakery algorithm and related bounded-space, adaptive, local-spinning and FIFO algorithms. In R. Guerraoui, (Ed.), Proceedings of Distributed Computing, 18^th Intern. Conf. 3274, Lecture Notes in Computer Science, Springer (Oct. 4, 2004), 56--70.

Crossref

Google Scholar

[22]

Taubenfeld, G. Concurrent programming, mutual exclusion. In M-Y Kao, (Ed.) Encyclopedia of Algorithms---2016 Edition, 421--425. Springer, 2016.

Crossref

Google Scholar

Cited By

View all

Defourné R(2025)Encoding TLA+ proof obligations safely for SMTScience of Computer Programming10.1016/j.scico.2024.103178239(103178)Online publication date: Jan-2025
https://doi.org/10.1016/j.scico.2024.103178
Raynal M(2024)On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous SystemsStabilization, Safety, and Security of Distributed Systems10.1007/978-3-031-74498-3_1(3-19)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-74498-3_1
Raynal M(2023)About Informatics, Distributed Computing, and Our Job: A Personal ViewStructural Information and Communication Complexity10.1007/978-3-031-32733-9_3(33-45)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-32733-9_3

Index Terms

Deconstructing the bakery to build a distributed state machine
1. Computing methodologies
  1. Distributed computing methodologies
    1. Distributed algorithms
  2. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
2. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Mutual exclusion

Recommendations

Canonical finite state machines for distributed systems

There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multiple ports/interfaces a multi-port FSM is used and in testing, a tester is ...
Avoiding Register Overflow in the Bakery Algorithm
ICPP Workshops '20: Workshop Proceedings of the 49th International Conference on Parallel Processing

Computer systems are designed to make resources available to users and users may be interested in some resources more than others, therefore, a coordination scheme is required to satisfy the users’ requirements. This scheme may implement certain ...
Physical Machine State Migration
ICPADS '11: Proceedings of the 2011 IEEE 17th International Conference on Parallel and Distributed Systems

A powerful functionality enabled by modern virtualization technologies is the ability to move a virtual machine (VM) from one physical machine to another, which enables unprecedented flexibility for system fault tolerance and load balancing. However, no ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 65, Issue 9

September 2022

94 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/3558490

Editor:
James Larus
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

This work is licensed under a Creative Commons Attribution International 4.0 License.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 August 2022

Published in CACM Volume 65, Issue 9

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
14,164
Total Downloads

Downloads (Last 12 months)1,092
Downloads (Last 6 weeks)119

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Defourné R(2025)Encoding TLA+ proof obligations safely for SMTScience of Computer Programming10.1016/j.scico.2024.103178239(103178)Online publication date: Jan-2025
https://doi.org/10.1016/j.scico.2024.103178
Raynal M(2024)On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous SystemsStabilization, Safety, and Security of Distributed Systems10.1007/978-3-031-74498-3_1(3-19)Online publication date: 20-Oct-2024
https://dl.acm.org/doi/10.1007/978-3-031-74498-3_1
Raynal M(2023)About Informatics, Distributed Computing, and Our Job: A Personal ViewStructural Information and Communication Complexity10.1007/978-3-031-32733-9_3(33-45)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-32733-9_3

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Canonical finite state machines for distributed systems

Avoiding Register Overflow in the Bakery Algorithm

Physical Machine State Migration

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations