whole systems energy transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/ke.pdfenergy...
TRANSCRIPT
![Page 1: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/1.jpg)
Kerstin Eder Design Automation and Verification, Microelectronics
Verification and Validation for Safety in Robots, Bristol Robotics Laboratory
Department of COMPUTER SCIENCE
Whole Systems
Energy Transparency
![Page 2: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/2.jpg)
Kerstin Eder Design Automation and Verification, Microelectronics
Verification and Validation for Safety in Robots, Bristol Robotics Laboratory
Department of COMPUTER SCIENCE
More power to software developers!
Whole Systems
Energy Transparency
![Page 3: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/3.jpg)
Pictures taken from the Energy Efficient Computing Brochure at: https://connect.innovateuk.org/documents/3158891/9517074/Energy%20Efficient%20Computing%20Magazine?version=1.0
![Page 4: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/4.jpg)
Pictures taken from the Energy Efficient Computing Brochure at: https://connect.innovateuk.org/documents/3158891/9517074/Energy%20Efficient%20Computing%20Magazine?version=1.0
![Page 5: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/5.jpg)
Electricity Consumption (Billion kwH, 2007)
UK
Greenpeace’s Make IT Green Report, 2010. http://www.greenpeace.org/international/en/publications/Campaign-reports/Climate-Reports/How-Clean-is-Your-Cloud/
UK
Cloud computing
![Page 6: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/6.jpg)
“Despite improved energy efficiency, energy consumption through electronic devices will triple until 2030 because of a massive rise in overall demand.”
6
![Page 7: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/7.jpg)
Crowds in St. Peter’s Square
http://www.spiegel.de/panorama/bild-889031-473266.html
2005 2013
http://www.spiegel.de/panorama/bild-889031-473242.html
![Page 8: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/8.jpg)
Energy Aware System Design
![Page 9: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/9.jpg)
Energy Efficiency of ICT
gAtes
Blocks
arChitecture
http://www.clker.com/cliparts/f/0/5/1/12937499341853355695circuit-board.jpg
![Page 10: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/10.jpg)
Greater Savings at Higher Levels
![Page 11: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/11.jpg)
The Focus is on Software
§ Software controls the behaviour of the hardware § Software engineers often “blissfully unaware”
– Implications of algorithm/code/data on power/energy? – Power/Energy considerations
• at best, secondary design goals
§ BUT the biggest savings can be gained from optimizations at the higher levels of abstraction in the system stack – algorithms, data and code
![Page 12: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/12.jpg)
Energy Efficiency of ICT
soFtware
alGorithms
gAtes
Blocks
arChitecture
Drivers
compilErs
http://www.clker.com/cliparts/f/0/5/1/12937499341853355695circuit-board.jpg
http://static.datixinc.com/wp-content/uploads/2015/04/7.jpg
![Page 13: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/13.jpg)
![Page 14: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/14.jpg)
Aligning SW Design Decisions with Energy Efficiency as Design Goal
§ “Choose the best algorithm for the problem at hand and make sure it fits well with the computational hardware. Failure to do this can lead to costs far exceeding the benefit of more localized power optimizations.
§ Minimize memory size and expensive memory accesses through algorithm transformations, efficient mapping of data into memory, and optimal use of memory bandwidth, registers and cache.
§ Optimize the performance of the application, making maximum use of available parallelism.
§ Take advantage of hardware support for power management. § Finally, select instructions, sequence them, and order operations in a way
that minimizes switching in the CPU and datapath.”
* Kaushik Roy and Mark C. Johnson. 1997. “Software design for low power”. In Low power design in deep submicron electronics, Wolfgang Nebel and Jean Mermet (Eds.). Kluwer Nato Advanced Science Institutes Series, Vol. 337. Kluwer Academic Publishers, Norwell, MA, USA, pp 433-460.
Keysteps*:
14
![Page 15: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/15.jpg)
How much?
Picture from www.pd4pic.com
![Page 16: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/16.jpg)
Energy Transparency
http://scottebales.com/wp-content/uploads/2013/05/transparecny-green.jpg
![Page 17: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/17.jpg)
Energy Transparency
Information on energy usage is available for programs: § ideally without executing them, and
§ at all levels from machine code to high-level application code.
17
K. Eder, J.P. Gallagher, P. López-García, H. Muller, Z. Banković, K. Georgiou, R. Haemmerlé, M.V. Hermenegildo, B. Kafle, S. Kerrison, M. Kirkeby, M. Klemen, X. Li, U. Liqat, J. Morse, M. Rhiger, and M. Rosendahl. 2016.
“ENTRA: Whole-systems energy transparency”.
Microprocess. Microsyst. 47, PB (November 2016), 278-286. https://doi.org/10.1016/j.micpro.2016.07.003
![Page 18: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/18.jpg)
Transparency
![Page 19: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/19.jpg)
Transparency
![Page 20: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/20.jpg)
Transparency
![Page 21: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/21.jpg)
Energy transparency enables a deeper understanding of how algorithms and
coding impact on the energy consumption of a computation when
executed on hardware.
Why Energy Transparency?
21
K. Eder, J.P. Gallagher, P. López-García, H. Muller, Z. Banković, K. Georgiou, R. Haemmerlé, M.V. Hermenegildo, B. Kafle, S. Kerrison, M. Kirkeby, M. Klemen, X. Li, U. Liqat, J. Morse, M. Rhiger, and M. Rosendahl. 2016.
“ENTRA: Whole-systems energy transparency”.
Microprocess. Microsyst. 47, PB (November 2016), 278-286. https://doi.org/10.1016/j.micpro.2016.07.003
![Page 22: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/22.jpg)
Measuring the Energy Consumption of Computation
![Page 23: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/23.jpg)
Measuring Power
Measure voltage drop across the resistor
I = Vshunt / Rshunt to find the current.
Measure voltage at one side of the resistor
P = I × V to calculate the power.
![Page 24: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/24.jpg)
The Power Monitor
Amplifier ADC
![Page 25: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/25.jpg)
Measuring Power
Measure voltage drop across the resistor
I = Vshunt / Rshunt to find the current
Measure voltage at one side of the resistor
P = I × V to calculate the power
Repeat frequently, timestamp
each sample
![Page 26: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/26.jpg)
Measuring Energy
Time
Pow
er
Energy
26
![Page 27: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/27.jpg)
How much data?
Currently 500,000 Samples/second 6,000,000 S/s possible in bursts
![Page 28: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/28.jpg)
The Showstopper L
![Page 29: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/29.jpg)
Open Energy Measurement Board
http://mageec.org/
![Page 30: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/30.jpg)
Dynamic Energy Monitoring
![Page 31: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/31.jpg)
The EACOF A simple Energy-Aware COmputing Framework https://github.com/eacof
![Page 32: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/32.jpg)
High Level
Energy Data From Hardware
or OS EACOF Application
![Page 33: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/33.jpg)
Providers
HDD Provider
EACOF Application Battery Provider
CPU Provider
![Page 34: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/34.jpg)
Consumers
HDD Provider
EACOF Battery Provider
CPU Provider
![Page 35: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/35.jpg)
§ Inser-onSort:32bitversionmoreop-mized♦ Coun-ngSort:75%moreenergyfor64bitcomparedto8bitvalues
• Sor-ng64bitvaluestakesless-methansor-ng8bitvalues,butconsumedmoreenergy
� Averagepowervaria-onsbetweenalgorithms
Comparing Sorting Algorithms § Sor-ngofintegersin[0,255]
35
H. Field, G. Anderson and K. Eder. “EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development”. 29th ACM Symposium On Applied Computing. pp. 1194–1199. March 2014, ACM. DOI: 10.1145/2554850.2554920
![Page 36: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/36.jpg)
Invitation: EACOF is open source!
github.com/eacof
![Page 37: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/37.jpg)
Static Analysis for Energy Consumption
![Page 38: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/38.jpg)
![Page 39: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/39.jpg)
The ENTRA Project
39
§ Whole Systems ENergy TRAnsparency
EC FP7 FET MINECC:
“Software models and programming methodologies supporting the strive for the energetic limit
(e.g. energy cost awareness or exploiting the trade-off between energy and performance/precision).”
![Page 40: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/40.jpg)
40
SRA for Energy Consumption
§ Adaptation of traditional resource usage analysis techniques to energy consumption.
§ Techniques automatically infer upper and lower bounds on energy usage of a program.
§ Bounds expressed using monotonic arithmetic functions per procedure parameterized by program’s input size.
§ Verification can be done statically by checking that the upper and lower bounds on energy usage and any other resource defined in the specifications hold.
![Page 41: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/41.jpg)
Specified Resource Usage
Source:PedroLopezGarcia,IMDEASoSwareResearchIns-tute41
![Page 42: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/42.jpg)
Analysis Result
The image cannot be displayed. Your computer may not have enough memory to open the image, or the image may have been corrupted. Restart your computer, and then open the file again. If the red x still appears, you may have to delete the image and then insert it again.
Source:PedroLopezGarcia,IMDEASoSwareResearchIns-tute42
![Page 43: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/43.jpg)
Verification
Source:PedroLopezGarcia,IMDEASoSwareResearchIns-tute43
![Page 44: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/44.jpg)
Static Energy Usage Analysis
int fact (int x) { if (x<=0)a return 1b; return (x *d fact(x-1))c; }
Cfact(x) = Ca + Cb if x<=0 Cfact(x) = Ca + Cc(x) if x>0 Cc(x) = Cd + Cfact(x-1)
§ Substitute Ca, Cb, Cd with the actual energy required to execute the corresponding lower-level (machine) instructions.
Original Program: Extracted Cost Relations:
![Page 45: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/45.jpg)
Energy Modelling captures energy consumption
![Page 46: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/46.jpg)
Modelling Considerations
§ At what level should we model? – instruction level, i.e. machine code – intermediate representation of compiler – source code
§ Models require measurements – need to associate entities at a given level with
costs, i.e. energy consumption • accuracy – the lower the better • usefulness – the higher the better
http://www.speechinaction.org/wp-content/uploads/2012/10/dilemma.jpg
![Page 47: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/47.jpg)
Instruction Base Cost, Bi, of each instruction i
Energy Cost (E)of a program (P):
Circuit State Overhead, Oi,j, for each instruction pair
V. Tiwari, S. Malik and A. Wolfe. “Instruction Level Power Analysis and Optimization of Software”, Journal of VLSI Signal Processing Systems, 13, pp 223-238, 1996.
Energy Modelling
Other Instruction Effects (stalls, cache misses, etc)
47
![Page 48: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/48.jpg)
XCore Energy Modelling
Concurrency cost, instruction cost, generalised overhead, base power and duration
Energy Cost (E) of a multi-threaded program (P):
§ Use of execution statistics rather than execution trace. § Fast running model with an average error margin of less than 7%
Idle base power and duration
48
S. Kerrison and K. Eder. 2015. “Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor”. ACM Trans. Embed. Comput. Syst. 14, 3, Article 56 (April 2015), 25 pages. DOI=10.1145/2700104 http://doi.acm.org/10.1145/2700104
![Page 49: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/49.jpg)
The set up...
S. Kerrison and K. Eder. 2015. “Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor”. ACM Trans. Embed. Comput. Syst. 14, 3, Article 56 (April 2015), 25 pages. DOI=10.1145/2700104 http://doi.acm.org/10.1145/2700104
![Page 50: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/50.jpg)
ISA Characterization
50
![Page 51: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/51.jpg)
51
ISA Characterization
S. Kerrison and K. Eder. 2015. “Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor”. ACM Trans. Embed. Comput. Syst. 14, 3, Article 56 (April 2015), 25 pages. DOI=10.1145/2700104 http://doi.acm.org/10.1145/2700104
![Page 52: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/52.jpg)
Energy Consumption Analysis enables energy transparency
www.theguardian.com
![Page 53: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/53.jpg)
Energy Consumption Analysis enables energy transparency
www.theguardian.com
![Page 54: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/54.jpg)
SRA at the ISA Level
§ Combine static resource analysis (SRA) with the ISA-level energy model.
§ Provide energy consumption function parameterised by some property of the program or its data.
54
![Page 55: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/55.jpg)
Static Energy Usage Analysis
int fact (int x) { if (x<=0)a return 1b; return (x *d fact(x-1))c; }
Cfact(x) = Ca + Cb if x<=0 Cfact(x) = Ca + Cc(x) if x>0 Cc(x) = Cd + Cfact(x-1)
§ Substitute Ca, Cb, Cd with the actual energy required to execute the corresponding lower-level (machine) instructions.
§ Solveequa-onusingoff-the-shelfsolvers.
§ Result: Cfact(x) = (26x + 19.4) nJ
Original Program: Extracted Cost Relations:
55
![Page 56: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/56.jpg)
ISA-Level Analysis Results
56
U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, N. Grech, P. Lopez-Garcia, M.V. Hermenegildo and K. Eder. “Energy Consumption Analysis of Programs based on XMOS ISA-Level Models”. LOPSTR 2013. LNCS 8901. Springer. DOI: 10.1007/978-3-319-14125-1_5
![Page 57: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/57.jpg)
ISA-Level Analysis Results
57 U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, N. Grech, P. Lopez-Garcia, M.V. Hermenegildo and K. Eder. “Energy Consumption Analysis of Programs based on XMOS ISA-Level Models”. LOPSTR 2013.
![Page 58: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/58.jpg)
58
Analysis Options
§ Moving away from the underlying model risks loss of accuracy.
§ But it brings us
closer to the original source code.
![Page 59: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/59.jpg)
Energy Consumption of LLVM IR
U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, J.P. Gallagher, M.V. Hermenegildo, K. Eder. “Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR”. In Proceedings of FOPARA 2015. LNCS 9964. Springer. DOI: 10.1007/978-3-319-46559-3_5 http://arxiv.org/abs/1511.01413
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 60: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/60.jpg)
LLVM IR Energy Characterization
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 61: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/61.jpg)
Analysis at the LLVM IR Level
N. Grech, K. Georgiou, J. Pallister, S. Kerrison, J. Morse, K. Eder. 2015. “Static analysis of energy consumption for LLVM IR programs”. In Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES '15). ACM, New York, NY, USA, pages 12-21. http://dx.doi.org/10.1145/2764967.2764974
![Page 62: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/62.jpg)
SRA for Energy Consumption
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 63: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/63.jpg)
SRA for Energy Consumption
bsort100
radix4Div
B.radix4Divbase64
mac
levenshtein cnt st firp.fir 7t
matmul
matmul 2t
matmul 4tbiquad
biquad 2t
biquad 4t
p.biquad 7tjpegdct
jpegdct 2t
jpegdct 4t�15
�10
�5
0
5
10
%E
rror
vs.h
ardw
are Simulation ISA SRA LLVM IR SRA
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 64: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/64.jpg)
EC Static Analysis Results
Collection of sample runs (dividend, divisor)0.5
1.0
1.5
2.0
2.5
3.0
Ene
rgy
(Jou
les)
⇥10�7
Worst case
Radix4Div
Collection of sample runs (dividend, divisor)0.5
1.0
1.5
2.0
2.5
3.0
Ene
rgy
(Jou
les)
⇥10�7
Worst case
Balanced Radix4Div
HW meas.ISA WCECLLVM IR WCEC
SimulationISA BCEC
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 65: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/65.jpg)
Profiling-based Energy Estimation
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 66: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/66.jpg)
Energy Consumption Profiling
ndesqsort bs
minver crc
nsichneu
recursion
ludcmp
Sha256
SFloatAdd
SFloatSub
dijkstra
bsort100
radix4Div
B.radix4Div
base64mac
levenshtein cnt st firp.fir 7t
matmul
matmul 2t
matmul 4t
biquad
p.biquad 7t
jpegdct
jpegdct 2t
jpegdct 4t�15
�10
�5
0
5
10
%E
rror
vs.h
ardw
are Simulation Profiling
K. Georgiou, S. Kerrison, Z. Chamski and K. Eder. 2017. “Energy Transparency for Deeply Embedded Programs”. ACM Trans. Archit. Code Optim. (TACO) 14, 1, Article 8 (March 2017), 26 pages. DOI: https://doi.org/10.1145/3046679. https://arxiv.org/abs/1609.02193
![Page 67: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/67.jpg)
The Worst Case …
![Page 68: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/68.jpg)
ISA Characterization
68
![Page 69: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/69.jpg)
Static Resource Bound Analysis
The image cannot be displayed. Your computer may not have enough memory to open the image, or the image may have been corrupted. Restart your computer, and then open the file again. If the red x still appears, you may have to delete the image and then insert it again.
Source:PedroLopezGarcia,IMDEASoSwareResearchIns-tute69
![Page 70: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/70.jpg)
§ WorstCaseExecu-onTime(WCET)Analysis:– WCET model – WCET bounds (often for safety critical applications)
• safe, i.e. no underestimation • tight, i.e. ideally very little overestimation
Doesthisworkforenergyconsump4onanalysis?
Worst Case Execution Time
From “The Worst-Case Execution-Time Problem — Overview of Methods and Survey of Tools” by WILHELM et al. (2008)
![Page 71: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/71.jpg)
§ WCEC analysis goes well beyond WCET analysis. – embedded real-time systems that are timing predictable
execute instructions in a fixed number of clock cycles – WCET then depends only on the WC execution path – timing variability has mostly been eliminated “by design"
through the use of synchronous logic
§ But, energy consumption is
data dependent.
Worst Case Energy Consumption
![Page 72: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/72.jpg)
ISA Characterization
72
![Page 73: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/73.jpg)
W/A/B-Case Energy Consumption
![Page 74: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/74.jpg)
W/A/B-Case Energy Consumption
![Page 75: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/75.jpg)
a*b = b*a
![Page 76: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/76.jpg)
Energy(a*b) ≠ Energy(b*a)
![Page 77: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/77.jpg)
Dynamic Energy is significant
§ Data dependent switching costs can be large
§ Some instructions can cause as much dynamic energy as static (sub)
§ How can we account for context-dependent switching costs?
§ Can WCEC be safe and tight?
![Page 78: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/78.jpg)
Statistical Energy Modelling
6.6 6.8 7.0 7.2 7.4 7.6 7.8 8.00.0
0.5
1.0
1.5
2.0
2.5
3.0
Pro
bab
ility
den
sity Weibull fit
Extreme value fitTest data
Energy distribution (nJ) for AVR shl
§ Many instructions exhibit statistical properties § Different instruction distributions can be composed § Can statistically impossible energy be considered
a safe upper bound?
![Page 79: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/79.jpg)
Accepted for publication at 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017). Preprint available at: https://arxiv.org/abs/1505.03374
![Page 80: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/80.jpg)
Critical questions for WCEC modelling:
Data Dependent Energy Modelling
§ Which data should be used to characterize a WCEC model?
§ Which data causes the WCEC for a given program?
§ Which data triggers the most switching during the execution of the program?
![Page 81: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/81.jpg)
Energy of an Instruction Sequence
100 data values provided to a sequence of 8 instructions ranking of the instruction sequence’s energy up to instruction x
![Page 82: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/82.jpg)
by input
Energy of an Instruction Sequence
100 data values provided to a sequence of 8 instructions ranking of the instruction sequence’s energy up to instruction x
experiments conducted by James Pallister
![Page 83: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/83.jpg)
by input and by output
Energy of an Instruction Sequence
100 data values provided to a sequence of 8 instructions ranking of the instruction sequence’s energy up to instruction x
experiments conducted by James Pallister
![Page 84: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/84.jpg)
Complexity Analysis
§ Determining switching costs is NP-hard – Amount of computation required increases
exponentially with program size – Problem cannot be approximated accurately
§ No algorithm can efficiently find dynamic energy, so other questions must be posed – Is a less general solution acceptable? – What level of inaccuracy can be tolerated?
J. Morse, S. Kerrison and K. Eder. 2016. “On the infeasibility of analysing worst case dynamic energy”. (under review) http://arxiv.org/abs/1603.02580
![Page 85: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/85.jpg)
![Page 86: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/86.jpg)
J. Morse, S. Kerrison and K. Eder. 2016. “On the infeasibility of analysing worst case dynamic energy”. (under review) http://arxiv.org/abs/1603.02580
0 16 32 48 64 80 96 112
128
144
160
176
192
208
224
240
256
Operand 2
0
16
32
48
64
80
96
112
128
144
160
176
192
208
224
240
256
Oper
and
1
0
5
10
15
20
25
30
35
40
45
0 16 32 48 64 80 96 112
128
144
160
176
192
208
224
240
256
Operand 2
0
16
32
48
64
80
96
112
128
144
160
176
192
208
224
240
256
Oper
and
1
0
2
4
6
8
10
12
14
16
0 16 32 48 64 80 96 112
128
144
160
176
192
208
224
240
256
Operand 2
0
16
32
48
64
80
96
112
128
144
160
176
192
208
224
240
256
Oper
and
1
0.0
0.8
1.6
2.4
3.2
4.0
4.8
5.6
6.4
7.2
8.0
0 16 32 48 64 80 96 112
128
144
160
176
192
208
224
240
256
Operand 2
0
16
32
48
64
80
96
112
128
144
160
176
192
208
224
240
256
Oper
and
1
0
5
10
15
20
25
30
35
40
45
0 16 32 48 64 80 96 112
128
144
160
176
192
208
224
240
256
Operand 2
0
16
32
48
64
80
96
112
128
144
160
176
192
208
224
240
256
Oper
and
1
0
5
10
15
20
25
30
35
40
45
0 16 32 48 64 80 96 112
128
144
160
176
192
208
224
240
256
Operand 2
0
16
32
48
64
80
96
112
128
144
160
176
192
208
224
240
256
Oper
and
1
0
8
16
24
32
40
48
56
Impact of Datapath Switching
![Page 87: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/87.jpg)
^ × +
§ To achieve Energy Transparency – Energy modelling is a huge challenge
• Fundamental research questions – data-dependent energy models – compositional – probabilistic techniques
– Analysis techniques for energy consumption • SRA works best for IoT-type systems • Hybrid, profiling-based techniques for more
complex architectures
Summing up
![Page 88: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/88.jpg)
Towards Energy Aware Software Engineering
![Page 89: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/89.jpg)
Energy Transparency
89
§ For HW designers: “Power is a 1st and last order design constraint.” [Dan Hutcheson, VLSI Research, Inc., E3S Keynote 2011]
§ “Every design is a point in a 2D plane.” [Mark Horowitz,E3S 2009]
![Page 90: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/90.jpg)
90
§ For HW designers: “Power is a 1st and last order design constraint.” [Dan Hutcheson, VLSI Research, Inc., E3S Keynote 2011]
§ “Every design is a point in a 2D plane.” [Mark Horowitz,E3S 2009]
Energy Transparency
![Page 91: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/91.jpg)
91
§ For HW designers: “Power is a 1st and last order design constraint.” [Dan Hutcheson, VLSI Research, Inc., E3S Keynote 2011]
§ “Every design is a point in a 2D plane.” [Mark Horowitz,E3S 2009]
Energy Transparency
![Page 92: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/92.jpg)
92
§ For HW designers: “Power is a 1st and last order design constraint.” [Dan Hutcheson, VLSI Research, Inc., E3S Keynote 2011]
§ “Every design is a point in a 2D plane.” [Mark Horowitz,E3S 2009]
Energy Transparency
![Page 93: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/93.jpg)
More POWER to SW Developers
§ Full Energy Transparency from HW to SW
§ Location-centric programming model
93
in 5pJ do {...}
“Cool” code for green software A cool programming competition!
Promoting energy efficiency to a 1st class SW design goal is an urgent research challenge.
Pictures taken from the Energy Efficient Computing Brochure at: https://connect.innovateuk.org/documents/3158891/9517074/Energy%20Efficient%20Computing%20Magazine?version=1.0
![Page 95: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/95.jpg)
95
Ifyouwantanul4matelow-powersystem,thenyouhavetoworryaboutenergyusageateverylevelinthesystemdesign,andyouhavetogetitrightfromtoptobo>om,becauseanylevelatwhichyougetitwrongisgoingtoloseyouperhapsanorderofmagnitudeintermsofpowerefficiency.Thehardwaretechnologyhasafirst-orderimpactonthepowerefficiencyofthesystem,butyou'vealsogottohavesoSwareatthetopthatavoidswastewhereveritcan.Youneedtoavoid,forinstance,anythingthatresemblesapollingloopbecausethat'sjustburningpowertodonothing.Ithinkoneofthehardques-onsiswhetheryoucanpasstheresponsibilityforthesoSwareefficiencyrightbacktotheprogrammer.
Doprogrammersreallyhaveanyunderstandingofhowmuchenergytheiralgorithmsconsume?Iworkinacomputersciencedepartment,andit'snotcleartomethatweteachthestudentsmuchabouthowlongtheiralgorithmstaketoexecute,letalonehowmuchenergytheyconsumeinthecourseofexecu-ngandhowyougoaboutop-mizinganalgorithmforitsenergyconsump-on.Someoftheresponsibilityforthatwillprobablygetpusheddownintocompilers,butIs-llthinkthatfundamentally,atthe
toplevel,programmerswillnotbeabletoaffordtobeignorantabouttheenergycostoftheprogramstheywrite.Whatyouneedinordertobeabletoworkinthiswayatallisinstrumenta-onthattellsyouthatrunningthisalgorithmhasthiskindofenergycostandrunningthatalgorithmhasthatkindofenergycost.
Youneedtoolsthatgiveyoufeedbackandtellyouhowgoodyourdecisionsare.Currentlythetoolsdon'tgiveyouthatkindoffeedback.
February2010,acmqueueInterviewwithSteveFurberThedesigneroftheARMchipshareslessonsonenergy-efficientcompu4ngat: http://queue.acm.org/detail.cfm?id=1716385
SteveFurber
![Page 96: Whole Systems Energy Transparency - uibk.ac.atcbr.uibk.ac.at/events/dice-fopara/slides/KE.pdfEnergy Transparency Information on energy usage is available for programs: ideally without](https://reader034.vdocument.in/reader034/viewer/2022042205/5ea7d70f2a4b48744f1b933b/html5/thumbnails/96.jpg)