The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1991 vol.17)
pp: 45-63
ABSTRACT
<p>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.</p>
INDEX TERMS
synchronisation sequences; concurrent Ada programs; deterministic execution debugging; Ada language constructs; SYN-sequences; sufficient information; previous executions; transformation; program execution; tools; Ada; parallel programming; program debugging
CITATION
K.-C. Tai, R.H. Carver, E.E. Obaid, "Debugging Concurrent Ada Programs by Deterministic Execution", IEEE Transactions on Software Engineering, vol.17, no. 1, pp. 45-63, January 1991, doi:10.1109/32.67578
35 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool