Mostrar el registro sencillo del ítem
Static Validation of Barriers and Worksharing Constructs in OpenMP Applications
hal.structure.identifier | DAM Île-de-France [DAM/DIF] | |
dc.contributor.author | SAILLARD, Emmanuelle | |
hal.structure.identifier | DAM Île-de-France [DAM/DIF] | |
dc.contributor.author | CARRIBAULT, Patrick | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Efficient runtime systems for parallel architectures [RUNTIME] | |
dc.contributor.author | BARTHOU, Denis | |
dc.date.accessioned | 2024-04-15T09:57:58Z | |
dc.date.available | 2024-04-15T09:57:58Z | |
dc.date.issued | 2014 | |
dc.date.conference | 2014-09-28 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198960 | |
dc.description.abstractEn | The 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.iso | en | |
dc.title.en | Static Validation of Barriers and Worksharing Constructs in OpenMP Applications | |
dc.type | Communication dans un congrès | |
dc.identifier.doi | 10.1007/978-3-319-11454-5_6 | |
dc.subject.hal | Informatique [cs]/Calcul parallèle, distribué et partagé [cs.DC] | |
bordeaux.page | 73 - 86 | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | IWOMP | |
bordeaux.country | BR | |
bordeaux.conference.city | Salvador | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-01078759 | |
hal.version | 1 | |
hal.invited | non | |
hal.proceedings | oui | |
hal.conference.end | 2014-09-30 | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-01078759v1 | |
bordeaux.COinS | ctx_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 |
Archivos en el ítem
Archivos | Tamaño | Formato | Ver |
---|---|---|---|
No hay archivos asociados a este ítem. |