摘要
哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求。基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题。然而以上改进并没有真正实现效率上的高效且不易推广到哲学家人数大于5位的情形。
The dining philosophers problem is a classical example of synchronization and concurrency of describing the shared resources. The live and starvation--free are the premise to solve this problem, and efficiency is basic requirements. A Petri net--based starvation--free solution was described, in which two dining--cards were cycled, and the improvment based on this model solves the problem of two cards＇ cycled and the conflict of two adjacent philosophers in shareing resource who has the card and are ready for dining. However, these improvements do not truly improve the efficiency, and it is impossible to be extended to the cases of number which is greater than 5.
出处
《计算机与数字工程》
2010年第1期40-43,共4页
Computer & Digital Engineering
