Exception support for the ravenscar profile

Authors:
José Ruiz;Juan A. de la Puente;Juan Zamorano;Ramón Fernández-Marina
Affiliations:
Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Spain;Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Spain;Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Spain;Departamento de Ingeniería de Sistemas Telemáticos, Universidad Politécnica de Madrid, Spain
Venue:
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Year:
2001

Citing 3
Cited 1

The Ravenscar Tasking Profile for High Integrity Real-Time Programs

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
An Open Ravenscar Real-Time Kernel for GNAT

Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
The GNARL Implementation of POSIX/Ada Signal Services

Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies

User experiences with the Aonix ObjectAda RAVEN: Ravenscar Profile implementation

IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

The GNAT/ORK cross-compilation system was designed to support the Ravenscar profile semantics in a simple and efficient way. The implementation of the underlying kernel support for the exception handling was not difficult, but it raised two main issues. First, the handling of certain exceptions (namely task termination and elaboration) is undefined in the Ravenscar profile. Second, the kernel mechanism required to support Ada exceptions (using the GNAT runtime) is very simple if we do not adhere to the complex POSIX signal approach.