skip to main content
column

Multiprocessor Ada platform based on MaRTE OS and GNAT

Published:28 December 2015Publication History
Skip Abstract Section

Abstract

This paper presents the implementation of a multiprocessor Ada platform based on MaRTE OS and GNAT. The paper describes the modifications required to adapt MaRTE OS to a multiprocessor architecture, namely the protection of the internal data structures against concurrent access and the management of several ready queues. We also describe the adaptation of the GNAT run-time library in order to be used on top of the multiprocessor services provided by MaRTE OS. The developed MaRTE/GNAT platform provides full Ada tasking functionality and the multiprocessor support defined in the Ravenscar profile. Two multiprocessor architectures are supported: the multiprocessor version of the XtratuM hypervisor for Intel x86 architecture and the Linux operating system (with MaRTE taking the role of a Pthreads multiprocessor library).

References

  1. Ada Reference Manual. Language and Standard Libraries -- International Standard ISO/IEC 8652/2012 (E) with Technical Corrigendum 1 and Amendment 1. (2013)Google ScholarGoogle Scholar
  2. M. Masmano, I. Ripoll, A. Crespo, and J.J. Metge, "XtratuM a hypervisor for safety critical embedded systems," Proc. of the 11th Real-Time Linux Workshop, Dresden, Germany, (2009).Google ScholarGoogle Scholar
  3. M. Aldea and M. González. "MaRTE OS: An Ada Kernel for Real-Time Embedded Applications". Proc. of the International Conference on Reliable Software Technologies, Ada-Europe 2001, Leuven, Belgium, in Lecture Notes in Computer Science, LNCS 2043 (2001). Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. Aldea Rivas, M. González Harbour and J. F. Ruiz. "Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT". Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe, Brest, France, in Lecture Notes in Computer Science, LNCS 5570 (2009). Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. M. Aldea Rivas and José F. Ruiz. "Implementation of the new Ada 2005 real-time services in MaRTE OS and GNAT". Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe, Geneva, Switzerland, in Lecture Notes in Computer Science, LNCS 4498 (2007). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. H. Pérez Tijero, and J.J. Gutiérrez. "Experience with the integration of distribution middleware into partitioned systems," Proc. of the 17th International Conference on Reliable Software Technologies, Ada-Europe, Berlin, Germany, in Lecture Notes in Computer Science, LNCS 7896 (2013).Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. Multiprocessor Ada platform based on MaRTE OS and GNAT

    Recommendations

    Comments

    Login options

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

    Sign in

    Full Access

    • Published in

      cover image ACM SIGAda Ada Letters
      ACM SIGAda Ada Letters  Volume 35, Issue 1
      April 2015
      96 pages
      ISSN:1094-3641
      DOI:10.1145/2870544
      Issue’s Table of Contents

      Copyright © 2015 Authors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 28 December 2015

      Check for updates

      Qualifiers

      • column
    • Article Metrics

      • Downloads (Last 12 months)1
      • Downloads (Last 6 weeks)1

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!