互斥:软件方法实现之Peterson算法

 

德国数学家Dekker曾提出了两个进程互斥的算法,不过Dekker算法过于复杂。而Peterson提出了简单且一流的方法。

实现如下:

boolean flag[2];

int turn;

void P0()

{

   while(true)

{

    flag[0]=true;

    turn=1;

    while(flag[1]&&turn==1)

       /* donothing*/ ;

    /*critical section*/ ;

    flag[0]=false;

}

}

void P1()

{

   while(true)

{

    flag[1]=true;

    turn=0;

    while(flag[0]&&turn==0)

       /* donothing*/ ;

    /*critical section*/ ;

    flag[1]=false;

}

}

void main()

{

flag[0]=flag[1]=false;

/*start p0 and p1*/ ;

}

说明:

考虑进程P0,一旦它设置flag[0]=true,则P1不能进入临界区。如果P1已经进入临界区,那么flag[1]=true,P0被阻塞不能进入临界区。

另一方面,互相阻塞也避免了。假设P0在while里被阻塞了,表示flag[1]为true且turn=1,则此时P1可以执行。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值