Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

  • Sergio Sáez
  • Alfons Crespo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6106)


The next release of the Ada language, Ada 2012, will incorporate several new features that address current and future software and hardware issues. One of these features is expected to be explicit support for multiprocessor execution platforms. This work reviews the enhancements at the language level required to support real-time scheduling over symmetric multiprocessor platforms, and the corresponding support at the operating system level. It analyses the preliminary support for these features within the Linux kernel and proposes a set of language extensions that will provide the required functionalities. Multiprocessor implementation aspects of other Ada language constructs such as timing events, execution time clocks and interrupt management are also analysed.


Symmetric Multiprocessor Platforms Linux kernel Ada 2012 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Burns, A., Wellings, A.: Multiprocessor systems session summary. In: 14th International Real-Time Ada Workshop, IRTAW-14 (2009)Google Scholar
  2. 2.
    Baruah, S.K., Fisher, N.: Global fixed-priority scheduling of arbitrary-deadline sporadic task systems. In: Rao, S., Chatterjee, M., Jayanti, P., Murthy, C.S.R., Saha, S.K. (eds.) ICDCN 2008. LNCS, vol. 4904, pp. 215–226. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Baruah, S.K., Baker, T.P.: Schedulability analysis of global EDF. Real-Time Systems 38(3), 223–235 (2008)MATHCrossRefGoogle Scholar
  4. 4.
    Andersson, B., Bletsas, K.: Sporadic multiprocessor scheduling with few preemptions. In: 20th Euromicro Conference on Real-Time Systems, pp. 243–252 (2008)Google Scholar
  5. 5.
    Aldea Rivas, M., González Harbour, M.: POSIX-compatible application-defined scheduling in MaRTE OS. In: 14th Euromicro Conference on Real-Time Systems, pp. 67–75 (2002)Google Scholar
  6. 6.
    Aldea Rivas, M., Miranda González, F.J., González Harbour, M.: Implementing an application-defined scheduling framework for ada tasking. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 283–296. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Taft, S., Duff, R., Brukardt, R., Ploedereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual: Language and Standard Libraries. Springer, Heidelberg (2005) ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1Google Scholar
  8. 8.
    Wellings, A.J., Burns, A.: Real-time utilities for Ada 2005. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 1–14. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    IEEE Std 1003.1b-1993: IEEE Standard for Information Technology: Portable Operating Sytem Interface (POSIX). Part 1, system application program interface (API) — amendment 1 — realtime extension (1994)Google Scholar
  10. 10.
    Derr, S., Jackson, P., Lameter, C., Menage, P., Seto, H.: Cpusets. Technical report Documentation/cgroups/cpusets.txtGoogle Scholar
  11. 11.
    Molnar, I., Krasnyansky, M.: SMP IRQ affinity. Technical report Documentation/IRQ-affinity.txtGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Sergio Sáez
    • 1
  • Alfons Crespo
    • 1
  1. 1.Instituto de Automática e Informática IndustrialUniversidad Politécnica de ValenciaValenciaSpain

Personalised recommendations