Petri Net Model Based Energy Optimization Of Programs Using Dynamic Voltage And Frequency Scaling

• Main Author: Arun, R
• Other Authors: Srikant, Y N
• Language: en_US
• Published: 2013
• Subjects: Dynamic Voltage; Frequency Scaling; Petri Net Model; Mobile Telephones; Cellular Telephones; Batteries (Electric); Dynamic Voltage and Frequency Scaling (DVFS); Stream Programs; Multiple Clock Domain (MCD); Petri Nets; Data Parallel Programs; Multithreaded Programs; Electronic Engineering
• Online Access: http://etd.iisc.ernet.in/handle/2005/2013; http://etd.ncsi.iisc.ernet.in/abstracts/2607/G24977-Abs.pdf

High power dissipation and on-chip temperature limit performance and affect reliability in modern microprocessors. For servers and data centers, they determine the cooling cost, whereas for handheld and mobile systems, they limit the continuous usage of these systems. For mobile systems, energy consumption affects the battery life. It can not be ignored for desktop and server systems as well, as the contribution of energy continues to go up in organizations’ budgets, influencing strategic decisions, and its implications on the environment are getting appreciated. Intelligent trade-offs involving these quantities are critical to meet the performance demands of many modern applications. Dynamic Voltage and Frequency Scaling (DVFS) offers a huge potential for designing trade-offs involving energy, power, temperature and performance of computing systems. In our work, we propose and evaluate DVFS schemes that aim at minimizing energy consumption while meeting a performance constraint, for both sequential and parallel applications. We propose a Petri net based program performance model, parameterized by application properties, microarchitectural settings and system resource configuration, and use this model to find energy efficient DVFS settings. We first propose a DVFS scheme using this model for sequential programs running on single core multiple clock domain (MCD) processors, and evaluate this on a MCD processor simulator. We then extend this scheme for data parallel (Single Program Multiple Data style) applications, and then generalize it for stream applications as well, and evaluate these two schemes on a full system CMP simulator. Our experimental evaluation shows that the proposed schemes achieve significant energy savings for a small performance degradation.