• Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • |
  • Cited by
  • | |
  • Comments
    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.

    Reference
    1  Andrews G R. Concurrent Programming: Principles and Practice. Redwood City, CA: The Benjamin/Cummings Publishing Company, Inc., 1991 2  ANSI/MIL-STD-1815A-1983 (ISO 8652-1987). Reference Manual for the Ada Programming Language, 1983 3  ISO/IEC 9652: 1995(E). Ada reference manual——language and standard libraries, 1995 4  XU Bao-wen. Ada95 protected objects and data-oriented synchronization. Computer Research and Development, 1997,34(1):72~77 (徐宝文.Ada95保护对象与面向数据的同步.计算机研究与发展,1997,34(1):72~77) 5  Locke C D, Mester T J, Vogel D R. Replacing passive tasks with Ada 9X protected records. ACM Ada Letters, 1993,13(2):91~96 6  Li Bang-qing, Xu Bao-wen, Yu Hui-ming. Transforming Ada serving tasks into protected objects. In:  Proceedings of ACM SIGAda Annual International Conference (SIGAda'98). Washington, DC: ACM Press, 1998. 240~245 7  Canfora G, Cimitile A, Carlini U D. A reverse engineering process for design level document production from Ada code. Information and Software Technology, 1993,35(1):23~34
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:3398
  • PDF: 4488
  • HTML: 0
  • Cited by: 0
History
  • Received:December 15,1998
  • Revised:June 07,1999
You are the first2032788Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063