Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

There is a growing need to support parallel computation in Ada to cope with the performance requirements of the most advanced functionalities of safety-critical systems. In that regard, the use of parallel programming models is paramount to exploit the benefits of parallelism.

[1]  Johann Blieberger,et al.  A Framework for CFG-Based Static Program Analysis of Ada Programs , 2008, Ada-Europe.

[2]  Zijiang Yang,et al.  Symbolic Analysis of Concurrency Errors in OpenMP Programs , 2013, 2013 42nd International Conference on Parallel Processing.

[3]  Alan Burns,et al.  The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.

[4]  Giorgio C. Buttazzo,et al.  A static scheduling approach to enable safety-critical OpenMP applications , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

[5]  Luís Miguel Pinho,et al.  An Execution Model for Fine-Grained Parallelism in Ada , 2015, Ada-Europe.

[6]  Wang Yi,et al.  Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks , 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

[7]  Ernst Lippe,et al.  Operation-based merging , 1992 .

[8]  Alejandro Duran,et al.  A Functional Safety OpenMP ^* for Critical Real-Time Embedded Systems , 2017, IWOMP.

[9]  Yannick Moy,et al.  High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles , 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

[10]  Jingde Cheng,et al.  A New Definition-Use Net Generator for Ada 2012 Programs , 2017, ALET.

[11]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[12]  Patrice Quinton,et al.  ompVerify: Polyhedral Analysis for the OpenMP Programmer , 2011, IWOMP.

[13]  Sami Evangelista,et al.  Quasar: A New Tool for Concurrent Ada Programs Analysis , 2003, Ada-Europe.

[14]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[15]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[16]  Eduardo Quiñones,et al.  Timing characterization of OpenMP4 tasking model , 2015, 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

[17]  Eduardo Quiñones,et al.  Converging safety and high-performance domains: Integrating OpenMP into Ada , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[18]  Wang Yi,et al.  Schedulability Analysis of Synchronous Digraph Real-Time Tasks , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[19]  S. Tucker Taft,et al.  Ada 95 Reference Manual , 1995, Lecture Notes in Computer Science.

[20]  Luís Miguel Pinho,et al.  Parallelism in Ada: Status and Prospects , 2014, Ada-Europe.

[21]  Alejandro Duran,et al.  Ompss: a Proposal for Programming Heterogeneous Multi-Core Architectures , 2011, Parallel Process. Lett..

[22]  Baowen Xu,et al.  An Approach to Slicing Concurrent Ada Programs Based on Program Reachability Graphs , 2006 .

[23]  Sara Royuela,et al.  Compiler analysis for OpenMP tasks correctness , 2015, Conf. Computing Frontiers.

[24]  Luís Miguel Pinho,et al.  Tasklettes - A Fine Grained Parallelism for Ada on Multicores , 2013, Ada-Europe.

[25]  S. Tucker Taft,et al.  Real-Time Fine-Grained Parallelism in Ada , 2015, ALET.

[26]  John G. P. Barnes,et al.  High Integrity Software - The SPARK Approach to Safety and Security , 2003 .

[27]  Eduardo Quiñones,et al.  OpenMP Tasking Model for Ada: Safety and Correctness , 2017, Ada-Europe.

[28]  Alejandro Duran,et al.  Auto-scoping for OpenMP Tasks , 2012, IWOMP.

[29]  Eduardo Quiñones,et al.  Response-time analysis of DAG tasks under fixed priority scheduling with limited preemptions , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[30]  Daniel Kroening,et al.  Sound static deadlock analysis for C/Pthreads , 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

[31]  João Martins,et al.  An Approach to Model Checking Ada Programs , 2012, Ada-Europe.

[32]  Tucker Taft,et al.  Reduction of Parallel Computation in the Parallel Model for Ada , 2016, ALET.

[33]  W. Yi,et al.  Scheduling and Analysis of Real-Time OpenMP Task Systems with Tied Tasks , 2017 .

[34]  Alan Burns,et al.  Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .

[35]  Alejandro Duran,et al.  Compiler Automatic Discovery of OmpSs Task Dependencies , 2012, LCPC.

[36]  Luís Miguel Pinho,et al.  Safe parallel programming in ada with language extensions , 2014, HILT '14.

[37]  Alan Burns,et al.  HRT-HOOD: A structured design method for hard real-time systems , 2005, Real-Time Systems.