High-level debugging of distributed systems: The behavioral abstraction approach

doi:10.1016/0164-1212(83)90011-0

Journal of Systems and Software

Volume 3, Issue 4, December 1983, Pages 255-264

https://doi.org/10.1016/0164-1212(83)90011-0 Get rights and content

Abstract

Most extant debugging aids force their users to think about errors in programs from a low-level, unit-at-a-time perspective. Such a perspective is inadequate for debugging large complex systems, particularly distributed systems. In this paper, we present a high-level approach to debugging that offers an alternative to the traditional techniques. We describe a language, edl, developed to support this high-level approach to debugging and outline a set of tools that has been constructed to effect this approach. The paper includes an example illustrating the approach and discusses a number of problems encountered while developing these debugging tools.

References (16)

W.E. Riddle
An Approach to Software System Behavior Description
E.H. Satterthwaite
Source Language Debugging Tools
D. Van Tassel
Program Style, Design, Efficiency, Debugging and Testing
(1978)
D.R. McGregor et al.
STABDUMP — A Dump Interpreter Program to Assist Debugging
P.H. Enslow
What is a ‘Distributed’ Data Processing System
IEEE Computer
(1978)
V.R. Lesser et al.
Functionally Accurate, Cooperative Distributed Systems
IEEE Trans. Systems, Man and Cybernetics
(1981)
P.C. Bates et al.
edl: A Basis For Distributed System Debugging Tools

There are more references available in the full text version of this article.

Cited by (76)

Error detection in large-scale parallel programs with long runtimes
2003, Future Generation Computer Systems
Error detection is an important activity of program development, which is applied to detect incorrect computations or runtime failures of software. The costs of debugging are strongly related to the complexity and the scale of the investigated programs. Both characteristics are especially cumbersome for large-scale parallel programs with long runtimes, which are quite common in computational science and engineering (CSE) applications. A solution is offered by a combination of techniques using the event graph model as a representation of parallel program behaviour. With process isolation, a subset of the original number of processes can be investigated, while the absent processes are simulated by the debugging system. With checkpointing, an arbitrary temporal section of a program’s runtime can be extracted for exhaustive analysis without the need to restart the program from the beginning. Additional benefits of the event graph are support of equivalent execution of nondeterministic programs, as well as a comprehensible visualisation as a space–time diagram.
Specification and Verification of Dynamic Properties in Distributed Computations
1995, Journal of Parallel and Distributed Computing
The ability to specify and verify dynamic properties of computations is essential for ascertaining the correctness of distributed applications. In this paper, we consider properties that can be encoded as general Boolean predicates over global system states. We introduce two global predicate classes called simple sequences and interval-constrained sequences for specifying desirable states in some causality-preserving order along with intervening undesired states. Our formalism is simpler than more traditional proposals and permits concise and intuitive expression of many interesting system properties. Algorithms are given for verifying formulas belonging to these predicate classes in an on-line and observer-independent manner during distributed computations. We illustrate the utility of our results by applying them to examples drawn from program testing, debugging, and dynamic reconfiguration in distributed systems.
Debugging multi-agent systems
1995, Information and Software Technology
Development of multi-agent systems is a complex process during which use of adequate development tools is essential. This paper focuses on debugging of multi-agent systems. A survey of existing multi-agent systems development tools is presented first. Subsequently a new tool is introduced, based on the innovative approach of the developer's conceptual models. These are multiple complementary abstractions of the multi-agent system concentrating on specific aspects of the system. In relation to these abstractions, several system views are defined that allow a graphical representation of the selected aspects of the system state and its dynamic behaviour. It is argued that these views support effectively understanding of system behaviour and thus efficient debugging. Examples of an implementation of this approach in the frame of the Esprit Project ARCHON are also discussed.
Log Discovery for Troubleshooting Open Distributed Systems with TLQ
2020, ACM International Conference Proceeding Series
Software quality in the era of big data, iot and smart cities
2020, EAI/Springer Innovations in Communication and Computing
IDEA: An immersive debugger for actors
2018, Erlang 2018 - Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2018

View all citing articles on Scopus

^∗: Supported in part by the National Science Foundation under Grant MCS-8006327 and by the Defense Advanced Research Projects Agency (DOD), monitored by the Office of Naval Research under Contract NR049-041.

^∗∗: Supported in part by the National Aeronautics and Space Administration under grant NAG1-115.

View full text

High-level debugging of distributed systems: The behavioral abstraction approach

Abstract

Source Language Debugging Tools

Program Style, Design, Efficiency, Debugging and Testing

STABDUMP — A Dump Interpreter Program to Assist Debugging

What is a ‘Distributed’ Data Processing System

IEEE Computer

Functionally Accurate, Cooperative Distributed Systems

IEEE Trans. Systems, Man and Cybernetics

edl: A Basis For Distributed System Debugging Tools