Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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-6
Dijkstra, E.W.: Co-operating Sequential Processes. In: Genuys, F. (ed.) Programming Languages. Academic Press, London (1965)
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-5
Compaq Computer Corporation.: Compaq Tru64 UNIX Programmers Guide V5.0 (July 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harrow, J.J. (2000). Runtime Checking of Multithreaded Applications with Visual Threads. In: Havelund, K., Penix, J., Visser, W. (eds) SPIN Model Checking and Software Verification. SPIN 2000. Lecture Notes in Computer Science, vol 1885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722468_20
Download citation
DOI: https://doi.org/10.1007/10722468_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41030-0
Online ISBN: 978-3-540-45297-3
eBook Packages: Springer Book Archive