Advertisement

A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel

  • Hongfeng Shen
  • Arnaud Charlet
  • T. P. Baker
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1622)

Abstract

An Ada tasking kernel is implemented as a layer beneath the Linux operating system. This provides low overhead and precise control of execution timing for real-time Ada tasks, which execute within the Linux kernel address space, while allowing the Linux operating system to execute non-real-time tasks in the background. The Ada tasking kernel is derived from Yodaiken’s Real-Time Linux kernel, with new scheduling and synchronization primitives specifically to support the GNAT Ada runtime system. Implementing the Ada tasking primitives directly on the hardware does not just lower execution overhead and improve control over execution timing; it also opens the door for a simple restricted- tasking runtime system that could be certified for safety-critical applications.

Keywords

Runtime System Device Driver Task Scheduler Time Queue Interrupt Handler 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ada 9X Mapping/Revision Team, Annex D of the Ada 95 Rationale, Intermetrics, Inc. (January 1995).Google Scholar
  2. 2.
    T.P. Baker, Stack-based scheduling of real-time processes, in Advances in Real-Time Systems, IEEE Computer Society Press (1993) 64–96.Google Scholar
  3. 3.
    A. Burns, T. Baker, T. Vardanega, Session Summary: Tasking Profiles, Proceedings for the 8th International Real-Time Ada Workshop, Ada Letters XVII, 5 (September/October 1997) 5–7.Google Scholar
  4. 4.
    ISO/IEC: ISO/IEC 8652: 1995 (E) Information Technology — Programming Languages — Ada. (1995)Google Scholar
  5. 5.
    V. Yodaiken, The RT-Linux approach to hard real-time, paper available at http://rtlinux.cs.nmt.edu/~rtlinuxwhitepaper/short.html.
  6. 6.
    Linux operating system web page, http://www.linux.org.
  7. 7.
    Real-Time Linux operating system web page, http://luz.cs.nmt.edu/~rtlinux/.
  8. 8.
    Ada Core Technologies, Inc., GNAT web page, http://www.gnat.com.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Hongfeng Shen
    • 1
  • Arnaud Charlet
    • 2
  • T. P. Baker
    • 1
  1. 1.Department of Computer ScienceFlorida State UniversityTallahasseeUSA
  2. 2.Ada Core Technologies, Inc.USA

Personalised recommendations