计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2010年
1期
40-43
,共4页
Petri网%哲学家就餐问题%延迟Petri网%效率
Petri網%哲學傢就餐問題%延遲Petri網%效率
Petri망%철학가취찬문제%연지Petri망%효솔
哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求.基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题.然而以上改进并没有真正实现效率上的高效且不易推广到哲学家人数大于5位的情形.
哲學傢就餐問題是描述在共享資源下同步與併髮的經典案例,活性與無饑餓性是求解此問題的前提,效率是基本要求.基于兩箇許可卡的傳遞策略,已經給齣瞭無饑餓解的Petri網模型,併且在該模型基礎上的改進解決瞭許可卡的傳遞問題同時也解決瞭擁有許可卡且準備就餐的兩位相鄰哲學傢之間共享資源的遲突問題.然而以上改進併沒有真正實現效率上的高效且不易推廣到哲學傢人數大于5位的情形.
철학가취찬문제시묘술재공향자원하동보여병발적경전안례,활성여무기아성시구해차문제적전제,효솔시기본요구.기우량개허가잡적전체책략,이경급출료무기아해적Petri망모형,병차재해모형기출상적개진해결료허가잡적전체문제동시야해결료옹유허가잡차준비취찬적량위상린철학가지간공향자원적충돌문제.연이이상개진병몰유진정실현효솔상적고효차불역추엄도철학가인수대우5위적정형.
