Dynamic ceiling priorities in GNAT implementation report
Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo · ACM SIGAda Ada Letters · 2003
This document presents the required modifications to the GNAT compiler to support dynamic ceiling priorities in protected objects [1]. In a nutshell, dynamic ceilings for protected objects can be implemented in a simple and efficient manner in the GNAT compiler and run-time.