Searching. Please wait…
1579
37
171
29274
4420
2604
347
391
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).
Fuente: Ada Letters, 2015, 35(1)
Publisher: Association for Computing Machinery (ACM)
Publication date: 01/04/2015
No. of pages: 6
Publication type: Article
DOI: doi.org/10.1145/2870544.2870553
ISSN: 1094-3641,1557-9476
Spanish project: TIN2011-28567-C03-02 (HI-PARTES)
Publication Url: https://doi.org/10.1145/2870544.2870553
Citations in Google Scholar
Read publication
MARIO ALDEA RIVAS
HECTOR PEREZ TIJERO
MICHAEL GONZALEZ HARBOUR
Back