Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks

Shivam Kumar, Anupam Agrawal, Swarnendu Biswas

Existing data race detectors for task-based programs incur significant run time and space overheads. The overheads arise because of frequent lookups in fine-grained tree data struc…