第4章 同步控制 Synchronization ---哲学家进餐问题（The Dining Philosophers）
2024-09-23 18:28:57
哲学家进餐问题是这样子的：好几位哲学家围绕着餐桌坐，每一位哲学家要么思考，要么等待，要么就吃饭。为了吃饭，哲学家必须拿起两支筷子（分放于左右两端）。不幸的是，筷子的数量和哲学家相等，所以每支筷子必须由两位哲学家共享。图4-1 显现出这种状态。? FAQ 16：我如何避免死锁？
哲学家都是有点倔强的人，他们不愿意在吃完之前放下他们的筷子。因此，如果每位哲学家都抓住了左手边的筷子，他们就不可能抓到右手边的筷子，因为右边的哲学家正在使用那支筷子，而且拒绝出让。
在 SwapLists() 中所发生的死锁问题，是因为它必须等待两个critical section。哲学家的死锁问题则是因为他们都必须等待两支筷子。在程序之中我们必须要求操作系统给我们一点帮助，如critical sections 或其他什么东西。不幸的是，critical sections 没办法使用于这种情况。
这个问题也可以这样解决：使用一个 critical section 并允许一次只能够有一位哲学家拿起或放下筷子。这并不是最好的解决方法，因为它限制了哲学家的自由意志，同时也让他们做了非必要的等待。
还记得上一章最后提到的 WaitForMultipleObjects() 函数吗？它允许你对操作系统发出“等待”的要求，直到所有指定的对象都激发才返回。同一时我能够等待一个以上的critical sections 吗？刻取得两支筷子而非一支筷子，是本案的关键。但是 WaitForMultipleObjects()等待的只是核心对象，critical section 并不是核心对象（它没有 handle）。因此，我们必须寻求另一种 Win32 同步机制：mutex。
最新文章
- 【UI插件】简单的日历插件（下）—— 学习MVC思想
- [Linux] - Docker移动数据到其它盘的办法
- HTML中strong与b,em与i标签的区别
- Struts2(十三)国际化-internationalization
- uva 1421
- 从 IT 的角度思考 BIM（一）：面向对象
- Haskell 输入和输出
- 用C#实现生成PDF文档
- ural2014 Zhenya moves from parents
- CSS -- 练习之制作简单商品图
- ASP.NET Core MVC和Visual Studio入门
- css3学习系列之选择器（一）
- 特殊计数序列——第一类斯特林（stirling）数
- label 的for属性总结
- 关于MySQL数据库——增删改查语句集锦
- 仿B站项目(3)页面配置
- 关于nodejs
- css布局之头尾固定中间高度自适应
- 如何用Client OM获取页面上一个Content web part的内容
- 利用security.js实现RSA加密