https://123dok.org/document/lzglv06q-incorporating-concept-priority-lamport-timestamps-starvation-timestamps-concurrency.html