University of Hertfordshire

By the same authors

Transformation of path information for WCET analysis during compilation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Documents

  • 905624

    Accepted author manuscript, 209 KB, PDF document

View graph of relations
Original languageEnglish
Title of host publicationIn: Procs of 13th Euromicro Conference on Real-Time Systems
PublisherIEEE
Pages29-36
Number of pages8
ISBN (Print)0-7695-1221-6
DOIs
Publication statusPublished - 2001
Event13th Euromicro Conference on Real-Time Systems - DELFT
Duration: 13 Jun 200115 Jun 2001

Conference

Conference13th Euromicro Conference on Real-Time Systems
CityDELFT
Period13/06/0115/06/01

Abstract

Performing worst-case execution time (WCET) analysis on machine code with program path annotation provided at high-level source code level requires the transformation of path annotations from the source-code level to assembly/object-code level. This path-information transformation can be done outside or integrated into the compiler during code compilation. The first approach is easier to implement but lacks for the support of strong code optimizations performed by the compiler because the external tool would have to make guesses about optimizations. In this paper we present an approach for the program code compilation that integrates the transformation of program path information into the compiler. Path information is transformed through all compiler stages to the adequate path information for the corresponding assembly code level. The WCET analysis tool processes the program at assembly code level with the correctly transformed program-path information to obtain accurate runtime bounds. Several experiments were performed to demonstrate the importance of supporting the transformation of path-information in aggressively optimizing compilers.

Notes

“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”

ID: 324040