Going real-time with Ada 2012 and GNAT-Reference-Cited by-同舟云学术

Going real-time with Ada 2012 and GNAT

Published:2013-06-11 Issue:1 Volume:33 Page:45-52
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Ruiz José F.¹

Affiliation:

1. AdaCore, Paris, France

Abstract

This paper provides an overview of the real-time additions to Ada 2012 and their implementation status in GNAT. Most of these additions are related to multiprocessors, helping to exploit parallelism in an efficient and predictable way, and this is the area where GNAT has made more progress. There is also execution-time accounting of interrupts that has been added to bare board targets, where that GNAT run-time library has fine-grained control. The area of new scheduling policies is the one which has received less attention in GNAT, because of the lack or required support in underlying operating systems.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/2492312.2492318

Reference19 articles.

1. Aeroflex Gaisler. LEON3 Multiprocessing CPU Core 2010. Available at http://www.gaisler.com/doc/leon3_product_sheet.pdf. Aeroflex Gaisler. LEON3 Multiprocessing CPU Core 2010. Available at http://www.gaisler.com/doc/leon3_product_sheet.pdf.

2. ARG. Extended suspension objects. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0168-1.txt. ARG. Extended suspension objects. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0168-1.txt.

3. ARG. Glitch in edf protocol. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0055-1.txt. ARG. Glitch in edf protocol. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0055-1.txt.

4. ARG. Managing affinities for programs executing on multiprocessors. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0167-1.txt. ARG. Managing affinities for programs executing on multiprocessors. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0167-1.txt.

5. ARG. Memory barriers and volatile objects. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0117-1.txt. ARG. Memory barriers and volatile objects. Technical report ISO/IEC/JTC1/SC22/WG9 2010. Available at http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0117-1.txt.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. WooKey;Proceedings of the 35th Annual Computer Security Applications Conference;2019-12-09

2. Session summary;ACM SIGAda Ada Letters;2013-06-11