Mostra el registre d'ítem simple
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
dc.contributor.author | Royuela Alcázar, Sara |
dc.contributor.author | Martorell Bofill, Xavier |
dc.contributor.author | Quiñones Moreno, Eduardo |
dc.contributor.author | Pinho, Luis Miguel |
dc.contributor.other | Barcelona Supercomputing Center |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors |
dc.date.accessioned | 2018-07-10T14:44:16Z |
dc.date.available | 2018-07-10T14:44:16Z |
dc.date.issued | 2018-05-26 |
dc.identifier.citation | Royuela, S. [et al.]. Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. A: "Ada-Europe 2018: Reliable Software Technologies – Ada-Europe 2018 (Lecture Notes in Computer Science)". Springer Verlag, 2018, p. 141-157. |
dc.identifier.isbn | 978-3-319-92432-8 |
dc.identifier.uri | http://hdl.handle.net/2117/119214 |
dc.description.abstract | 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. Recent works motivate the use of OpenMP for being a de facto standard in high-performance computing for programming shared memory architectures. These works address two important aspects towards the introduction of OpenMP in Ada: the compatibility of the OpenMP syntax with the Ada language, and the interoperability of the OpenMP and the Ada runtimes, demonstrating that OpenMP complements and supports the structured parallelism approach of the tasklet model. This paper addresses a third fundamental aspect: functional safety from a compiler perspective. Particularly, it focuses on race conditions and considers the fine-grain and unstructured capabilities of OpenMP. Hereof, this paper presents a new compiler analysis technique that: (1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and (2) provides solutions for the detected races. |
dc.description.sponsorship | This work was supported by the Spanish Ministry of Science and Innovation under contract TIN2015-65316-P, and by the FCT (Portuguese Foundation for Science and Technology) within the CISTER Research Unit (CEC/04234). |
dc.format.extent | 17 p. |
dc.language.iso | eng |
dc.publisher | Springer Verlag |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.lcsh | High performance computing |
dc.subject.lcsh | OpenMP |
dc.subject.other | Parallel computation |
dc.title | Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP |
dc.type | Conference lecture |
dc.subject.lemac | Supercomputadors |
dc.identifier.doi | 10.1007/978-3-319-92432-8_9 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-319-92432-8_9 |
dc.rights.access | Open Access |
local.identifier.drac | 28595458 |
dc.description.version | Postprint (author's final draft) |
dc.relation.projectid | info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/ |
local.citation.publicationName | Ada-Europe 2018: Reliable Software Technologies – Ada-Europe 2018 (Lecture Notes in Computer Science) |
local.citation.volume | 10873 |
local.citation.startingPage | 141 |
local.citation.endingPage | 157 |