Reasoning about non-functional properties using compiler intrinsic function annotations

Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Mark Brown, Adam David Barwell

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

7 Downloads (Pure)

Abstract

Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embed-ded systems, the interest in evaluating and optimizing non-functional properties like execution time and energy of these systems is increasing.

In this paper, we describe a Resource-usage Estimate Expression Language (REEL), which allows the user to arguea bout these properties, within the source code, in a compiler understandable manner. Furthermore, we discuss the integration of REEL within a compiler framework. We, also show the propagation of REEL annotations within the compiler, and how they can be exploited to make decisions based on the non-functional properties within the source code. Finally, we explore REEL’s potential to perform ILP-based optimizations.
Original languageEnglish
Title of host publicationProceedings of the 13th Junior Researcher Workshop on Real-Time Computing
PublisherINP ENSEEIHT/IRIT
Pages25-28
Number of pages4
Publication statusPublished - 6 Nov 2019
Event13th Junior Researcher Workshop on Real-Time Computing. JRWRTC - Toulouse, France
Duration: 6 Nov 20198 Nov 2019
Conference number: 13
https://www.irit.fr/rtns2019/jrwrtc/

Workshop

Workshop13th Junior Researcher Workshop on Real-Time Computing. JRWRTC
Abbreviated titleJRWRTC
Country/TerritoryFrance
CityToulouse
Period6/11/198/11/19
Internet address

Fingerprint

Dive into the research topics of 'Reasoning about non-functional properties using compiler intrinsic function annotations'. Together they form a unique fingerprint.

Cite this