Transforming Ada serving tasks into protected objects

Bangqing Li, Baowen Xu, Huiming Yu
1998 Proceedings of the 1998 annual ACM SIGAda international conference on Ada - SIGAda '98  
Protected objects are new features of Ada 95 that overcome the limitations of tasks in Ada 83, support more efficient communication, and provide mutually exclusive access to shared data. Transforming large concurrent software systems, that were written in Ada 83, to software systems using protected objects would make maintenance easier and improve system performance dramatically. In this paper the semantics of rendezvous and protected objects is examined, a group of hypotheses is developed, an
more » ... s is developed, an algorithm that transforms serving tasks written in Ada 83 into protected objects in Ada 95 is presented, and finally an example is given to demonstrate applications of this algorithm.
doi:10.1145/289524.289633 dblp:conf/sigada/LiBY98 fatcat:rhhehts5krdtbiy3i4ror4zri4