TIE: An Interactive Visualization of Thread Interleavings*

by Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins

*SoftVis’10 Best Poster Award.


Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent programs is difficult due to the many different ways threads can interleave. One solution to testing concurrent software is to use tools, such as NASA’s Java PathFinder (JPF), to explore the thread interleaving space. Although tools such as JPF provide comprehensive data about program errors, the data is generally in the form of bulk text logs, which provide little support for common analysis tasks, such as finding common and rare error states. In this paper, we present an interactive visualization tool, TIE, that integrates with JPF to enhance concurrency testing and debugging.

Bibliographic Information [Bibtex format]

Author = {Gowritharan Maheswara and Jeremy S. Bradbury and Christopher Collins},
Title = {{TIE}: An Interactive Visualization of Thread Interleavings},
Booktitle = {Proc. of the 5th ACM Symposium on Software Visualization (SoftVis'10)},
Month = {Oct.},
Year = {2010},
Pages = {215--216}}

Paper: [PDF]   Poster: [PDF]   Software: [GitHub]

Demo Video