Deterministic execution debugging of concurrent Ada programs

Author

Tai, K.-C. ; Carver, Richard H. ; Obaid, Evelyn E.

Author_Institution

Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA

fYear

1989

fDate

20-22 Sep 1989

Firstpage

102

Lastpage

109

Abstract

The authors show how to accomplish deterministic execution debugging of a concurrent Ada program according to a given synchronization (SYN) sequence. They first define the format of a SYN sequence of a concurrent Ada program in order to provide sufficient information for deterministic execution. They show how to transform a concurrent Ada program P into a slightly different Ada program P´ so that any execution of P´ with (X,S ) as input, where S is the SYN sequence of a previous execution of P with input X, definitely repeats S . Tools for transforming concurrent Ada programs for deterministic execution debugging are described

Keywords

Ada; parallel programming; program debugging; SYN sequence; concurrent Ada programs; deterministic execution debugging; synchronisation sequence; Computer science; Error correction; Life testing; Mathematics; Sequential analysis; Software debugging; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1989. COMPSAC 89., Proceedings of the 13th Annual International

Conference_Location

Orlando, FL

Print_ISBN

0-8186-1964-3

Type

conf

DOI

10.1109/CMPSAC.1989.65064

Filename

65064

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2023356