###
DOI:
Journal of Software:2000.11(6):836-840

一种Ada83服务性任务向Ada95保护对象变换的方法
李帮清,徐宝文,刘超,张茂林,晏海华,杨峰,何智涛
(东南大学计算机科学与工程系,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072;北京航空航天大学软件工程研究所,北京,100083)
An Approach for Transforming Ada83 Serving Tasks to Ada95 Protected Objects
LI Bang-qing,XU Bao-wen,LIU Chao,ZHANG Mao-lin,YAN Hai-hua,YANG Feng,HE Zhi-tao
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2289   Download 2331
Received:December 15, 1998    Revised:June 07, 1999
> 中文摘要: 任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法,最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点.
Abstract:Tasks are the basic facilities of concurrent programming in Ada, which provides a good mechanism of synchronization and communication. However, there exists a kind of serving tasks that are passive and are used as servers. The existence of serving tasks makes systems have a little overhead and degrades system performance. When serving tasks are transformed to protected objects, the performance of systems can be improved. In this paper, the authors propose a method of transforming Ada83 serving tasks to Ada95 protected objects at the source code level. First, conditions that a serving task must satisfy are discussed. Then the methods of identifying and transforming serving tasks are discussed, followed by discussions on the feasibility of the methods. Compared with other methods, the proposed methods have less hypotheses and higher efficiency and are easier to verify.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到华英文教基金资助。 本文研究得到华英文教基金资助。
Foundation items:
Reference text:

李帮清,徐宝文,刘超,张茂林,晏海华,杨峰,何智涛.一种Ada83服务性任务向Ada95保护对象变换的方法.软件学报,2000,11(6):836-840

LI Bang-qing,XU Bao-wen,LIU Chao,ZHANG Mao-lin,YAN Hai-hua,YANG Feng,HE Zhi-tao.An Approach for Transforming Ada83 Serving Tasks to Ada95 Protected Objects.Journal of Software,2000,11(6):836-840