一种动态监督系统的设计与实现

Design and implementation of a dynamic monitor system

本文给出的动态监督系统可以检测Ada语言多任务程序在运行过程中是否发生死锁。如果死锁的原因是由于程序设计不周而引起的 ,将提示用户如何修改程序。否则可以自动解锁。

This paper gives a dynamic monitor system.It may monitor whether deadlock occurs during Ada multi-tasking program execution. If deadlocks are caused by unsuitable program design,the system will report user how to adapt programs.Oterwise deadlock may be avoided.