哲学家进餐问题pv_PV操作案例（二）——读者、写者；哲学家进餐问题

文章目录

读者、写者问题描述

问题分析

哲学家进餐问题描述

问题分析

读者、写者问题描述

有读者和写者两组并发进程，共享一个文件，当两个进程或两个以上的读进程同时访问共享数据时不会产生副作用，但若某个写进程和其他进程(读进程或写进程)同时访问时可能会导致数据不一致的错误。因此要求：①允许多个读者可以同时对文件执行读操作；②只允许一个写者往文件中写信息；③任一写者在完成写操作前不允许其他读者或写者工作；④写者执行写操作前，应让已有的读者或写者全部退出

问题分析

关系分析

整理思路

设置信号量

两类进程：写进程、读进程

互斥关系：读进程——写进程、写进程——写进程

读进程和读进程不存在互斥问题

semaphore rw = 1; //用于实现对文件的互斥访问。表示当时是否有进程在访问共享文件

int count = 0; //记录当前有几个读进程在访问文件

semaphore mutex = 1; //用于保证对count变量的互斥访问

semsphore w = 1; //用于实现“写优先”

writer (){

while(1){

P(w);

P(rw); //写之前“加锁”

写文件；

V(rw); //写之后“解锁”

V(w);

}

}

reader (){

while(1){

P(w);

P(mutex);

if(count == 0)

P(rw);

count++;

V(mutex);

V(w);

读文件；

P(mutex);

count--;

if(count == 0)

V(rw);

V(mutex);

}

}

*结论：这种算法中，连续进入的多个读进程可以同时读文件；写者和其他进程不能同时访文件，写者不会饥饿，但也并不是真正的“写优先”，而是相对公平的先来先服务原则。

有的书把这种算法成为“读写公平法”

哲学家进餐问题描述

一张圆桌上坐着5个哲学家，每个哲学家之间的桌上摆了一根筷子，桌子中间是一碗米饭，哲学家们倾注毕生的经历用于思考和进餐，哲学家在思考时，并不影响他人。只有当哲学家饥饿时，才试图拿起左右两边的筷子(一根一根的拿起)。如果筷子已在他人手上，则需要等待。饥饿的科学家只有同时拿起两根筷子才可以进餐，当进餐完毕后，放下筷子继续思考。

问题分析

关系分析：5个哲学家与左右邻居对其中的筷子的访问是互斥的

整理思路：如何避免临界资源分配不当造成死锁现象

信号量设置：chopsticks[5]={1,1,1,1,1}用于实现对5根筷子的互斥访问。并对哲学家按0~4编号，哲学家i左边的筷子编号为i，右边筷子编号为(i+1)%5

semsphore chopsticks[5]={1,1,1,1,1};

semaphore mutex = 1; //互斥地取筷子

pi (){

while(1){

P(mutex);

P(chopsticks[i]); //拿左

P(chopsticks[(i+1)%5]); //拿右

V(mutex);

吃饭；

V(chopsticks[i]); //放左

V(chopsticks[(i+1)%5]); //放右

思考；

}

}