English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

OpenMP is the de facto standard to exploit the on-node parallelism in newgeneration supercomputers.Despite its overall ease of use, even expert usersare known to create OpenMP programs that harbor concurrency errors, of whichone of the most insidious of errors are {\em data races}.OpenMP is also arapidly evolving standard, which means that future data races may be introducedwithin unfamiliar contexts.A simple and rigorous operational semantics forOpenMP can help build reliable race checkers and ward off future errors throughprogrammer education and better tooling.This paper's key contribution is asimple operational semantics for OpenMP, with primitive events matching thosegenerated by today's popular OpenMP runtimes and tracing methods such asOMPT.This makes our operational semantics more than a theoretical document forintellectual edification; it can serve as a blueprint for OpenMP event captureand tool building.We back this statement by summarizing the workings of a newdata race checker for OpenMP being built based on this semantics.The largerpurpose served by our semantics is to serve the needs of the OpenMP communitywith regard to their contemplated extensions to OpenMP, as well as futuretooling efforts.

An Operational Semantic Basis for OpenMP Race Analysis