进程(线程)互斥的软件实现--皮特森(Peterson)算法

最新推荐文章于 2024-04-04 11:14:09 发布

iteye_1315

最新推荐文章于 2024-04-04 11:14:09 发布

阅读量651

点赞数

本文通过一个具体实例展示了如何使用两个标志位和一个轮询变量来实现进程间的互斥访问临界资源，有效地避免了死锁和饥饿现象。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

实现如下：

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可以执行。