Abstract: "A timing tool has been implemented for a subset of C, as an initial experiment in validating a methodology for predicting the deterministic execution times of programs. The tool is based on formal timing schema that are defined for each source level construct (procedures, statements,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Park, ChangYun (VerfasserIn), Shaw, Alan C. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Seattle, Wash. 1989
Schriftenreihe:	University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report 89,9,12
Schlagworte:	C (Computer program language) Computer programs > Validation
Zusammenfassung:	Abstract: "A timing tool has been implemented for a subset of C, as an initial experiment in validating a methodology for predicting the deterministic execution times of programs. The tool is based on formal timing schema that are defined for each source level construct (procedures, statements, expressions). The tool accepts a program and bounds for each loop, and produces predictions for best and worst case execution times. Within the constraints of the target architecture and compiler, measured execution times for a variety of simple constructs and programs agree with times predicted by our tool The implementation decomposes naturally into a system-independent part, which we believe is determined by the 'timing semantics' of the language, and a lower-level system-dependent portion. The experiments validate our general timing schema approach, but also point out a number of problems and necessary refinements, for example, in defining the appropriate granularity for atomic elements, in accounting for program flow more explicitly, and in dealing with the nondeterminisms of contemporary machines.
Beschreibung:	22 S.