Observation and Control for Debugging Distributed Computations
نویسنده
چکیده
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions I present the main ideas required for developing e cient algorithms for observation Algorithms for control are useful in debugging to restrict the behavior of the distributed program to suspicious executions It is also useful when a programmer wants to test a distributed program under certain conditions I present di erent models and their limitations for controlling distributed computations
منابع مشابه
Debugging in a Distributed World: Observation and Control
Debugging distributed programs is considerably more difficult than debugging sequential programs. We address issues in debugging distributed programs and provide a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Observing distributed computations involves solving the predicate detection problem. We present the main ideas i...
متن کاملPredicate Control for Active Debugging of Distributed Programs
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach to debugging such systems. The predicate control approach involves a cycle of observation followed by controlled replaying of computations, based on observation. We formalize the predicate control problem for both offli...
متن کاملAadebug'97 Linköping Electronic Articles in Computer and Information Science Recommended Citation Preface Run-time Checking and Debugging Optimized Code Program Slicing and Software Testing the Design of a Test Case Definition Language Observation and Control for Debugging Distributed Computations
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging Algorithms for observation are useful in distributed debugging to stop a distributed program under certain undesirable global conditions I present the main ideas required for developing e cient algorithms for observation Algorithms for control are useful in debuggi...
متن کاملDynamical Control of Computations Using the Family of Optimal Two-point Methods to Solve Nonlinear Equations
One of the considerable discussions for solving the nonlinear equations is to find the optimal iteration, and to use a proper termination criterion which is able to obtain a high accuracy for the numerical solution. In this paper, for a certain class of the family of optimal two-point methods, we propose a new scheme based on the stochastic arithmetic to find the optimal number of iterations in...
متن کاملObservation of Global Properties in Distributed Systems
Observation of global properties of a distributed program is required in many applications such as debugging of programs and fault-tolerance in distributed systems. I present a survey of algorithms for observing various classes of global properties. These properties include those possibly true in a computation, definitely true in a computation and those based on the control flow structure of th...
متن کامل