#Number
TR-PDS-1994-014

#Title
Online Detection of Distributed Predicates in Distributed Programs

#Author
Greg M. Hoagland

#Abstract
This thesis presents an online debugger for detecting distributed
predicates in a distributed program and an environment for creating
event-driven distributed programs that can be debugged by our online
debugger.  Detecting predicates in a distributed program is a
difficult problem because the global state is divided among the
processors in the distributed system.  Also, some of the predicates
that are well-defined for a sequential program are ill-defined for a
distributed program.  We use a special logic for defining the syntax
and semantics of distributed predicates.  Our debugger implements a
set of distributed algorithms that is able to detect online a subset
of these predicates in a distributed program.  Once a predicate is
detected the distributed computation can be halted in a global state
where the predicate is true.  The debugger has been developed using C
on a Sun3/80 under SunOs4.0.

#Bib
@MastersThesis{Hoagland:MS,
    author      = {Greg M. Hoagland},
    title       = {Online Detection of Distributed Predicates 
                    in Distributed Programs),
    school      = {University of Texas at Austin, 
                    Dept. of Electrical and Computer Engineering},
    address     = {Austin, TX},
    month       = aug,
    year        = 1991
}