Real-time systems and their programming languages
Real-time systems and their programming languages
Using POSIX threads to implement Ada tasking: description of work in progress
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Implementing Ada 9X features using POSIX Threads: design issues
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
POSIX/Ada real-time bindings: description of work in progress
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Optimization of Ada '95 tasking constructs
Proceedings of the conference on TRI-Ada '97
Tasking profiles (session summary)
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
The GNARL Implementation of POSIX/Ada Signal Services
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Hi-index | 0.00 |
This paper describes the main design goals and implementation choices of JTK, a library which provides simple tasking support, loosely based on POSIX threads. It has been designed to provide the lowlevel tasking support for GNAT, it is completely written in Ada, and it is usable on top of a traditional operating system (providing user-level threads) as well as layered over a bare machine. Its main design motivation is the desire to experiment with a low-level tasking implementation that fits well with GNAT tasking requirements. Currently, JTK provides a priority driven threading model, with preemptive scheduling, facilities for signal handling, and primitives to provide mutual exclusion and synchronized waiting. The long-term target of JTK is to provide all the facilities that GNAT needs to satisfy full Annex D semantics.