Key points are not available for this paper at this time.
The GNu Ada Runtime Library (GNARL) is an implementation of Ada 9X tasking. It is designed to support the Gnu-NYU Ada Translator (GNAT), and is part of the GNAT distribution. This report describes the design of the interface which GNARL presents to compiler-generated code, some of the alternatives considered, and the motivation for choosing the current design. It also discusses the GNARL implementation, how it is intended to be layered over the services of an off-the-shelf commercial operating system, and the expected compiler translation of various Ada 9X tasking constructs.
Giering et al. (Sat,) studied this question.