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

作     者：张庆伟 

作者机构：苏州大学理学院数学系江苏苏州215006 

出 版 物：《苏州大学学报（自然科学版）》 (Journal of Soochow University(Natural Science Edition))

年 卷 期：2001年第17卷第1期

页      码：20-24页

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

主 题 词：容错 死锁 Ada语言 可靠性 动态监督系统 多任务程序 检测系统 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-2073.2001.01.004

馆 藏 号：203735541...