article

Free access

A Linux kernel module implementation of restricted Ada tasking

Authors:

Hongfeng Shen,

Theodore P. BakerAuthors Info & Claims

ACM SIGAda Ada Letters, Volume XIX, Issue 2

Pages 96 - 103

https://doi.org/10.1145/334725.334746

Published: 01 June 1999 Publication History

PDF eReader

Abstract

An Ada tasking kernel is implemented as a layer beneath the Linux operating system on a PC-compatible machine. This implementation is derived from Yodaiken's Real-Time Linux kernel, with new scheduling and synchronization primitives introduced specifically to support the GNAT Ada runtime system. Primitive operations for real-time Ada tasks are directly implemented on top of the underlying hardware in the form of a loadable Linux kernel module. This design not only reduces execution overhead and improves control over execution timing for tasks, but also opens the door for a simple restricted-tasking runtime system that could be certified for safety-critical applications.

Cited By

View all

Aldea Rivas MPerez Tijero H(2019)Leveraging real-time and multitasking Ada capabilities to small microcontrollersJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2019.02.01594:C(32-41)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1016/j.sysarc.2019.02.015
Rogers PRuiz JGingold TBernardi P(2017)A New Ravenscar-Based ProfileReliable Software Technologies – Ada-Europe 201710.1007/978-3-319-60588-3_11(169-183)Online publication date: 30-May-2017
https://doi.org/10.1007/978-3-319-60588-3_11
Chouteau FRuiz J(2011)Design and implementation of a Ravenscar extension for multiprocessorsProceedings of the 16th Ada-Europe international conference on Reliable software technologies10.5555/2018027.2018032(31-45)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2018027.2018032
Show More Cited By

Index Terms

A Linux kernel module implementation of restricted Ada tasking
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management

Recommendations

A Linux kernel module implementation of restricted Ada tasking
IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada

An Ada tasking kernel is implemented as a layer beneath the Linux operating system on a PC-compatible machine. This implementation is derived from Yodaiken's Real-Time Linux kernel, with new scheduling and synchronization primitives introduced ...
A ``Bare-Machine'' Implementation of Ada Multi-tasking Beneath the Linux Kernel
Ada-Europe '99: Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies

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 ...
Linux kernel

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGAda Ada Letters Volume XIX, Issue 2

June 1999

94 pages

ISSN:1094-3641

DOI:10.1145/334725

Editor:
Alan Burns

Issue’s Table of Contents

IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada
June 1999
105 pages
ISBN:1581131771
DOI:10.1145/329607
Chairman:
Alan Burns
Univ. of York, York, UK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1999

Published in SIGADA Volume XIX, Issue 2

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
635
Total Downloads

Downloads (Last 12 months)98
Downloads (Last 6 weeks)12

Reflects downloads up to 04 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aldea Rivas MPerez Tijero H(2019)Leveraging real-time and multitasking Ada capabilities to small microcontrollersJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2019.02.01594:C(32-41)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1016/j.sysarc.2019.02.015
Rogers PRuiz JGingold TBernardi P(2017)A New Ravenscar-Based ProfileReliable Software Technologies – Ada-Europe 201710.1007/978-3-319-60588-3_11(169-183)Online publication date: 30-May-2017
https://doi.org/10.1007/978-3-319-60588-3_11
Chouteau FRuiz J(2011)Design and implementation of a Ravenscar extension for multiprocessorsProceedings of the 16th Ada-Europe international conference on Reliable software technologies10.5555/2018027.2018032(31-45)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2018027.2018032
Chouteau FRuiz J(2011)Design and Implementation of a Ravenscar Extension for MultiprocessorsReliable Software Technologies - Ada-Europe 201110.1007/978-3-642-21338-0_3(31-45)Online publication date: 2011
https://doi.org/10.1007/978-3-642-21338-0_3
Ruiz J(2005)GNAT pro for on-board mission-critical space applicationsProceedings of the 10th Ada-Europe international conference on Reliable Software Technologies10.1007/11499909_20(248-259)Online publication date: 20-Jun-2005
https://dl.acm.org/doi/10.1007/11499909_20
Leif R(2000)SIGAda 99, workshopACM SIGAda Ada Letters10.1145/353399.353400XX:2(19-26)Online publication date: 1-Jun-2000
https://dl.acm.org/doi/10.1145/353399.353400
de la Puente JRuiz JZamorano J(2000)An Open Ravenscar Real-Time Kernel for GNATReliable Software Technologies Ada-Europe 200010.1007/10722060_4(5-15)Online publication date: 2000
https://doi.org/10.1007/10722060_4
Chouteau FRuiz J(2011)Design and implementation of a Ravenscar extension for multiprocessorsProceedings of the 16th Ada-Europe international conference on Reliable software technologies10.5555/2018027.2018032(31-45)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.5555/2018027.2018032
Ruiz J(2005)GNAT pro for on-board mission-critical space applicationsProceedings of the 10th Ada-Europe international conference on Reliable Software Technologies10.1007/11499909_20(248-259)Online publication date: 20-Jun-2005
https://dl.acm.org/doi/10.1007/11499909_20
Pinho LVasques F(2001)Reliable Communication in Distributed Computer-Controlled SystemsReliable SoftwareTechnologies — Ada-Europe 200110.1007/3-540-45136-6_10(136-147)Online publication date: 2-May-2001
https://doi.org/10.1007/3-540-45136-6_10

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations