Multiprocessor Ada platform based on MaRTE OS and GNAT

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).

Otras publicaciones de la misma revista o congreso con autores/as de la Universidad de Cantabria

 Fuente: Ada Letters, Vol.35, N.1

Editorial: Association for Computing Machinery (ACM)

 Fecha de publicación: 01/04/2015

Nº de páginas: 6

Tipo de publicación: Artículo de Revista

DOI: doi.org/10.1145/2870544.2870553

ISSN: 1094-3641,1557-9476

Proyecto español: TIN2011-28567-C03-02 (HI-PARTES)

Url de la publicación: https://doi.org/10.1145/2870544.2870553