Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
| Autor: | Kerstin Eder, John P. Gallagher, Manuel V. Hermenegildo, Pedro López-García, Umer Liqat, Kyriakos Georgiou, Steve Kerrison |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
FOS: Computer and information sciences
Source code Computer science media_common.quotation_subject Embedded systems 0102 computer and information sciences 02 engineering and technology 01 natural sciences 7. Clean energy Instruction set Software 0202 electrical engineering electronic engineering information engineering Representation (mathematics) media_common Informática Intermediate language Computer Science - Programming Languages business.industry D.3.4 Software development Energy consumption Static analysis Program optimization D.2.8 F.3.2 020202 computer hardware & architecture Computer engineering 010201 computation theory & mathematics Resource usage analysis Energy consumption analysis business Programming Languages (cs.PL) |
| Zdroj: | Liqat, U, Georgiou, K, Kerrison, S, Lopez-Garcia, P, Gallagher, J P, Hermenegildo, M V & Eder, K 2016, Inferring Parametric Energy Consumption Functions at Different Software Levels : ISA vs. LLVM IR . in Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9964, Springer International Publishing AG, pp. 81-100, 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, London, United Kingdom, 11/04/15 . https://doi.org/10.1007/978-3-319-46559-3_5 Foundational and Practical Aspects of Resource Analysis | 4th International Workshop of Foundational and Practical Aspects of Resource Analysis, FOPARA 2015 | 11 Apr 2015 | Londres Foundational and Practical Aspects of Resource Analysis ISBN: 9783319465586 Archivo Digital UPM Universidad Politécnica de Madrid |
| DOI: | 10.1007/978-3-319-46559-3_5 |
| Popis: | The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental in energy-aware software development. Our objective is to estimate such energy consumption in the form of functions on the input data sizes of programs. We have developed a tool for experimentation with static analysis which infers such energy functions at two levels, the instruction set architecture (ISA) and the intermediate code (LLVM IR) levels, and reflects it upwards to the higher source code level. This required the development of a translation from LLVM IR to an intermediate representation and its integration with existing components, a translation from ISA to the same representation, a resource analyzer, an ISA-level energy model, and a mapping from this model to LLVM IR. The approach has been applied to programs written in the XC language running on XCore architectures, but is general enough to be applied to other languages. Experimental results show that our LLVM IR level analysis is reasonably accurate (less than 6.4% average error vs. hardware measurements) and more powerful than analysis at the ISA level. This paper provides insights into the trade-off of precision versus analyzability at these levels. 22 pages, 4 figures, 2 tables |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|