Energy consumption analysis of programs based on XMOS ISA-level models

Umer Liqat; Steve Kerrison; Alejandro Serrano; Kyriakos Georgiou; Pedro Lopez-Garcia; Neville Grech; Manuel V. Hermenegildo; Kerstin Eder

doi:10.1007/978-3-319-14125-1_5

Energy consumption analysis of programs based on XMOS ISA-level models

Umer Liqat
, Steve Kerrison
, Alejandro Serrano
, Kyriakos Georgiou
, Pedro Lopez-Garcia^*
, Neville Grech
, Manuel V. Hermenegildo
, Kerstin Eder

^*Corresponding author for this work

IMDEA Software Institute
University of Bristol
Technical University of Madrid

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level program structure and the lowlevel energy models needs to be bridged. Here, we describe techniques for recreating the structure of low-level programs and transforming these into Horn clauses in order to make use of a generic resource analysis framework (CiaoPP). Our analysis, which makes use of an energy model we produce for the underlying hardware, characterises the energy consumption of the program, and returns energy formulae parametrised by the size of the input data. We have performed an initial experimental assessment and obtained encouraging results when comparing the statically inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimisation and enables more energy-awareness in software development.

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers
Editors	Ricardo Peña, Gopal Gupta
Publisher	Springer
Pages	72-90
Number of pages	19
ISBN (Electronic)	9783319141244
DOIs	https://doi.org/10.1007/978-3-319-14125-1_5
Publication status	Published - 1 Jan 2014
Event	23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 - Madrid, Spain Duration: 18 Sept 2013 → 19 Sept 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8901
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013
Country/Territory	Spain
City	Madrid
Period	18/09/13 → 19/09/13

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Energy consumption analysis
Energy models
Resource usage analysis
Static analysis

Access to Document

10.1007/978-3-319-14125-1_5

Cite this

Liqat, U., Kerrison, S., Serrano, A., Georgiou, K., Lopez-Garcia, P., Grech, N., Hermenegildo, M. V., & Eder, K. (2014). Energy consumption analysis of programs based on XMOS ISA-level models. In R. Peña, & G. Gupta (Eds.), Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers (pp. 72-90). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8901). Springer. https://doi.org/10.1007/978-3-319-14125-1_5

Liqat, Umer ; Kerrison, Steve ; Serrano, Alejandro et al. / Energy consumption analysis of programs based on XMOS ISA-level models. Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. editor / Ricardo Peña ; Gopal Gupta. Springer, 2014. pp. 72-90 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e4fdacff66e54796b4675bf41fc97592,

title = "Energy consumption analysis of programs based on XMOS ISA-level models",

abstract = "Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level program structure and the lowlevel energy models needs to be bridged. Here, we describe techniques for recreating the structure of low-level programs and transforming these into Horn clauses in order to make use of a generic resource analysis framework (CiaoPP). Our analysis, which makes use of an energy model we produce for the underlying hardware, characterises the energy consumption of the program, and returns energy formulae parametrised by the size of the input data. We have performed an initial experimental assessment and obtained encouraging results when comparing the statically inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimisation and enables more energy-awareness in software development.",

keywords = "Energy consumption analysis, Energy models, Resource usage analysis, Static analysis",

author = "Umer Liqat and Steve Kerrison and Alejandro Serrano and Kyriakos Georgiou and Pedro Lopez-Garcia and Neville Grech and Hermenegildo, \{Manuel V.\} and Kerstin Eder",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-319-14125-1\_5",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "72--90",

editor = "Ricardo Pe{\~n}a and Gopal Gupta",

booktitle = "Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers",

note = "23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013 ; Conference date: 18-09-2013 Through 19-09-2013",

}

Liqat, U, Kerrison, S, Serrano, A, Georgiou, K, Lopez-Garcia, P, Grech, N, Hermenegildo, MV & Eder, K 2014, Energy consumption analysis of programs based on XMOS ISA-level models. in R Peña & G Gupta (eds), Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8901, Springer, pp. 72-90, 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, Madrid, Spain, 18/09/13. https://doi.org/10.1007/978-3-319-14125-1_5

Energy consumption analysis of programs based on XMOS ISA-level models. / Liqat, Umer; Kerrison, Steve; Serrano, Alejandro et al.
Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. ed. / Ricardo Peña; Gopal Gupta. Springer, 2014. p. 72-90 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8901).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Energy consumption analysis of programs based on XMOS ISA-level models

AU - Liqat, Umer

AU - Kerrison, Steve

AU - Serrano, Alejandro

AU - Georgiou, Kyriakos

AU - Lopez-Garcia, Pedro

AU - Grech, Neville

AU - Hermenegildo, Manuel V.

AU - Eder, Kerstin

PY - 2014/1/1

Y1 - 2014/1/1

N2 - Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level program structure and the lowlevel energy models needs to be bridged. Here, we describe techniques for recreating the structure of low-level programs and transforming these into Horn clauses in order to make use of a generic resource analysis framework (CiaoPP). Our analysis, which makes use of an energy model we produce for the underlying hardware, characterises the energy consumption of the program, and returns energy formulae parametrised by the size of the input data. We have performed an initial experimental assessment and obtained encouraging results when comparing the statically inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimisation and enables more energy-awareness in software development.

AB - Energy consumption analysis of embedded programs requires the analysis of low-level program representations. This is challenging because the gap between the high-level program structure and the lowlevel energy models needs to be bridged. Here, we describe techniques for recreating the structure of low-level programs and transforming these into Horn clauses in order to make use of a generic resource analysis framework (CiaoPP). Our analysis, which makes use of an energy model we produce for the underlying hardware, characterises the energy consumption of the program, and returns energy formulae parametrised by the size of the input data. We have performed an initial experimental assessment and obtained encouraging results when comparing the statically inferred formulae to direct energy measurements from the hardware running a set of benchmarks. Static energy estimation has applications in program optimisation and enables more energy-awareness in software development.

KW - Energy consumption analysis

KW - Energy models

KW - Resource usage analysis

KW - Static analysis

UR - https://www.scopus.com/pages/publications/84927662927

U2 - 10.1007/978-3-319-14125-1_5

DO - 10.1007/978-3-319-14125-1_5

M3 - Conference contribution

AN - SCOPUS:84927662927

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 72

EP - 90

BT - Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers

A2 - Peña, Ricardo

A2 - Gupta, Gopal

PB - Springer

T2 - 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013

Y2 - 18 September 2013 through 19 September 2013

ER -

Liqat U, Kerrison S, Serrano A, Georgiou K, Lopez-Garcia P, Grech N et al. Energy consumption analysis of programs based on XMOS ISA-level models. In Peña R, Gupta G, editors, Logic-Based Program Synthesis and Transformation - 23rd International Symposium, LOPSTR 2013, Revised Selected Papers. Springer. 2014. p. 72-90. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-14125-1_5

Energy consumption analysis of programs based on XMOS ISA-level models

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this