The Bakery algorithm doesn't require mutual exclusion on the reading and writing of variables. Each variable is written by a single process; it can be read by multiple processes. So you don't have the problem of writers writing at the same time to worry about. Just readers writing at thesame time as the writers being done. And that's why I was able to discover that it had that property.
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Leave us a comment
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
Featuring:
Show Notes:
Something missing or broken? PRs welcome!