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

!#$%%%’()* +,-./01,2,2340.5 软 件 学 报 )%%%7$$89:;(9=(% 66666666666666666666666666666666666666666666666666666666666 一种 服务性任务向 保护对象变换的方法F BC DE ?@A ?@A 李帮清 徐宝文 东南大学计算机科学与工程系 南京 8 )$%%’9: 武汉大学软件工程 国家重点实验室 武汉 8 %%G): ; M O O H I0J1 K4L- N5- 5P- Q/ 摘要 任务是 语言支持并发程序设计 的基础 它提供 了一种进程 同步和通信 的 良好机制 但也存在一类 RP0 7 O 被动 的 专为其他任务服务 的服务性任务 服务性任务 的存在增加 了系统 的负担 降低 了系统 的性能 如果能 S O 7 O 将服务性任务变换为保护对象 则可 以明显地提高系统的性能 减少维护 的费用 该文提 出了一种在源程序级 7 7 O 将 服务性任务变换为 保护对象的方法 先给 出服务性任务应满足 的条件 识别和表示服务性任 ( ’* O S RP0 RP0 务 的方法 最后讨论此方法 的可行性 与其他方法相 比 此方法具有假设条件少 识别和变换效率高 以及容 易 7 O 7 S 验证等特点O 关键词 服务性任务 保护对象 并发程序设计 数据流 图 7 7 7 7 O RP0 中图法分类号 $$ TU 语言中任务 间的会合机制是一种高级 的通信机制 利用它可 以避免 因使用诸如信号灯等低级通信原 RP0 7 语 而带来 的困难V$7)W 但是会合机制不是一种轻型 的通信机制 并不能完全满足某些应用需求 很 O 8 : 7 O 1JXY345JXY3 多情况下 在用任务机制对共享数据或其他共享资源进行控制时需要增加额外 的任务 由于这种类别 的任务是 7 O 为其他任务服务 的 它只是应其他任务 的要求而动作 我们称之为服务性任务 其功能类似于管程 不管有没有 7 7 8 :O 任务与之会合 服务性任务在其作用域范围内始终是运行的 这就造成 了系统资源 的浪费 而且有可能因使用不 7 7 7 当而产生难 以控制 的竞争条件 同时 大量 的上下文切换增加 了系统 的负担 降低 了系统 的性 能 保护对 象是