Please use this identifier to cite or link to this item:
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) 
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
Show full item record

Page view(s)

Last Week
Last month
checked on Aug 12, 2020


checked on Aug 12, 2020

Google ScholarTM


Note about this record


This item is licensed under a Creative Commons License Creative Commons