Tasking Implementation Strategies

[jha@srcsip.UUCP (Rakesh Jha)]

Does anyone know of a commercial Ada compiler that employs the implementation
strategies proposed in the following papers:

    1. Habermann A.N. and Nassi J.R. "Efficient Implementations of Ada
       Tasks", TR CMU-CS-80-103, CMU, 1980

    2. Hilfinger P. "Implementation Strategies for Ada Tasking Idioms",
       Proceedings of the ACM AdaTech Conference on Ada, October 1982

I am particularly interested in the issues listed below:

    1. The compiler's ability to determine where the proposed strategies may
       be used.

    2. If the scheme calls for the programmer to inform the compiler by a
       pragma, the compiler's ability to detect programmer error.

    3. A quantitative indication of performance gains achieved, if any.

    4. In practical applications, the frequency of occurrence of Ada tasks for
       which one of the above strategies is applicable.


Rakesh Jha
Honeywell Systems and Research Center
Minneapolis, Minnesota
{ihnp4, philabs, umn-cs, ems}!srcsip!jha