Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR

Liqat, Umer and Georgiou, Kyriakos and Kerrison, Steve and López García, Pedro and Gallagher, John P. and Hermenegildo, Manuel V. and Eder, Kerstin (2016). Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR. In: "4th International Workshop of Foundational and Practical Aspects of Resource Analysis, FOPARA 2015", 11 Apr 2015, Londres. ISBN 978-3-319-46558-6. pp. 81-100.

Description

Title: Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR
Author/s:
  • Liqat, Umer
  • Georgiou, Kyriakos
  • Kerrison, Steve
  • López García, Pedro
  • Gallagher, John P.
  • Hermenegildo, Manuel V.
  • Eder, Kerstin
Item Type: Presentation at Congress or Conference (Article)
Event Title: 4th International Workshop of Foundational and Practical Aspects of Resource Analysis, FOPARA 2015
Event Dates: 11 Apr 2015
Event Location: Londres
Title of Book: Foundational and Practical Aspects of Resource Analysis
Date: 2016
ISBN: 978-3-319-46558-6
Volume: 9964
Subjects:
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (841kB) | Preview

Abstract

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 re ects 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.

More information

Item ID: 52677
DC Identifier: http://oa.upm.es/52677/
OAI Identifier: oai:oa.upm.es:52677
Official URL: https://link.springer.com/chapter/10.1007/978-3-319-46559-3_5
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Oct 2018 12:32
Last Modified: 18 Oct 2018 12:32
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM