面包店算法理解

boolean  choosing[n];表示进程是否在取号

int  number[n];记录每个进程取到的号码

这些数据结构分别初始化为false和0，为了方便，定义如下符号：

若a<c或a==c和b<d同时成立，（a，b）<（c，d）

do
{
    　　　　　　　　　
　 choosing[i] = true;
　 number[i] = max{number[0],number[1],…,number[n-1]}+1;//选号码
　 choosing[i] = false;
　 for(j = 0; j<n; j++)
    {
　　　　while (choosing[j]);
　　　　while ((number[j] != 0) && (number[j],j)<(number[i],i));
　　};

　　//临界区
　　number[i] = 0;
　　//其余部分
}while(1);
理解：

第一个试图进入临界区的进程Pi在没有其它进程竞争时顺利进入其临界区。满足了有空就进的要求。

当有竞争者Pk（i<k），且选的号码相同时，比较进程的名称，通过语句while ((number[j] != 0) && (number[j],j)<(number[i],i));来选择进入的进程。

在Pi进程中j==i时，number[j]==number[i],且j==i所以(number[j],j)<(number[i],i)不成立，退出while语句。j==k时，number[k]==number[i],且k>i所以(number[j],j)<(number[i],i))不成立，退出while语句。对与其它非i和k的j值，number[j]!=0不成立，退出while语句。

在pk进程中j==i时，number[j]<number[k],且j<k，所以(number[j],j)<(number[i],i))成立，故进程Pk陷在该语句中，直到Pi退出临界区执行语句number[i]==0时才允许Pk进程进入其临界区。所以满足了互斥和有限等待的要求。