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).
- Ada Reference Manual. Language and Standard Libraries -- International Standard ISO/IEC 8652/2012 (E) with Technical Corrigendum 1 and Amendment 1. (2013)Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Index Terms
(auto-classified)Multiprocessor Ada platform based on MaRTE OS and GNAT
Recommendations
Real-time programming with GNAT: specialised kernels versus POSIX threads
IRTAW '99: Proceedings of the ninth international workshop on Real-time AdaThe fact that most of the GNAT ports are based on non real-time operating systems leads to a reduced usability for developing real-time systems. Otherwise, existing ports over real-time operating systems are excessively complex, since GNAT uses only a ...






Comments