Journal Article10.1002/SPE.4380151105
A debugger for message-based processes
28
TL;DR: A debugger of message‐based, communicating processes is described, designed to reduce the apparent complexity of large systems of communicating programs by regarding only the interprocess activities of such programs.
read more
Abstract: This paper describes a debugger of message-based, communicating processes. This debugger is designed to reduce the apparent complexity of large systems of communicating programs by regarding only the interprocess activities of such programs. The debugger provides users with information about how sets of processes behave rather than what each program associated with each process does. It also provides various primitives for manipulating the interprocess activities of processes. In order to concentrate on just those operations pertinent to multi-process debugging, the debugger provides no ability to access the source code of any program. Our system includes a user-interface program, a mechanism to fire and execute interprocess debugging demons and a mechanism to obtain transcripts of interprocess activities. The user interface executes commands for the user at a terminal for creating and manipulating individual interprocess events. Demons are an event-driven mechanism used to automatically monitor and modify interprocess events. Transcripts provide a record of interprocess events executed for a process that can be replayed later. We make use of these tools to provide individual process control, communication monitoring and process testing.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A dataflow approach to event-based debugging
TL;DR: This paper describes a novel approach to event‐based debugging based on a (coarsegrained) dataflow view of events that allows arbitrary debugger language commands to be executed when attempting to form higher‐level events.
76
A distributed debugger for Amoeba
I. J. P. Elshoff
- 01 Jan 1988
TL;DR: The Amoeba debugger as mentioned in this paper integrates many facilities found in other debuggers, such as execution replay, breakpointing, and an event-based view of the target program.
51
A distributed debugger for Amoeba
I. J. P. Elshoff
- 01 Nov 1988
TL;DR: The influence of Amoeba's architecture on the attainability of the goals and the desired functionality of the debugger is discussed, including how to deal with timeouts and interactions between the target program and its environment.
Interactive blackbox debugging for concurrent languages
Germán S. Goldszmidt,Shmuel Katz,Shaula Yemini +2 more
- 01 Nov 1988
TL;DR: A novel approach to the design of portable integrated debugging tools for concurrent languages by partitioning the tools set into two categories and the implementation of a prototype debugging facility for OCCAM is described.
37
High-level language debugging for concurrent programs
TL;DR: An integrated system design for debugging distributed programs written in concurrent high-level languages is described, and the implementation of a debugging facility for OCCAM is described.
34
References
Task communication in DEMOS
Forest Baskett,John H. Howard,John T. Montague +2 more
- 01 Nov 1977
TL;DR: The link based message and data sharing system is an attractive alternative to the semaphore or monitor type of shared variable based operating system on machines with only very simple memory protection mechanisms or on machines connected together in a network.
An Inter-Process Communication Facility for UNIX
Richard F. Rashid
- 01 Jan 1980
TL;DR: An inter-process communication facility implemented at Carnegie-Mellon University for VAX/UNIX version seven is described, designed to provided language, operating system and machine independent communication between processes performing distributed computations.
50
Uniform interfaces for distributed systems
Keith Allen Lantz
- 01 Jan 1980
TL;DR: The purpose of this thesis is to present certain mechanisms and paradigms for building distributed systems with uniform interfaces and mechanisms for resource management which are well suited to a distributed environment.
Debugging techniques for communicating, loosely-coupled processes
Edward Tucker Smith
- 01 Jan 1982
TL;DR: This thesis describes work done on debugging techniques and tools for communicating, loosely-coupled processes to reduce the apparent complexity of large systems of communicating programs by regarding only the interprocess activities of such programs.
22
An overview of the ISPL computer systems design
TL;DR: This paper explores the advantages of the concurrent design of the language, operating system, and machine (via microcode) to create an interactive programming laboratory and suggested an important new concept for operating systems: separation of the scheduling from the maintenance functions in resource allocation.
15