Article

Free access

Dynamic power management of complex systems using generalized stochastic Petri nets

Authors:

Massoud PedramAuthors Info & Claims

DAC '00: Proceedings of the 37th Annual Design Automation Conference

Pages 352 - 356

https://doi.org/10.1145/337292.337438

Published: 01 June 2000 Publication History

Abstract

In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurrency, synchronization, mutual exclusion and conflict. We model a power-managed distributed computing system as a controllable Generalized Stochastic Petri Net (GSPN) with cost. The obtained GSPN model is automatically converted to an equivalent continuous-time Markov decision process. Given the delay constraints, the optimal power management policy for system components as well as the optimal dispatch policy for requests are calculated by solving a linear programming problem based on the Markov decision process. Experimental results show that the proposed technique can achieve more than 20% power saving compared to other existing DPM techniques.

References

[1]

A. Chandrakasan, R. Brodersen, Low Power Digital CMOS Design, Kluwer Academic Publishers, July 1995.

Digital Library

[2]

M. Horowitz, T. Indermaur, and R. Gonzalez, "Low-Power Digital Design", IEEE Symposium on Low Power Electronics, pp.8-11, 1994.

[3]

A. Chandrakasan, V. Gutnik, and T. Xanthopoulos, "Data Driven Signal Processing: An Approach for Energy Efficient Computing", 1996 International Symposium on Low Power Electronics and Design, pp. 347-352, Aug. 1996.

Digital Library

[4]

J. Rabaey and M. Pedram, Low Power Design Methodologies, Kluwer Academic Publishers, 1996

Digital Library

[5]

L. Benini and G. De Micheli, Dynamic Power Management: Design Techniques and CAD Tools, Kluwer Academic Publishers, 1997.

Digital Library

[6]

M. Srivastava, A. Chandrakasan. R. Brodersen, "Predictive system shutdown and other architectural techniques for energy efficient programmable computation," IEEE Transactions on VLSI Systems, Vol. 4, No. 1 (1996), pp. 42-55.

Digital Library

[7]

C.-H. Hwang and A. Wu, "A Predictive System Shutdown Method for Energy Saving of Event-Driven Computation," Proc. of the Intl. Conference on Computer Aided Design, pp. 28-32, November 1997.

Digital Library

[8]

G.A. Paleologo, L. Benini, et.al, "Policy Optimization for Dynamic Power Management", Proceedings of Design Automation Conference, pp. 182-187, Jun. 1998.

Digital Library

[9]

Q. Qiu, M. Pedram, "Dynamic Power Management Based on Continuous-Time Markov Decision Processes", Proceedings of the Design Automation Conference, pp. 555-561, Jun. 1999.

Digital Library

[10]

Q. Qiu, Q. Wu, M. Pedram, "Stochastic Modeling of a Power- Managed System: Construction and Optimization", Proceedings of the International Symposium on Low Power Electronics and Design, pp. 194-199, Aug. 1999.

Digital Library

[11]

L. Benini, A. Bogliolo, S. Cavallucci, B. Ricco, "Monitoring System Activity For OS-Directed Dynamic Power Management", Proceedings of International Symposium of Low Power Electronics and Design Conference, pp. 185-190, Aug. 1998.

Digital Library

[12]

E. Chung, L. Benini and G. De Micheli, "Dynamic Power Management for Non-Stationary Service Requests", Proceedings of DATE, pp. 77-81, Mar. 1999.

Digital Library

[13]

L. Benini, R. Hodgson, P. Siegel, "System-level Estimation And Optimization", Proceedings of International Symposium of Low Power Electronics and Design Conference, pp. 173-178, Aug. 1998.

Digital Library

[14]

U. Narayan Bhat, "Elements Of Applied Stochastic Processes", John Wiley & Sons, Inc. 1984

[15]

B. Miller, "Finite State Continuous Time Markov Decision Processes With an Finite Planning Horizon." SlAM J. Control, Vol. 5, No. 2, pp. 266-281, 1968.

[16]

B. Miller, "Finite State Continuous Time Markov Decision Processes With an Infinite Planning Horizon". J. Of Mathematical Analysis and Applications, No. 22, pp. 552-569, 1968.

[17]

R.A.Howard, Dynamic Programming and Markov Processes, Wiley, New York, 1960

[18]

D. P. Heyman, M. J. Sobel, Stochastic Models in Operations Research, McGraw-Hill Book Company, 1982

[19]

G. Bolch, S. Greiner, H. D. Meer and K. S. Trivedi, Queueing Networks and Markov Chains, John Wiley & Sons, Inc., 1998

Digital Library

[20]

L. Kleinrock, Queueing Systems. Volume I: Theory, Wiley- Interscience, New York, 1981.

[21]

J. F. Shapiro, Mathematical Programming: Structures and Algorithms, John Wiley & Sons, Inc, 1979.

[22]

M. A. Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis, Modeling With Generalized Stochastic Petri Nets, John Wiley & Sons, New York, 1995.

Digital Library

[23]

UltraSAN User's Manual, Version 3.0, Center for Reliable and high- Performance Computing, Coordinated Science Laboratory, University of Illinois.

