好的,我正在阅读 galvin 第六版的关键部分问题。问题是,问题中使用的算法有一个while循环:
do
{
while(turn!=i);
critical section
turn=j;
remainder section
}while(1);
最初 turn==0 并且对于 i=0,进程 p0 运行它的关键问题。 对于这种特殊情况,while(turn!=i);
评估为。while(false)
现在我的问题是,如果 while 循环评估为 false,那么如何评估以下关键部分。愚蠢的部分来了,如果出于任何原因while(turn!=i); 如果有分号,那么以下语句对 while 循环没有影响!那么,这里的while循环有什么用!?:|