Peterson算法的简单分析

最近操作系统学到进程同步,介绍了Peterson算法。

第一种(谦让式)

上课教材《操作系统概念》第七版(翻译版)和百度百科,还有查到的绝大部分的资料中,都是下面这种方法实现的。
下面代码是教材中摘的(P169)。

/*进程Pi的结构*/
do{
	flag[i] = TRUE;
	turn = j;
	while(flag[j] && turn == j);
	//临界区
	flag[i] = FALSE;
	//剩余区
} while(TRUE);

为什么说这种算法是一种“谦让”的算法呢?因为当进程i将flag[i]设置为TRUE之后,又把turn设置为j。
flag[i]=TRUE表示:进程i想进入临界区。
而turn = j表示:现在轮到进程j进入临界区了。

所以进程i的进入区代码是这样的

flag[i] = TRUE;
turn = j;
while(flag[j] == TRUE && turn == j);

进程j的进入区代码是这样的:

flag[j] = TRUE;
turn = i;
while(flag[i] == TRUE && turn == i);

分析:
首先,如果是进程i第一次开始执行,那它可以顺利进入临界区,因为flag[j]=FALSE,进程j还不想进入临界区!
其次,如果进程i和进程j已经在并发执行了,它们的调度顺序是未知的,假设每个进程每次执行一行代码,交替执行。那先执行的进程就“赚了”,比如进程i先执行,那么它会先将turn“谦让”地设置为j,但接下来轮到进程j执行了,它也“谦让”地将turn设置为i。这时又轮到了进程i执行了,而且我们可以发现,while中第二个条件已经不满足了!这时进程i就进入了临界区!然后我们把情况一般化,不再假设每个进程交替地执行一行代码,只要一个进程后执行了turn = i;(或turn = j;)这条语句,那么另一个进程就可以进入临界区。(分析的时候重点关注一点:另一个进程到底想不想进入临界区?)

第二种

只在《现代操作系统》第三版中找到了这种方法。下面代码是书上摘的(P69)。
没找到第四版的书和资源,有可能第四版也改成第一种实现方法了。所以我很奇怪是不是利用flag和turn实现的加锁都叫Peterson算法?

#define FALSE 0
#define TRUE  1
#define N     2                                           /* 进程数量 */
  
int turn;                                                 /* 现在轮到谁?*/
int interested[N];                                        /* 所有值初始化为0(FALSE)*/

void enter_region(int process)                            /* 进程是0或1 */
{
	int other;                                            /* 其他进程号 */

	other = 1 - process;                                  /* 另一方进程 */
	interested[process] = TRUE;                           /* 表名所感兴趣的 */
	turn = process;                                       /* 设置标志 */
	while(turn == process && interested[other] ==TRUE);   /* 空语句 */
}

void leave_region(int process)                            /* 进程:谁离开?*/
{
	interested[process] = FALSE;                          /* 表示离开临界区 */
}

分析:
这种算法本质上和第一种的区别就在于进入区
(变量命名不同
process表示当前进程自身,other表示另一个进程
interested表示flag)

interested[process] = TRUE;
turn  = process;
while(turn == process && interested[other] == TRUE);

可以看到这种方法不再谦让了,进程自己想进入临界区,于是把turn设置成自己。

所以两个进程都把turn设置为自己的进程号,但只有后被保存进去的进程号才有效,前一个写进去的因为被重写而丢失。

分析:
首先,还是假设进程i第一次开始执行,那它可以顺利进入临界区,因为interested[j]=FALSE,进程j还不想进入临界区!
其次,交替执行的过程中,假设某一时刻进程i正处于临界区,那么interested[i] = TRUE 且 turn = i,那么这时如果进程j也想进临界区,它会先把interested[j]改为TRUE,然后把turn改为j。但它会在while循环那里忙等待,直到进程i退出了临界区,把interested[i]改为FALSE。

总结

无论是否“谦让”,都实现了进程互斥,并满足了这三点:

  1. 同一时刻只有一个进程能进入临界区
  2. 前进:不在临界区的进程不能阻止另一个进程进入临界区
  3. 有限等待:不得使进程无限期等待进入临界区
评论 16
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值