一种Ada83服务性任务向Ada95保护对象变换的方法

• 作者: 徐宝文 李帮清
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Ada 服务性任务 保护对象 并发程序设计 数据流图
• 年，卷（期）: 2000,（6）
• 页码范围: 836-840
• 页数: 5页
• 分类号: TP311
• 字数: 6088字
• 语种: 中文

摘要

任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法,最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	武汉大学软件工程国家重点实验室	30	940	14.0	30.0
2	李帮清	东南大学计算机科学与工程系	2	6	1.0	2.0