书上说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;
个人思考结果,未经验证;若有错误,欢迎指正!