java 第六次实验_操作系统第六次实验报告——使用信号量解决哲学家进餐问题...

0 个人信息

张樱姿

201821121038

计算1812

1 实验目的

通过编程进一步了解信号量。

2 实验内容

在服务器上用Vim编写一个程序：使用信号量解决任一个经典PV问题，测试给出结果，并对运行结果进行解释。

3 实验报告

3.1 选择哲学家进餐问题

五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在圆桌上有五个碗和五只筷子，他们的生活方式是交替地进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最靠近他的筷子，只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。

3.2 伪代码

分析：放在圆桌上的筷子是临界资源，在一段时间内只允许一位哲学家的使用。为了实现对筷子的互斥使用，使用一个信号量表示一只筷子，由这五个信号量构成信号量数组：

semaphore chopstick[5]={1,1,1,1,1};

所有信号量均被初始化为1，则第i位哲学家的活动可描述为：

do{/*当哲学家饥饿时，总是先拿起左边的筷子，再拿起右边的筷子*/wait(chopstick[i]);//拿起左筷子

wait(chopstick[(i+1)%5]); //拿起右筷子

eat(); //进餐

/*当哲学家进餐完成后，总是先放下左边的筷子，再放下右边的筷子*/signal(chopstick[i]);//放下左筷子

signal(chopstick[i+1]%5); //放下右筷子

think(); //思考

}while(true);

但是在上述情况中，假如五位哲学家同时饥饿而各自拿起左边的筷子时，就会使五个信号量chopstick均为0；而当他们再试图去拿右边的筷子时，都将因无筷子可拿造成无限的等待，产生死锁。