這種同步算法如何工作？

Question

do { while (test_and_set(&lock))
; /* do nothing */
/* critical section */
lock = false;
/* remainder section */
} while (true);



boolean test_and_set (boolean *target)
{
boolean rv = *target;
*target = TRUE;
return rv:
}

我不明白它應該如何工作，因為無論while（test_and_set（＆lock）返回什么，無論是true還是false，do {}代碼仍會運行臨界區。它什么都不做，然后立即運行關鍵部分，那么這有助於同步線程？

Answer 1

不管test_and_set返回什么test_and_set 。 請注意， test_and_set返回給定的位置的先前值，因此while(test_and_set(&lock)); （注意終止分號！）將在CPU上旋轉，而另一個線程“擁有”鎖。

但請注意， test_and_set的實際實現不是原子的，因此實際上並不是線程安全的。

如果我將代碼重新格式化為這樣，也許會有所幫助？

do {
    while (test_and_set(&lock)) {
        /* do nothing */
    }
    /* critical section */
    lock = false;
    /* remainder section */
} while (true);