Cited By

Lo Bianco RDijkman RNuijten Wvan Jaarsveld W(2023)Action-Evolution Petri Nets: A Framework for Modeling and Solving Dynamic Task Assignment ProblemsBusiness Process Management10.1007/978-3-031-41620-0_13(216-231)Online publication date: 1-Sep-2023
https://doi.org/10.1007/978-3-031-41620-0_13
Basile DDi Giandomenico FGnesi S(2016)Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based ApproachLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_23(315-330)Online publication date: 5-Oct-2016
https://doi.org/10.1007/978-3-319-47169-3_23
Basile DDi Giandomenico FGnesi S(2016)Model-Based Evaluation of Energy Saving SystemsGreen IT Engineering: Concepts, Models, Complex Systems Architectures10.1007/978-3-319-44162-7_10(187-208)Online publication date: 22-Sep-2016
https://doi.org/10.1007/978-3-319-44162-7_10
Show More Cited By

Recommendations

Modeling and analyzing power management policies in server farms using stochastic Petri nets
e-Energy '12: Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet

Server farms are playing an important role in the Internet infrastructure today. However, the increasing power consumption of server farms makes them expensive to operate. Thus, how to reduce the power consumed by server farms has become a important ...
Discrete Time Stochastic Petri Nets

Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The ...
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications

The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net (GSPN) models while preserving the qualitative behavior is identified. Structural results for those nets are derived, obtaining the first structural analysis of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '00: Proceedings of the 37th Annual Design Automation Conference

June 2000

819 pages

ISBN:1581131879

DOI:10.1145/337292

Chairman:
Giovanni De Micheli
Stanford Univ., Stanford, CA

Copyright © 2000 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CAS: Circuits & Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC00

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC00: ACM/IEEE-CAS/EDAC Design Automation Conference

June 5 - 9, 2000

California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

57
Total Citations
View Citations
549
Total Downloads

Downloads (Last 12 months)73
Downloads (Last 6 weeks)19

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Lo Bianco RDijkman RNuijten Wvan Jaarsveld W(2023)Action-Evolution Petri Nets: A Framework for Modeling and Solving Dynamic Task Assignment ProblemsBusiness Process Management10.1007/978-3-031-41620-0_13(216-231)Online publication date: 1-Sep-2023
https://doi.org/10.1007/978-3-031-41620-0_13
Basile DDi Giandomenico FGnesi S(2016)Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based ApproachLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_23(315-330)Online publication date: 5-Oct-2016
https://doi.org/10.1007/978-3-319-47169-3_23
Basile DDi Giandomenico FGnesi S(2016)Model-Based Evaluation of Energy Saving SystemsGreen IT Engineering: Concepts, Models, Complex Systems Architectures10.1007/978-3-319-44162-7_10(187-208)Online publication date: 22-Sep-2016
https://doi.org/10.1007/978-3-319-44162-7_10
Basile DChiaradonna SGiandomenico FGnesi SMazzanti F(2015)Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating SystemProceedings of the 7th International Workshop on Software Engineering for Resilient Systems - Volume 927410.1007/978-3-319-23129-7_7(82-98)Online publication date: 7-Sep-2015
https://dl.acm.org/doi/10.1007/978-3-319-23129-7_7
Aleti ABuhnova BGrunske LKoziolek AMeedeniya I(2013)Software Architecture Optimization MethodsIEEE Transactions on Software Engineering10.1109/TSE.2012.6439:5(658-683)Online publication date: 1-May-2013
https://dl.acm.org/doi/10.1109/TSE.2012.64
McIntire DStathopoulos TReddy SSchmidt TKaiser W(2012)Energy-Efficient Sensing with the Low Power, Energy Aware Processing (LEAP) ArchitectureACM Transactions on Embedded Computing Systems10.1145/2220336.222033911:2(1-36)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.1145/2220336.2220339
Herlich MKarl HMarsan MGoyal SXu SFernández AProdanovic MChristensen K(2012)Average and competitive analysis of latency and power consumption of a queuing system with a sleep modeProceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet10.1145/2208828.2208842(1-10)Online publication date: 9-May-2012
https://dl.acm.org/doi/10.1145/2208828.2208842
Pettis NLu Y(2009)A Homogeneous Architecture for Power Policy Integration in Operating SystemsIEEE Transactions on Computers10.1109/TC.2008.18058:7(945-955)Online publication date: 1-Jul-2009
https://dl.acm.org/doi/10.1109/TC.2008.180
Viehl ASander BBringmann ORosenstiel W(2009)Analysis of Non-functional Properties of MPSoC DesignsLanguages for Embedded Systems and their Applications10.1007/978-1-4020-9714-0_20(309-324)Online publication date: 2009
https://doi.org/10.1007/978-1-4020-9714-0_20
Tan YQiu QSciuto D(2008)A framework of stochastic power management using hidden Markov modelProceedings of the conference on Design, automation and test in Europe10.1145/1403375.1403402(92-97)Online publication date: 10-Mar-2008
https://dl.acm.org/doi/10.1145/1403375.1403402
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten