Runtime Checking of Multithreaded Applications with Visual Threads
作者： Jerry J. Harrow
DOI: 10.1007/10722468_20
关键词:
摘要: Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq’s customers need employ threads implement high-performance, scalable that address their needs in business science. In order ensure success using threads, Compaq provides a runtime debugging analysis tool for multithreaded called Visual Threads. This paper describes the automatic checking incorporated
springer.com
sci-hub.st 参考文章(2)
E.W. Dijkstra, Co-operating sequential processes Academic Press Inc.. pp. 43- 112 ,(1968)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs ACM Transactions on Computer Systems. ,vol. 15, pp. 391- 411 ,(1997) , 10.1145/265924.265927