Safe Parallel Programming in Ada with Language Extensions

The increased presence of parallel computing platforms bringsconcerns to the general purpose domain that were previouslyprevalent only in the specific niche of high-performancecomputing. As parallel programming technologies become moreprevalent in the form of new emerging programming languagesand extensions of existing languages, additional safety concernsarise as part of the paradigm shift from sequential to parallelbehaviour.In this paper, we propose various syntax extensions to the Adalanguage, which provide mechanisms whereby the compiler isgiven the necessary semantic information to enable the implicitand explicit parallelization of code. The model is based on earlierwork, which separates parallelism specification from concurrencyimplementation, but proposes an updated syntax with additionalmechanisms to facilitate the development of safer parallelprograms. © CISTER Research Center www.cister.isep.ipp.p