Runtime Checking of Multithreaded Applications with Visual Threads

  • Jerry J. HarrowJr.
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1885)


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.


Programming Error Multithreaded Program Priority Inversion Runtime Check Thread Creation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    9945-1:1996 (ISO/IEC) [IEEE/ANSI Std 1003.1 196 Edition] Information Technology – Portable Operating System Interface (POSIX)—Part 1: System Application: Program Interface (API) [C Language] (ANSI). IEEE Standards Press, Los Alamitos (1996) ISBN 1-55937-573-6Google Scholar
  2. 2.
    Dijkstra, E.W.: Co-operating Sequential Processes. In: Genuys, F. (ed.) Programming Languages. Academic Press, London (1965)Google Scholar
  3. 3.
    Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, E.: Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems (TOCS) 15(4), 391–411 (1997); Also appeared In: Proceedings of the Sixteenth ACM Symposium on Operating System Principles, Operating System Review, St. Malo, France, vol. 31(5), pp. 27–37. ACM Press, New York (1997) ISBN 0-89791-916-5Google Scholar
  4. 4.
    Compaq Computer Corporation.: Compaq Tru64 UNIX Programmers Guide V5.0 (July 1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Jerry J. HarrowJr.
    • 1
  1. 1.Compaq Computer CorporationBusiness Critical Servers GroupNashuaUSA

Personalised recommendations