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
Proceedings of the 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