%0 Journal Article
%T 一种Ada83服务性任务向Ada95保护对象变换的方法
%A 何智涛
%A 刘超
%A 张茂林
%A 徐宝文
%A 晏海华
%A 李帮清
%A 杨峰
%J -
%D 2000
%X 任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法，最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点
%K Ada
%K 服务性任务
%K 保护对象
%K 并发程序设计
%K 数据流图.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20000620&flag=1