Safe Parallel Programming in Ada with Language Extensions
Ref: CISTER-TR-141010 Publication Date: 20 to 22, Oct, 2014
Safe Parallel Programming in Ada with Language Extensions
Ref: CISTER-TR-141010 Publication Date: 20 to 22, Oct, 2014Abstract:
The increased presence of parallel computing platforms brings
concerns to the general purpose domain that were previously
prevalent only in the specific niche of high-performance
computing. As parallel programming technologies become more
prevalent in the form of new emerging programming languages
and extensions of existing languages, additional safety concerns
arise as part of the paradigm shift from sequential to parallel
behaviour.
In this paper, we propose various syntax extensions to the Ada
language, which provide mechanisms whereby the compiler is
given the necessary semantic information to enable the implicit
and explicit parallelization of code. The model is based on earlier
work, which separates parallelism specification from concurrency
implementation, but proposes an updated syntax with additional
mechanisms to facilitate the development of safer parallel
programs.
Document:
High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2014).
Portland, U.S.A..
Record Date: 18, Oct, 2014