| 摘要: |
| 本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式OS,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:中国科学院自然科学基金 |
|
| A PETRI NETS MODEL OF DEADLOCK |
|
Wu Qiming,Yuan Chongyi
|
| Abstract: |
| In this paper, we gave a formal model of OS based on Petri Nets, it transformed the deadlock problem into linear algebric problem. We obtained a sufficient and necessary condition of deadlock existence in OS, and an optimal method which removed all deadlocks and guaranteed the regular operation in the system. Specialling, for distributed OS, we have greatly improved the method of detect deadlock. |
| Key words: |
