A Unified Model for Concurrent Debugging

13 years 8 months ago

Download www.cs.utexas.edu

: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simpliﬁes the problem of concurrent debugging. Occurrence instances of actions provide a debugger with a unique identiﬁer for each event. These identiﬁers help the debugger in recording the event orderings. The recorded orderings indicate much more than a mere temporal order. They indicate the dependences that “cause” the actions to execute. A debugger can, then, collect the dependence information from the orderings of different instances of the same action, and deduce the conditions that govern the execution of the action. This provides a framework for representing and checking the expected behavior. Unlike existing approaches, we cover all parts of the debugging cycle. Our uniﬁed model, therefore, allows a single debugger to support different debugging facilities like execution replay, race detection, assertion/model checking, execution histo...

S. I. Hyder, John Werth, James C. Browne

Real-time Traffic