zbMATH — the first resource for mathematics

Runtime checking of multithreaded applications with visual threads. (English) Zbl 0976.68568
Havelund, Klaus (ed.) et al., SPIN model checking and software verification. 7th international SPIN workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1885, 331-342 (2000).
Summary: Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq’s customers need to employ direads to implement high-performance, scalable applications that address their needs in business and science. In order to ensure their success using threads, Compaq provides a runtime debugging and analysis tool for multithreaded applications called visual threads. This paper describes the automatic runtime checking for multithreaded applications incorporated in visual threads.
For the entire collection see [Zbl 0947.00033].

68U99 Computing methodologies and applications
68M20 Performance evaluation, queueing, and scheduling in the context of computer systems