| [176826] |
| Title: Reasoning about non-functional properties using compiler intrinsic function annotations. <em>In Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC)</em> |
| Written by: Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Brown and Adam Barwell |
| in: November (2019). |
| Volume: Number: |
| on pages: 25-28 |
| Chapter: |
| Editor: |
| Publisher: |
| Series: 20191107-jrwrtc-jadhav.pdf |
| Address: Toulouse / France |
| Edition: |
| ISBN: 10.15480/882.2545 |
| how published: 19-60 JRF+ JRWRTC |
| Organization: |
| School: |
| Institution: |
| Type: |
| DOI: |
| URL: |
| ARXIVID: |
| PMID: |
Note: sjadhav, mroth, hfalk, ESD, WCC, teamplay
Abstract: 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.