Reasoning about non-functional properties using compiler intrinsic function annotations
MetadataShow full item record
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.
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
Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing
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/
DescriptionFunding: European Union’s Horizon 2020 research and innovation programme under grant agreement No 779882.
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.