Journal Article10.1002/SPE.4380221005
Monitoring and debugging distributed real-time programs
85
TL;DR: This paper describes how the monitor can be used to debug distributed and parallel applications by deterministic execution replay and presents a novel approach to monitoring shared variable references that provides transparent monitoring with low overhead.
read more
Abstract: In this paper we describe the design and implementation of an integrated monitoring and debugging system for a distributed real-time computer system. The monitor provides continuous, transparent monitoring capabilities throughout a real-time system's lifecycle with bounded, minimal, predictable interference by using software support. The monitor is flexible enough to observe both high-level events that are operating system- and application-specific, as well as low-level events such as shared variable references. We present a novel approach to monitoring shared variable references that provides transparent monitoring with low overhead. The monitor is designed to support tasks such as debugging realtime applications, aiding real-time task scheduling, and measuring system performance. Since debugging distributed real-time applications is particularly difficult, we describe how the monitor can be used to debug distributed and parallel applications by deterministic execution replay.
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
•Book
Real-Time Systems: Scheduling, Analysis, and Verification
Albert M. K. Cheng
- 12 Aug 2002
TL;DR: Real-Time Systems: Scheduling, Analysis, and Verification provides a substantial, up-to-date overview of the verification and validation process of real-time systems.
238
Replay for concurrent non-deterministic shared-memory applications
Mark Russinovich,Bryce Cogswell +1 more
- 01 May 1996
TL;DR: An algorithm is presented, called the repeatable scheduling algorithm, combining scheduling and instruction counts to provide an invariant for efficient, language independent replay of concurrent shared-memory applications, shown to have trace overheads that are independent of the amount of sharing that takes place.
126
Efficient Run-time Monitoring Of Timing Constraints
A.K. Mok,Guangtian Liu +1 more
- 09 Jun 1997
TL;DR: This paper presents an approach for monitoring timing constraints in real-time systems which is based on a simple and expressive specification method for defining the timing constraints to be monitored.
Monitoring Distributed Real-Time Systems: A Survey and Future Directions
Alwyn Goodloe,Lee Pike +1 more
- 01 Jul 2010
TL;DR: This report addresses runtime monitors for distributed hard real-time systems, which has had little attention from the monitoring community and surveys related work in the field of runtime monitoring.
Monitoring, Testing and Debugging of Distributed Real-Time Systems
Henrik Thane
- 01 Jan 2000
TL;DR: This work states that for safety-critical computer based systems, testing is an important part of any software development project, and can typically surpass more than half of the development cost.
References
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this paper, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
Addressing, routing, and broadcasting in hexagonal mesh multiprocessors
TL;DR: An elegant, distributed routing scheme is developed for wrapped H-meshes so that each node in an H-mesh can compute shortest paths from itself to any other node with a straightforward algorithm of O(1) using the addresses of the source-destination pair only, independent of the network's size.
224
•Book
Debugging concurrent Ada programs by deterministic execution
Kuo-Chung Tai,Richard H. Carver,Evelyn E. Obaid +2 more
- 01 Mar 1995
TL;DR: A language-based approach to deterministic execution debugging of concurrent Ada programs is presented to define synchronization (SYN)-sequences of a concurrent Ada program in terms of Ada language constructs and to replay such SYN-sequences without the need for system-dependent debugging tools.
159
Debugging concurrent Ada programs by deterministic execution
TL;DR: In this article, a language-based approach to deterministic execution debugging of concurrent Ada programs is presented, where synchronization (SYN)-sequences of a concurrent Ada program in terms of Ada language constructs are defined without the need for system-dependent debugging tools.
135
Related Papers (5)
John Mellor-Crummey,Thomas J. LeBlanc +1 more
- 01 Apr 1989