St Andrews Research Repository

St Andrews University Home
View Item 
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Reasoning about non-functional properties using compiler intrinsic function annotations

Thumbnail
View/Open
JRWRTC2019_paper_5.pdf (158.7Kb)
Date
06/11/2019
Author
Jadhav, Shashank
Roth, Mikko
Falk, Heiko
Brown, Christopher Mark
Barwell, Adam David
Keywords
QA75 Electronic computers. Computer science
T-NDAS
Metadata
Show full item record
Abstract
Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embed-ded 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 arguea bout 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.
Citation
Jadhav , S , Roth , M , Falk , H , Brown , C M & Barwell , A D 2019 , Reasoning about non-functional properties using compiler intrinsic function annotations . in Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing . INP ENSEEIHT/IRIT , pp. 25-28 , 13th Junior Researcher Workshop on Real-Time Computing. JRWRTC , Toulouse , France , 6/11/19 .
 
workshop
 
Publication
Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing
Type
Conference item
Rights
Copyright © 2019 the Author(s). This work has been made available online in accordance with publisher policies or with permission. Permission for further reuse of this content should be sought from the publisher or the rights holder. This is the author created accepted manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at https://www.irit.fr/rtns2019/jrwrtc/rtns_junior_workshop/
Description
Funding: European Union’s Horizon 2020 research and innovation programme under grant agreement No 779882.
Collections
  • University of St Andrews Research
URL
https://www.irit.fr/rtns2019/jrwrtc/rtns_junior_workshop/
URI
http://hdl.handle.net/10023/18969

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

Advanced Search

Browse

All of RepositoryCommunities & CollectionsBy Issue DateNamesTitlesSubjectsClassificationTypeFunderThis CollectionBy Issue DateNamesTitlesSubjectsClassificationTypeFunder

My Account

Login

Open Access

To find out how you can benefit from open access to research, see our library web pages and Open Access blog. For open access help contact: openaccess@st-andrews.ac.uk.

Accessibility

Read our Accessibility statement.

How to submit research papers

The full text of research papers can be submitted to the repository via Pure, the University's research information system. For help see our guide: How to deposit in Pure.

Electronic thesis deposit

Help with deposit.

Repository help

For repository help contact: Digital-Repository@st-andrews.ac.uk.

Give Feedback

Cookie policy

This site may use cookies. Please see Terms and Conditions.

Usage statistics

COUNTER-compliant statistics on downloads from the repository are available from the IRUS-UK Service. Contact us for information.

© University of St Andrews Library

University of St Andrews is a charity registered in Scotland, No SC013532.

  • Facebook
  • Twitter