Loading [a11y]/accessibility-menu.js
Hybrid dynamic data race detection in systemC | IEEE Conference Publication | IEEE Xplore

Hybrid dynamic data race detection in systemC


Abstract:

Data races are one of the most common problems in concurrent programs. As SystemC standard allows nondeterministic scheduling of processes, this leads to data races. Henc...Show More

Abstract:

Data races are one of the most common problems in concurrent programs. As SystemC standard allows nondeterministic scheduling of processes, this leads to data races. Hence, different executions of the same concurrent program may lead to unexpected results due to race conditions. We develop a hybrid dynamic data race detection algorithm for SystemC/TLM designs that adopts the well-studied dynamic race detection algorithms; lockset and happens-before. Experiments show that our solution has fewer false positives than lockset and fewer false negatives than happens-before algorithms. Our implementation uses dynamic binary instrumentation allowing us to work on designs for which source codes may not be available such as pre-compiled IPs.
Date of Conference: 14-16 October 2014
Date Added to IEEE Xplore: 11 June 2015
Electronic ISBN:978-2-9530504-9-3
Print ISSN: 1636-9874
Conference Location: Munich, Germany

Contact IEEE to Subscribe

References

References is not available for this document.