Open AccessBook
Debugging concurrent Ada programs by deterministic execution
Kuo-Chung Tai,Richard H. Carver,Evelyn E. Obaid +2 more
- 01 Mar 1995
- pp 283-300
159
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.
read more
Abstract: A language-based approach to deterministic execution debugging of concurrent Ada programs is presented. The approach is 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. It is shown how to define a SYN-sequence of a concurrent Ada program in order to provide sufficient information for deterministic execution. It is also shown how to transform a concurrent Ada program P so that the SYN-sequences of previous executions of P can be replayed. This transformation adds an Ada task to P that controls program execution by synchronizing with the original tasks in P. A brief description is given of the implementation of tools supporting deterministic execution debugging of concurrent Ada programs. >
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
Structural testing of concurrent programs
TL;DR: The authors extend the notion of structural testing criteria to concurrent programs and propose a hierarchy of supporting structural testing techniques, suitable for Ada or CSP-like languages.
237
Optimal tracing and replay for debugging shared-memory parallel programs
Robert H. B. Netzer
- 01 Dec 1993
TL;DR: This work presents an adaptive tracing strategy that is optimal and records the minimal number of shared-memory references required to exactly replay executions and makes runtime tracing decisions by detecting and tracing a certain type of race condition on-the-fly.
189
A requirements monitoring framework for enterprise systems
TL;DR: The approach implemented in the framework, called ReqMon, provides real-time feedback on requirements satisfaction, and thereby provides visibility into requirements compliance of enterprise information systems.
172
Replay and testing for concurrent programs
R.H. Carver,K.-C. Tai +1 more
TL;DR: The purpose of deterministic execution debugging to to replay executions of a concurrent program so that debugging information can be collected and the process of designing replay tubes is described.
151
Monitoring Web service requirements
William N. Robinson
- 08 Sep 2003
TL;DR: The framework, and tool, provides an important contribution by demonstrating how distributed concurrent Web service transactions can be monitored at the requirements level by automatically deriving Web service monitors from high-level requirements descriptions.
148
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.
Toward a discipline of real-time programming
TL;DR: A possible discipline is outlined and expressed in terms of the language Modula, which may be the only practical way to make real-time systems analytically verifiable and ultimately reliable.
211
•Book
A noninvasive architecture to monitor real-time distributed systems
Jeffrey J. P. Tsai,K.-Y. Fang,H.-Y. Chen +2 more
- 01 Mar 1995
TL;DR: The authors describe the hardware architecture, operation and implementation of the noninvasive monitoring system which consists of two major components: the interface module and the development module, and describes their approach to monitoring.
108
Reproducible testing of monitors
TL;DR: A systematic method for testing monitor modules which control process interactions in concurrent programs, which has been successfully used to test a multicomputer network program written in Concurrent Pascal.
Related Papers (5)
R.H. Carver,K.-C. Tai +1 more
Mark Russinovich,Bryce Cogswell +1 more
- 01 May 1996