算法讨论:哲学家就餐问题

王朝other·作者佚名  2006-01-09
窄屏简体版  字體: |||超大  

In 1965, Dijkstra posed and solved a synchronization problem he called the

dining philosophers problem. ........ The problem can be stated quite simply

as follows. Five philosophers are seated around a circular table. Each philo

sopher has a plate of spaghetti. The spaghetti is so slippery that a philoso

pher needs two forks to eat it. Between each pair of plates is one fork.

The life of a philosopher consists of alternate periods of eating and think

ing. When a philosopher gets hungry, she tries to acquire her left and right

fork, one at a time, in either order. If successful in acquiring two forks,

she eats for a while, then puts down the forks and continues to think. The

key question is: Can you write a program for each philosopher that does what

it is supposed to do and never gets stuck?

--from <Operating Systems: Design and Implementation>

written by Andrew S. Tanenbaum

typed by foolball :-P

Programme provided by ya

: : 法一: 用公共文件,按照严格轮流执行

: : #include <stdio.h>

: : #include <stdlib.h>

: : #include <unistd.h>

: : #include <sys\type.h>

: : #define N 5

: : int i,j,t,status;

: : FILE * f;

: : char *state[N];

: : main()

: : {

: : f=fopen("/share","w+");

: : putc(j,f);

: : if (fork())

: : { if (fork())

: : { if (fork())

: : { if (fork())

: : { if (fork())

: : {waitpid(-1,*status,0);

: : fclose(f);}

: : else

: : philosophy(4);}

: : else

: : philosophy(3);}

: : else

: : philosophy(2);}

: : else

: : philosophy(1);}

: : else

: : philosophy(0);

: : }

: : void philosophy(int i)

: : {

: : state[i ="thinking";

: : printf("%d%s\n",i,"is thinking");

: : for(t=0;t<=rand()+10000;t++);

: : state[i ="hungry";

: : printf("%d%s\n",i,"is hungry");

: : for(t=0;t<=rand()+10000;t++);

: : for(;i!=j;)

: : {fseek(f,0l,0);

: : j=getc(f);}

: : state[i ="eating";

: : printf("%d%s\n",i,"is eating");

: : j=(j+1)% N

: : fseek(f,0l,0);

: : putc(j,f);

: : }

: : 法二:通过文件加锁实现

: : #include <stdio.h>

: : #include <stdlib.h>

: : #define N 4

: : FILE *f;

: : int i, status;

: : char *state[N];

: : void philosofy(int i);

: : void main()

: : {

: : if ((f=fopen("turn", "w+"))==NULL)

: : {

: : printf("Cann't open this file");

: : exit(0);

: : }

: : if (fork())

: : {

: : if(fork())

: : {

: : if(fork())

: : {

: : if(fork())

: : {

: : if(fork())

: : {

: : waitpid(-1, &status, 0);

: : fclose(f);

: : }

: : else

: : philosofy(4);

: : }

: : else

: : philosofy(3);

: : }

: : else

: : philosofy(2);

: : }

: : else

: : philosofy(1);

: : }

: : else

: : philosofy(0);

: : }//end of main

: : void philosophy(int i)

: : { int t;

: : state[i ="thinking";

: : printf("%d%s\n",i,"is thinking");

: : for(t=0;t<=rand()+10000;t++);

: : state[i ="hungry";

: : printf("%d%s\n",i,"is hungry");

: : for(t=0;t<=rand()+10000;t++);

: : while ((f=fopen("turn.lock","r"))!=NULL);

: : link ("turn","turn.lock");

: : state[i ="eating";

: : printf("%d%s\n",i," is eating");

: : for(t=1; t<=10000+rand();t++) ;

: : unlink ("turn");

: : }

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航