Transforming Ada Serving Tasks into Protected Objects

Bangqing Li,Baowen Xu,Huiming Yu
DOI: https://doi.org/10.1145/289524.289633
1998-01-01
Abstract: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 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.
What problem does this paper attempt to address?