Show simple item record

hal.structure.identifierDAM Île-de-France [DAM/DIF]
dc.contributor.authorSAILLARD, Emmanuelle
hal.structure.identifierDAM Île-de-France [DAM/DIF]
dc.contributor.authorCARRIBAULT, Patrick
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierEfficient runtime systems for parallel architectures [RUNTIME]
dc.contributor.authorBARTHOU, Denis
dc.date.accessioned2024-04-15T09:57:58Z
dc.date.available2024-04-15T09:57:58Z
dc.date.issued2014
dc.date.conference2014-09-28
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198960
dc.description.abstractEnThe OpenMP specification requires that all threads in a team execute the same sequence of worksharing and barrier regions. An improper use of such directive may lead to deadlocks. In this paper we propose a static analysis to ensure this property is verified. The well-defined semantic of OpenMP programs makes compiler analysis more effective. We propose a new compile-time method to identify in OpenMP codes the potential improper uses of barriers and work-sharing constructs, and the execution paths that are responsible for these issues. We implemented our method in a GCC compiler plugin and show the small im-pact of our analysis on performance for NAS-OMP benchmarks and a test case for a production industrial code.
dc.language.isoen
dc.title.enStatic Validation of Barriers and Worksharing Constructs in OpenMP Applications
dc.typeCommunication dans un congrès
dc.identifier.doi10.1007/978-3-319-11454-5_6
dc.subject.halInformatique [cs]/Calcul parallèle, distribué et partagé [cs.DC]
bordeaux.page73 - 86
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleIWOMP
bordeaux.countryBR
bordeaux.conference.citySalvador
bordeaux.peerReviewedoui
hal.identifierhal-01078759
hal.version1
hal.invitednon
hal.proceedingsoui
hal.conference.end2014-09-30
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-01078759v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2014&rft.spage=73%20-%2086&rft.epage=73%20-%2086&rft.au=SAILLARD,%20Emmanuelle&CARRIBAULT,%20Patrick&BARTHOU,%20Denis&rft.genre=unknown


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record