Issue No. 01 - January (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.67578
<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>
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
K. Tai, E. Obaid and R. Carver, "Debugging Concurrent Ada Programs by Deterministic Execution," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 45-63, 1991.