ZipperOTF: Automatic, Precise, and Simple Data Race Detection for Task Parallel Programs with Mutual Exclusion
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 detectio...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2020
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/8659 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=9659&context=etd |