本文主要是介绍操作系统 day17(读者-写者问题、哲学家进餐问题、管程),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
读者-写者问题
- 分析
- 读者优先的代码实现
- 若不对count采用互斥操作,那么会导致读者进程之间存在:某个读者进程阻塞在P(rw)中,且它需要等到最后一个读者进程解锁V(rw)才能被唤醒,这很影响系统效率,如果我们对count进行互斥操作,那么读者进程只会阻塞在第一步的P(mutex),并且在下一个V(mutex)时就会被唤醒。
3.读写公平的代码实现
- 在这种算法中,连续写入的多个读进程可以连续访问,且不会让写进程饥饿
- 核心
- 设置计数器count,来记录当前访问共享文件的读进程数,并根据count的值来判断当前的读进程是否是第一个/最后一个,再做相应处理。
- 对count变量的检查和赋值不能一气呵成,所以采用互斥信号量。
- 复杂的互斥问题,使用读者-写者算法。同步问题,使用生产者-消费者算法
哲学家进餐问题
- 分析
- 会产生死锁的代码
- 防止死锁的想法
- 第三种方法的代码实现
- 由于哲学家进程需要同时持有两个临界资源,就有了“死锁”问题的隐患。
- 因此,如果遇到了一个进程需要同时持有多个临界资源,就应该参考哲学家问题,分析是否会发生死锁。
管程
- 基本特征
- 各外部进程/线程只能通过管程提供的特定“入口”才能访问共享数据
- 每次仅允许一个进程在管程内执行某个内部过程
这篇关于操作系统 day17(读者-写者问题、哲学家进餐问题、管程)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!