Visualizing massively multithreaded applications with threadscope

Concurrency and Computation: Practice and Experience

Volumn 22, Issue 1, 2010, Pages 45-67

  Wheeler, Kyle B ^a,b   Thain, Douglas ^b  

^a SANDIA NATIONAL LABORATORIES   (United States)

^b UNIVERSITY OF NOTRE DAME   (United States)

Author keywords

Multithreading; Structure; Visualization

Indexed keywords

APPLICATION PROGRAMS; FLOW VISUALIZATION; GRAPHIC METHODS; STRUCTURE (COMPOSITION);

MEMORY ACCESS PATTERNS; MULTI-THREADED APPLICATION; MULTI-THREADED PROGRAMS; MULTI-THREADING; MULTITHREADED PROGRAMMING; PROGRAMMING ENVIRONMENT; STRUCTURAL PROBLEMS; SYNCHRONIZATION PROBLEM;

MULTICORE PROGRAMMING;

EID: 73149118037     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1469     Document Type: Article

References (37)

1. Chapman B, Jost G, van der Pas R, Kuck DJ. Using OpenMP: Portable Shared Memory Parallel Programming.MIT Press: Cambridge, MA, 2007.
2. Blumofe RD, Joerg CF, Kuszmaul BC, Leiserson CE, Randall KH, Zhou Y. Cilk: An efficient multithreaded runtime system. Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPOPP '95. ACM Press: New York, NY, U.S.A., 1995; 207-216. DOI: 10.1145/209936.209958.
3. Intel Corporation. Intel® Threading Building Blocks (1.10 edn), 2008. Available at: http://softwarecommunity.intel.com/isn/downloads/ softwareproducts/pdfs/301114.pdf.
4. Wheeler K, Murphy R, Thain D. Qthreads: An API for programming with millions of lightweight threads. Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, MTAAP '08. IEEE Computer Society Press: Silver Spring, MD, 2008; 1-8. DOI: 10.1109/IPDPS.2008.4536359.
5. Holzmann GJ. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley: Boston, 2004.
6. Cantrill BM, Shapiro MW, Leventhal AH. Dynamic instrumentation of production systems. Proceedings of the Annual Conference on USENIX Annual Technical Conference, ATEC '04. USENIX Association: Berkeley, CA, U.S.A., 2004; 2.
7. Altherr R, Bois RD, Hammond L, Miller E. Software performance tuning with the Apple CHUD tools. IEEE International Symposium on Workload Characterization 2006; 0: 1. DOI: 10.1109/IISWC.2006.302722.
8. Rodrigues AF, Murphy RC, Kogge P, Underwood KD. The structural simulation toolkit: Exploring novel architectures. Proceedings of the 2006 ACM/IEEE Conference on Supercomputing, SC '06. ACM Press: New York, NY, U.S.A., 2006; 157. DOI: 10.1145.1188455.1188618.
9. Gansner ER, North SC. An open graph visualization system and its applications to software engineering. Software-Practice and Experience 2000; 30(11): 1203-1233. DOI: 10.1002/1097-024X(200009)30: 11<1203:: AID-SPE338>3.3.CO;2-E.
10. Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 1978; 21(7): 558-565. DOI: 10.1145/359545.359563.
11. Nethercote N, Seward J. Valgrind: A framework for heavyweight dynamic binary instrumentation. PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation.ACM: New York, NY, U.S.A., 2007; 89-100. DOI: 10.1145/1250734.1250746.
12. El-Ghazawi T, Smith L. UPC: Unified parallel C. SC '06: Proceedings of the 2006 ACM/IEEE Conference on Supercomputing. ACM: New York, NY, U.S.A., 2006; 27. DOI: 10.1145/1188455.1188483.
13. Heroux M. Mantevo. Available at: http://software.sandia.gov/mantevo/ [1 December 2008].
14. Cytron R, Ferrante J, Rosen BK, Wegman MN, Zadeck FK. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems 1991; 13(4): 451-490. DOI: 10.1145/115372.115320.
15. Pietriga E. ZGRViewer, a GraphViz/dot viewer. Available at: http://zvtm.sourceforge.net/zgrviewer.html [7 April 2009].
16. Coffman EG, Elphick M, Shoshani A. System deadlocks. ACM Computing Surveys 1971; 3(2): 67-78. DOI: 10.1145/356586.356588.
17. Silberschatz A, Galvin PB, Gagne G. Operating System Concepts (6th edn). Wiley: New York, 2003.
18. Skillicorn DB, Hill JMD, McColl WF. Questions and answers about BSP. Scientific Programming 1997; 6(3): 249-274.
19. Fortune S, Wyllie J. Parallelism in random access machines. Proceedings of the 10th Annual ACM Symposium on Theory of Computing, San Diego, CA, 1978; 114-118. DOI: 10.1145/800133.804339
20. Ahuja S, Carriero N, Gelernter D. Linda and friends. Computer 1986; 19(8): 26-34. DOI: 10.1109/MC.1986.1663305.
21. Morrison JP. Data responsive modular, interleaved task programming system. Technical Disclosure Bulletin S, IBM, January 1971.
22. Frank EE, Aydt RA. The PABLO performance visualization system functional specification. Department of Computer Science, University of Illinois, February 1995.
23. Malony AD, Reed DA. Visualizing Parallel Computer System Performance. ACM: New York, NY, U.S.A., 1989; 59-90. DOI: 10.1145/75705.75709.
24. Bedy M, Carr S, Huang X, Shene CK. A visualization system for multithreaded programming. SIGCSE '00: Proceedings of the Thirty-First SIGCSE Technical Symposium on Computer Science Education. ACM: New York, NY, U.S.A., 2000; 1-5. DOI: 10.1145/330908.331798.
25. Zhao QA, Stasko JT. Visualizing the execution of threads-based parallel programs. Technical Report GIT-GVU-95-01, Graphics, Visualization, and Usability Center, Georgia Institute of Technology, Atlanta, GA, January 1995.
26. Stasko JT. The PARADE environment for visualizing parallel program executions: A progress report. Technical Report GIT-GVU-95-03, Georgia Institute of Technology, 1995.
27. Berthold J, Loogen R. Visualizing parallel functional program runs: Case studies with the eden trace viewer. Parallel Computing: Architectures, Algorithms and Applications (John von Neumann Institute for Computing). Georgia Institute of Technology: Atlanta, GA, 2007; 121-128.
28. Kergommeaux JCD, Stein BDO, Martin MS. Paje: An extensible environment for visualizing multi-threaded program executions. Proceedings of Euro-Par 2000. Springer: Berlin, 2000; 133-144.
29. Galilée F, Roch JL, Cavalheiro GGH, Doreille M. Athapascan-1: On-line building data flow graph in a parallel language. Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, PACT '98. IEEE Computer Society Press: Washington, DC, U.S.A., 1998; 88.
30. Heath MT, Finger JE. ParaGraph: A tool for visualizing performance of parallel programs. Technical Report, Oak Ridge National Laboratory, 1995.
31. Linden LB. Parallel program visualization using ParVis. Parallel Computer Systems: Performance Instrumentation and Visualization. ACM Press: New York, 1990; 157-187. DOI: 10.1145/100215.100265.
32. LeBlanc TJ, Mellor-Crummey JM, Fowler RJ. Analyzing parallel program executions using multiple views. Journal of Parallel and Distributed Computing 1990; 9(2): 203-217. DOI: 10.1016/0743-7315(90)90046-R.
33. Nagel WE, Arnold A, Weber M, Solchenbach K. VAMPIR: Visualization and analysis of MPI resources. Supercomputer 1996; 12(1): 69-80.
34. Software I. Rational purify. Available at: http://www.ibm.com/software/ awdtools/purify/ [7 April 2009].
35. Jannesari A, Tichy WF. On-the-fly race detection in multi-threaded programs. PADTAD '08: Proceedings of the Sixth Workshop on Parallel and Distributed Systems. ACM: New York, NY, U.S.A., 2008; 1-10. DOI: 10.1145/1390841.1390847.
36. Intel Corporation. Intel thread checker. Available at: http://www.intel.com/support/performancetools/threadchecker/ [7 April 2009].
37. Sagiv M, Reps T, Wilhelm R. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems 2002; 24(3): 217-298. DOI: 10.1145/514188.514190.