竞争条件算法

Question

作为替代实现，建议使用 下面的代码片段有一个共享的 int 变量 转，初始化为0。两个线程都有本地int 常数我分别设置为0和1。

while (turn != mine);
critical_region();
turn = (1-mine);

清楚地解释任何可能的问题和限制 这第二种选择。

我只是不明白“转=（1-我的）”部分 我的意思是，最初，T1 将进入，因为“我的”是 1。 当它退出时，turn仍将保持为0。所以T0，将永远无法进入 临界区？

Answer 1

turn = (1-mine) 相对容易解释。假设线程 0（mine 设置为 0 的线程）具有临界区。完成后，它将把 turn 设置为 1 - mine 或 1，让另一个线程运行。

当线程 1（mine 设置为 1 的线程）具有临界区时。完成后，它将把 turn 设置为 1 - mine 或 0，让另一个线程运行。

这实际上是一个令牌传递系统，其中每个线程通过设置变量来允许另一个线程运行。

此类系统的主要缺点是它是一个令牌传递系统。它不能很好地扩展到更多线程，因为令牌总是传递到特定线程。

举例来说，假设线程 0 已完成令牌处理，因此将 turn 设置为 1。但是线程 1 正在执行一些密集计算，并且不需要令牌现在。

但线程 2确实需要该令牌，因为它想要执行一些临界区工作。它必须等到线程 1 将令牌传递给它，这不是一个好情况。

但事实上，这对于两个线程来说甚至是一个问题。一旦您传递了令牌，您就无法重新进入临界区，直到另一个线程将令牌返回给您，无论它是否确实需要它。

Answer 2

只是不明白“turn = (1-mine)”部分，我的意思是最初，T1会进入，因为“mine”是1。当它退出时，turn仍将保持为0。所以T0，永远不会是能够进入临界区吗？

首先，该代码的格式掩盖了一个令人讨厌的把戏 - 最好将其写成：

while (turn != mine)
    ; //spin
critical_region();
turn = (1-mine);

因此需要注意的重要一点是，当 turn == mine 时，线程将继续并进行出计算。

因此，我们将线程称为 T0 和 T1。

当 T0 完成时，turn 将设置为什么？

当 T1 完成时，turn 将设置为什么？