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 Paper
Project: Time, Energy and security Analysis for Multi/Manycore heterogenous PLAtforms - TeamPlay 
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)

101
Last Week
11
Last month
checked on Jan 24, 2020

Download(s)

30
checked on Jan 24, 2020

Google ScholarTM

Check

Export

This item is licensed under a Creative Commons License Creative Commons