Peterson算法(线程间互斥)

#include<stdio.h>
#include<pthread.h>
unsigned int flag[2] = {0};  
unsigned int turn = 1;  
void* process1()  
{  
	while(1)
	{
		flag[0] = 1;  
		turn =1;  
		while(flag[1] && (turn ==1));
		printf("process1\n"); 
		flag[0] = 0;  
	}
	return NULL;
} 
void* process2()  
{  
	while(1)
	{
		flag[1] = 1;  
		turn = 0;  
		while(flag[0] && (turn ==0));
		printf("process2\n");  
		flag[1] = 0; 
	}
	return NULL;
} 
int main()
{

	void *p;
	pthread_t h[2];
	pthread_create(&h[0],NULL,process1,NULL);
	pthread_create(&h[1],NULL,process2,NULL);
	pthread_join(h[0],&p);
	pthread_join(h[1],&p);
}

wiki上的解释:

互斥访问

P0与P1显然不会同时在临界区: 如果进程P0在临界区内,那么或者flag[1]为假(意味着P1已经离开了它的临界区),或者turn为0(意味着P1只能在临界区外面等待,不能进入临界区).

进入

进入(Progress)定义为:如果没有进程处于临界区内且有进程希望进入临界区, 则只有那些不处于剩余区(remainder section)的进程可以决定哪个进程获得进入临界区的权限,且这个决定不能无限推迟。剩余区是指进程已经访问了临界区,并已经执行完成退出临界区的代码,即该进程当前的状态与临界区关系不大。

有限等待

有限等待(Bounded waiting)意味着一个进程在提出进入临界区请求后,只需要等待临界区被使用有上限的次数后,该进程就可以进入临界区。[3]即进程不论其优先级多低,不应该饿死(starvation)在该临界区入口处。Peterson算法显然让进程等待不超过1次的临界区使用,即可获得权限进入临界区。

该算法可实现交叉访问的效果,相当于sem_init(mutex,0,1);


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值