基于Petri网的哲学家就餐问题多线程设计与实现  

Multi-threads Design and Realize about Meal of Philosopher Based on Petri Nets

作　　者：侯利娟[1] 史长琼[1] 黄红兵[1] 

机构地区：[1]长沙理工大学计算机与通信工程学院,长沙410076

出　　处：《湖南城市学院学报（自然科学版）》2006年第4期64-66,共3页Journal of Hunan City University:Natural Science

摘　　要：为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1:1的轮流固定使用的Petri网模型,给出了使用(串行)的管理模型的程序实现,且可以实现2:3的轮流固定使用(并行)和不固定的动态管理.此法简洁高效,在操作系统的其他类型进程调度中可进行类似推广.To solve the question of synchronization and mutex between process in the operating system, the paper analyzes the question of philosopher meal by the Petri nets as system description tool. It discusses the 1：1 model of fixed use and give correspond programming （serially）, in the same way, and also realizes the 2：3 model of the fixed use （parallel） and not the fixed dynamic management. This method is succinct and highly effective, and it may be used in other type process dispatch in the operating system.

关 键 词：PETRI 多线程 同步 互斥 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]