Conformity Issues of Ada Tasking and the Effects of Ada Generics on Object Code Size
Abstract
The main purpose for this research is Ada compiler testing. Specifically, the thesis was intended to explore three areas of concern. First, tests were designed and implemented to try to determine the fairness of Ada task scheduling algorithms within the run-time system of Ada compilers. Next, an algorithm for using the Ada conditional entry call in implied priority schemes was developed. The algorithm was then coded and verified for correctness. The third and final part of this research explored the effect of using Ada generics on object code generation. Six Ada programs were developed in both generic and explicit forms to determine the extent of object code inflation when using generics. Results of the work show that many individual compilation systems approach the problem of task scheduling differently. The evidence gathered showed that, for the tests used in this part of the work, the compilers were, in general, not fair to equal priority tasks. While the tests were structured to ensure that all tasks had equal priorities and equal duties to perform, they were also designed with disregard for timing requirements on the rendezvous. Hence, the unfairness of a compilation system may be traceable to the large overhead involved in using the rendezvous. Keywords: Computer program verification.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 17, 1989
- Accession Number
- ADA206095
Entities
People
- Robert H. Tippett
Organizations
- Air Force Institute of Technology