互斥，如何使用 Lamport 的烘焙算法实现 try_lock() 方法？答案

【问题标题】：Mutual exclusions, How to implement try_lock() method using Lamport's Bakery Algorithm?互斥，如何使用 Lamport 的烘焙算法实现 try_lock() 方法？
【发布时间】：2019-11-13 17:08:13
【问题描述】：

我正在尝试使用 Lamport 的面包店算法和 C++ 中的可锁定概念创建一个 BakeryLock 抽象。实现 lock()、unlock() 方法非常容易。有人可以帮我实现 try_lock() 方法吗？来自文档：

m.try_lock()

效果：尝试在不阻塞的情况下为当前执行代理获取锁。如果抛出异常，则当前执行代理不应获得锁。

返回类型：bool

返回：如果获得了锁，则返回 true，否则返回 false。

【问题讨论】：

其他读者：烘焙纸在这里：lamport.azurewebsites.net/pubs/bakery.pdf

标签： c++ concurrency mutex mutual-exclusion

【解决方案1】：

我在 C++ 中提出了以下解决方案，但尚未完全测试。

bool ImprovedBakeryLock::try_lock(int i)
{
    Entering[i] = true;
    Number[i] = 1 + max(Number[1], ..., Number[NUM_THREADS]);
    Entering[i] = false;
    bool acquired = true;
    for (int j = 1; j <= NUM_THREADS && acquired; ++j) {
        if (Number[j] != 0 && Number[j] < Number[i]){
            acquired = false;
            Number[i] = 0;
        }
    }
    return acquired;
}

【讨论】：