了解临界区

Question

我在网上阅读了一些关于关键区域、进入协议和退出协议的示例，并且很难弄清楚。 http://pages.cs.wisc.edu/~dusseau/Classes/CS537-S01/SampleQuizzes/sol2.html

class BankAccount {

    private int turn = 0;
    private boolean lock = {true, true};
    private int balance;
    private int accountNumber;

    BankAccount(int acct) {
        accountNumber = acct;
        balance = 0;
    }

   // tellerID is either 0 or 1
   public void deposit(int amount, int tellerID) {
        lock[tellerID] = true;
        turn = 1 - tellerID;
        while (lock[1-tellerID] && turn == (1 - tellerID));
        balance += amount;
        lock[tellerID] = false;
    }
}

这个例子的入口协议、出口协议和临界区是什么？ 至于临界区，是互斥、饿死还是会导致死锁？

Answer 1

假设我是出纳员 1。你是出纳员 0。

lock[tellerID] = true;

我为自己拿了一把锁。

turn = 1 - tellerID;

我说“现在轮到你了。”Turn 设置为其他柜员的 ID（暂时）。

whilelock[1-tellerID]

我在你有锁的时候循环。

whileturn == (1 - tellerID)

我也轮到你的时候循环播放。

想象一下，我们都一个接一个地进入了 while 循环。我有我的锁，你有你的锁。我们都在等待对方释放锁，或者轮到我们。必须轮到你或轮到我，所以只有我们中的一个人会掉入循环中。这显然是互斥。当你再去存款时，你会通知我轮到我了。

等待、抢锁和轮流都是进入协议的一部分。释放锁是退出协议的一部分。默认情况下，介于两者之间的所有内容都是关键部分。默认情况下，外部的所有内容都是非关键部分。