Event and state-based debugging in TAU

Shende, Sameer; Cuny, Janice E.; Hansen, Lars T.; Kundu, Joydip; McLaughry, S.W.; Wolf, Odile

doi:10.1145/238020.238030

Cited by 13 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The idea of using patterns to assist debug, has been previously proposed in [8] and [9] for debugging parallel programs and have been used for SystemC debugging in [10]. We have used the debug pattern concept to introduce a new language that is suitable for specification of debug patterns for communications.…”

Section: Related Workmentioning

confidence: 99%

Transaction-based debugging of system-on-chips with patterns

Gharehbaghi

Fujita

2009

2009 IEEE International Conference on Computer Design

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Transaction-based debugging of system-on-chips with patterns

Gharehbaghi

Fujita

2009

2009 IEEE International Conference on Computer Design

View full text Add to dashboard Cite

“…Again, T provides a good example of this feature because tools i i can evoke integrated behavior via synchronized, communicated actions (Brown et al, 1994). Often, the need for interoperability also necessitates extension of the archi-z tecture infrastructure, as in the case of T's program and interaction control infrastructure (Shende et al, 1996).…”

Section: Technology For Domain-specific Environmentsmentioning

confidence: 99%

Building Domain-Specific Environments for Computational Science: a Case Study in Seismic Tomography

Cuny

Dunn

Hackstadt

et al. 1997

The International Journal of Supercomputer Applications and Hig

View full text Add to dashboard Cite

We report on our experiences in building a computational environment for tomographic image analysis for marine seismologists studying the structure and evolution of midocean ridge volcanism. The computational environment is determined by an evolving set of requirements for this problem domain and includes needs for high performance parallel computing, large data analysis, model visualization, and computation interaction and control. Although these needs are not unique in scientific computing, the integration of techniques for seismic tomography with tools for parallel computing and data analysis into a computational environment was (and continues to be) an interesting, important learning experience for researchers in both disciplines. For the geologists, the use of the environment led to fundamental geologic discoveries on the East Pacific Rise, the improvement of parallel ray-tracing algorithms, and a better regard for the use of computational steering in aiding model convergence. The computer scientists received valuable feedback on the use of programming, analysis, and visualization tools in the environment. In particular, the tools for parallel program data query (DAQV) and visualization programming (Viz) were demonstrated to be highly adaptable to the problem domain. We discuss the requirements and the components of the environment in detail. Both accomplishments and limitations of our work are presented.

show abstract

“…The approach closest to our ideas is that of pattern-oriented parallel debugging pioneered by the program analysis tool Belvedere [5]. This approach was included and extended by the post-mortem event-based debugger Ariadne [2], and later applied in the TAU program analysis environment [11]. Ariadne matches user-specified models of intended program behavior against actual program behavior captured in event traces.…”

Section: Introductionmentioning

confidence: 99%

Integrating Temporal Assertions into a Parallel Debugger

Kovács¹,

Kusper²,

Lovas³

et al. 2002

Euro-Par 2002 Parallel Processing

View full text Add to dashboard Cite

We describe the use of temporal logic formulas as runtime assertions in a parallel debugging environment. The user asserts in a message passing program the expected system behavior by one or several such formulas. The debugger allows by "macro-stepping" to interactively elaborate the execution tree (i.e., the set of possible execution paths) which arises from the use of non-deterministic communication operations. In each macro-step, a temporal logic checker verifies that the once asserted temporal formulas are not violated by the current program state. Our approach thus introduces powerful runtime assertions into parallel and distributed debugging by incorporating ideas from the model checking of temporal formulas.

show abstract

Event and state-based debugging in TAU

Cited by 13 publications

References 7 publications

Transaction-based debugging of system-on-chips with patterns

Transaction-based debugging of system-on-chips with patterns

Building Domain-Specific Environments for Computational Science: a Case Study in Seismic Tomography

Integrating Temporal Assertions into a Parallel Debugger

Contact Info

Product

Resources

About