摘要
本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式OS,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。
<keywords> 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.
出处
《软件学报》
EI
CSCD
北大核心
1991年第3期5-10,58,共7页
Journal of Software
基金
中国科学院自然科学基金
