Estamos realizando la búsqueda. Por favor, espere...

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

 Fuente: Ada Letters, 2015, 35(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