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