Show simple item record

dc.contributor.authorKlemm, Michael
dc.contributor.authorQuiñones, Eduardo
dc.contributor.authorTaft, Tucker
dc.contributor.authorZiegenbein, Dirk
dc.contributor.authorRoyuela Alcázar, Sara
dc.contributor.otherBarcelona Supercomputing Center
dc.date.accessioned2021-06-01T09:45:38Z
dc.date.available2021-06-01T09:45:38Z
dc.date.issued2021
dc.identifier.citationKlemm, M. [et al.]. The OpenMP API for high integrity systems: Moving responsibility from users to vendors. "Ada Letters", Desembre 2020, vol. 40, núm. 2, p. 48-50.
dc.identifier.issn1094-3641
dc.identifier.urihttp://hdl.handle.net/2117/346447
dc.description.abstractOpenMP is traditionally focused on boosting performance in HPC systems. However, other domains are showing an increasing interest in the use of OpenMP by virtue of key aspects introduced in recent versions of the specification: the tasking model, the accelerator model, and other features like the requires and the assumes directives, which allow defining certain contracts. One example is the safety-critical embedded domain, where several efforts have been initiated towards the adoption of OpenMP. However, the OpenMP specification states that "application developers are responsible for correctly using the OpenMP API to produce a conforming program", being not acceptable in high integrity systems, where aspects such as reliability and resiliency have to be ensured at different levels of criticality. In this scope, programming languages like Ada propose a different paradigm by exposing fewer features to the user, and leaving the responsibility of safely exploiting the full underlying architecture to the compiler and the runtime systems, instead. The philosophy behind this kind of model is to move the responsibility of producing correct parallel programs from users to vendors. In this panel, actors from different domains involved in the use of parallel programming models for the development of high-integrity systems share their thoughts about this topic.
dc.description.sponsorshipThis work has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 871669. We would also like to express our gratitude to the organizers of the HILT workshop.
dc.format.extent3 p.
dc.language.isoeng
dc.publisherAssociation for Computing Machinery
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshHigh performance computing
dc.subject.lcshOpenMP (Application program interface)
dc.subject.lcshParallel programming (Computer science)
dc.subject.otherProductivity
dc.subject.otherSafety
dc.subject.otherCPS
dc.subject.otherOpenMD
dc.subject.otherADA
dc.titleThe OpenMP API for high integrity systems: Moving responsibility from users to vendors
dc.typeArticle
dc.subject.lemacCàlcul intensiu (Informàtica)
dc.identifier.doi10.1145/3463478.3463480
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://doi.org/10.1145/3463478.3463480
dc.rights.accessOpen Access
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/EC/H2020/871669/EU/A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation/AMPERE
local.citation.publicationNameAda Letters
local.citation.volume40
local.citation.number2
local.citation.startingPage48
local.citation.endingPage50


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record