Physical Sciences and Mathematics Commons^™

Zipperotf: Automatic, Precise, And Simple Data Race Detection For Task Parallel Programs With Mutual Exclusion, S. Jacob Powell

Theses and Dissertations

Data race in parallel programs can be difficult to precisely detect, and doing so manually can often prove unsuccessful. Task parallel programming models can help reduce defects introduced by the programmer by restricting concurrent functionalities to fork-join operations. Typical data race detection algorithms compute the happens-before relation either by tracking the order that shared accesses happen via a vector clock counter, or by grouping events into sets that help classify which heap locations are accessed sequentially or in parallel. Access sets are simple and efficient to compute, and have been shown to have the potential to outperform vector clock approaches …