Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.2545
Title: Reasoning about non-functional properties using compiler intrinsic function annotations
Language: English
Authors: Jadhav, Shashank  
Roth, Mikko Julian  
Falk, Heiko  
Brown, Chris 
Barwell, Adam 
Keywords: Compilation;Annotations;Non-functional Properties;Function Inlining
Issue Date: Nov-2019
Source: 13th Junior Researcher Workshop on Real-Time Computing (2019)
Part of Series: Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC) 
Abstract (english): 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.
Conference: 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC) 
URI: http://hdl.handle.net/11420/4164
DOI: 10.15480/882.2545
Institute: Eingebettete Systeme E-13 
Type: Research Report
Project: Time, Energy and security Analysis for Multi/Manycore heterogenous PLAtforms - TeamPlay 
License: CC BY 4.0 (Attribution) CC BY 4.0 (Attribution)
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
main.pdf158,77 kBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

198
Last Week
0
Last month
4
checked on Aug 12, 2020

Download(s)

63
checked on Aug 12, 2020

Google ScholarTM

Check

Note about this record

Export

This item is licensed under a Creative Commons License Creative Commons