Special:EditPage/Lamport's bakery algorithm