https://datadosen.com/ISO/Lamport's_bakery_algorithm