Deconstructing the Bakery to Build a Distributed State Machine.
The article discusses two computer algorithms created by the author: the bakery algorithm which is based on mutual exclusion and the distributed state-machine algorithm which aims to achieve fault tolerance in a network of computers. Mathematical proofs are provided.
| Publicado en: | Communications of the ACM Vol. 65; no. 9; pp. 58 - 67 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2022
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | The article discusses two computer algorithms created by the author: the bakery algorithm which is based on mutual exclusion and the distributed state-machine algorithm which aims to achieve fault tolerance in a network of computers. Mathematical proofs are provided. |
|---|