https://123dok.net/document/q05v68v9-distributed-mutual-exclusion-algorithms.html