Options
Reasoning about non-functional properties using compiler intrinsic function annotations
Citation Link: https://doi.org/10.15480/882.2545
Publikationstyp
Research Report
Date Issued
2019-11
Sprache
English
Institut
TORE-DOI
TORE-URI
Start Page
25
End Page
28
Citation
13th Junior Researcher Workshop on Real-Time Computing, (JRWRTC) 2019
Contribution to Conference
Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embedded 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 argue about 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.
In this paper, we describe a Resource-usage Estimate Expression Language (REEL), which allows the user to argue about 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.
Subjects
Compilation
Annotations
Non-functional Properties
Function Inlining
DDC Class
600: Technik
Loading...
Name
main.pdf
Size
158.77 KB
Format
Adobe PDF