Runtime Checking of Multithreaded Applications with Visual Threads

Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads 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.

• Type: Conference
• Year: 2000
• Where: SPIN
• Authors: Jerry J. Harrow
• Keywords: Compaq's Customers, Multithreaded Applications, SPIN 2000, Theoretical Computer Science, Visual Threads