Peterson算法、test_and_set在有限等待上的说明

书上说Peterson算法满足有限等待条件，而test_and_set不满足。思索很久后，我想原因应该是这样：Peterson算法只适用于两进程的情况，而test_and_set被设计用于多进程。当只有两进程使用test_and_set时，也是满足有限等待条件的。但若多于两个进程简单地使用test_and_set，由于一些随机的原因可能导致某一进程很长时间抢不到锁，从而无法满足有限等待。

 

Peterson算法：

/* shared variables */
bool flag[2] = {false, false};
int turn;

/* arbitrations */
flag[i] = true;
turn = j;
while (flag[j] && turn == j);
// critical section ...
flag[i] = false;

test_and_set：

bool test_and_set(bool *value) {
    bool orig = *value;
    *value = true;
    return orig;
}

 

"简单地使用test_and_set"：

/* shared variable */
bool lock = false;

/* arbitrations */
while (test_and_set(&lock));
// critical section ...
lock = false;

 

个人思考结果，未经验证；若有错误，欢迎指正！