3 Comments
User's avatar
David Wearley's avatar

These three ingredients are very similar to the three statements of Gerab Dorje:

“Recognize your own nature.

Decide upon one thing.

Gain confidence in liberation."

Felipe Toledo Andrade's avatar

Great explanation! Thanks Ian Shifu!

Suman Suhag's avatar

Does the proof for the Lamport's bakery algorithm assume that values written to elements of "choosing" or "number" instantly become visible to threads on other cores, that may read these memory locations, or are writes allowed to have latency?