Reasoning about non-functional properties using compiler intrinsic function annotations

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

Reasoning about non-functional properties using compiler intrinsic function annotations

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

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

19 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 language	English
Title of host publication	Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing
Publisher	INP ENSEEIHT/IRIT
Pages	25-28
Number of pages	4
Publication status	Published - 6 Nov 2019
Event	13th Junior Researcher Workshop on Real-Time Computing. JRWRTC - Toulouse, France Duration: 6 Nov 2019 → 8 Nov 2019 Conference number: 13 https://www.irit.fr/rtns2019/jrwrtc/

Workshop

Workshop	13th Junior Researcher Workshop on Real-Time Computing. JRWRTC
Abbreviated title	JRWRTC
Country/Territory	France
City	Toulouse
Period	6/11/19 → 8/11/19
Internet address	https://www.irit.fr/rtns2019/jrwrtc/

Access to Document

JRWRTC2019_paper_5
Copyright © 2019 the Author(s). This work has been made available online in accordance with publisher policies or with permission. Permission for further reuse of this content should be sought from the publisher or the rights holder. This is the author created accepted manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at https://www.irit.fr/rtns2019/jrwrtc/rtns_junior_workshop/
Accepted author manuscript, 159 KB

Cite this

@inproceedings{5f6f1b77bf1e472a9820be5f84d99e31,

title = "Reasoning about non-functional properties using compiler intrinsic function annotations",

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{\textquoteright}s potential to perform ILP-based optimizations.",

author = "Shashank Jadhav and Mikko Roth and Heiko Falk and Brown, {Christopher Mark} and Barwell, {Adam David}",

note = "Funding: European Union{\textquoteright}s Horizon 2020 research and innovation programme under grant agreement No 779882.; 13th Junior Researcher Workshop on Real-Time Computing. JRWRTC, JRWRTC ; Conference date: 06-11-2019 Through 08-11-2019",

year = "2019",

month = nov,

day = "6",

language = "English",

pages = "25--28",

booktitle = "Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing",

publisher = "INP ENSEEIHT/IRIT",

url = "https://www.irit.fr/rtns2019/jrwrtc/",

}

TY - GEN

T1 - Reasoning about non-functional properties using compiler intrinsic function annotations

AU - Jadhav, Shashank

AU - Roth, Mikko

AU - Falk, Heiko

AU - Brown, Christopher Mark

AU - Barwell, Adam David

N1 - Conference code: 13

PY - 2019/11/6

Y1 - 2019/11/6

N2 - 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.

AB - 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.

UR - https://www.irit.fr/rtns2019/jrwrtc/rtns_junior_workshop/

M3 - Conference contribution

SP - 25

EP - 28

BT - Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing

PB - INP ENSEEIHT/IRIT

T2 - 13th Junior Researcher Workshop on Real-Time Computing. JRWRTC

Y2 - 6 November 2019 through 8 November 2019

ER -

Reasoning about non-functional properties using compiler intrinsic function annotations

Abstract

Workshop

Access to Document

Other files and links

Fingerprint

TeamPlay: H2020 ICT-5 Teamplay

Cite this

Reasoning about non-functional properties using compiler intrinsic function annotations

Abstract

Workshop

Access to Document

Other files and links

Fingerprint

Projects

TeamPlay: H2020 ICT-5 Teamplay

Cite this