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);