Abstract

This paper presents ParaMeter, an interactive program analysis and visualization system for large traces. Using ParaMeter, a software developer can locate and analyze regions of code that may yield to parallelization efforts and to possibly extract performance from multicore hardware. The key contributions in the paper are (1) a method to use interactive visualization of traces to find and exploit parallelism, (2) interactive-speed visualization of large-scale trace dependencies, (3) interactive-speed visualization of code interactions, and (4) a BDD variable ordering for BDD-compressed traces that results in fast visualization, fast analysis, and good compression. ParaMeter’s effectiveness is demonstrated by finding and exploiting parallelism in 175.vpr. Measurements of ParaMeter’s visualization algorithms show that they are up to seventy-five thousand times faster than prior approaches. 1.

Citations

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
386	Dynamic Variable Ordering for Ordered Binary Decision Diagrams - Rudell - 1993
339	Limits of Instruction-Level Parallelism - Wall - 1991
218	Limits of control flow on parallelism - Lam, Wilson - 1992
194	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams - Whaley, Lam - 2004
151	Whole program paths - Larus - 1999
103	VIS: A System for Verification and Synthesis - Brayton, Hachtel, et al. - 1996
83	Dynamic dependency analysis of ordinary programs - Austin, Sohi - 1992
69	Master/Slave Speculative Parallelization - Zilles, Sohi - 2002
60	Precise Dynamic Slicing Algorithms - Zhang, Zhang - 2003
59	Automatic Thread Extraction with Decoupled Software Pipelining - Ottoni, Rangan, et al. - 2005
53	CUDD: Colorado University Decision Diagram Package. ftp://vlsi.colorado.edu/pub - Somenzi - 1996
46	Decoupled Software Pipelining with the Synchronization Array - Rangan, Vachharajani, et al. - 2004
30	Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams - XY, Gupta, et al. - 2004
21	FastForward for Efficient Pipeline Parallelism: A Cache-optimized Concurrent Lockfree Queue - Giacomoni, Moseley, et al. - 2008
18	Performance Limits of Trace Caches - Tyson, G, et al. - 1999
13	Automatic generation of high-performance trace compressors - Burtscher, Sam - 2005
8	Multicores from the compiler’s perspective: A blessing or a curse - Amarasinghe - 2005
8	Chip multi-processor scalability for single-threaded applications - Vachharajani, Iyer, et al. - 2005
7	Variable Ordering for Binary Decision Diagrams", EDAC-92 - Jeong, Plessier, et al. - 1992
5	A case for compressing traces with BDDs - Price, Vachharajani
4	Finding parallelism for future EPIC machines - IYER, ASHOK, et al. - 2005
3	Design of experiments in bdd variable ordering:lessons learned - H, BRGLEZ - 1998