Login

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, 2014

Abstract:
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.

Authors:
S. Tucker Taft
,
Brad Moore
,
Luis Miguel Pinho
,
Stephen Michell


High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2014).
Portland, U.S.A..



Record Date: 18, Oct, 2014