Lamport麪包店算法

Lamport麪包店算法是解決多個線程併發訪問一個共享的單用戶資源的互斥問題的算法 。 由萊斯利 · 蘭波特發明 。