Source code and user guide for Euro-Par 2018 paper: Runtime Determinacy Race Detection for OpenMP Tasks

This artifact contains the source code for a novel tool to detect determinacy races in OpenMP tasks, as presented in the accompanying paper, "Runtime Determinacy Race Detection for OpenMP Tasks".OpenMP 4.0 permits the programmer to specify execution order among explicit tasks by specifying task dependencies. Within a collection of tasks, any given task cannot execute until all of its dependencies are satisfied. If multiple tasks have their dependencies satisfied simultaneously, they may execute in any order or concurrently. In such cases, where no order of execution is enforced, and multiple tasks access and modify common shared memory location, a determinacy race occurs. A determinacy race may result in a program producing different final outcomes at different runs on the same input.Here, a novel open source tool to detect and report determinacy races at run-time for OpenMP is presented. This tool, named TaskSanitizer, is largely implemented in C++ and instruments a given OpenMP program at compile-time through LLVM/Clang infrastructure.Full details on installation and usage, as well as reproducing the results presented in the accompanying paper, can be found in OverviewDocument.pdf