Skip to main content

Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets

  • Conference paper
  • First Online:
Power-Aware Computer Systems (PACS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2325))

Included in the following conference series:

Abstract

Modern DRAM technologies offer power management features for optimization between performance and energy consumption. This paper employs Petri nets to model and evaluate memory controller policies for manipulating multiple power states. The model has been validated against the analysis and simulation used in our previous work. We extend it to model more complex policies and our results show that DRAM chip should always immediately transition to standby and never transition to powerdown provided that it exhibits typical exponential access behavior.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. Generalized stochastic petri nets: A definition at the net level and its implications. IEEE Transactions on Software Engineering, 19(2):89–107, February 1993.

    Google Scholar 

  2. V. Delaluz, M. Kandemir, N. Vijaykrishnan, A. Sivasubramaniam, and M. J. Irwin. DRAM Energy Management Using Software and Hardware Directed Power Mode Control. In HPCA 2001, January 2001.

    Google Scholar 

  3. Xiaobo Fan, Carla S. Ellis, and Alvin R. Lebeck. Memory controller policies for dram power management. In Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED), August 2001.

    Google Scholar 

  4. D. Lammers. IDF: Mobile Rambus spec unveiled. EETimes Online, February 1999. http://www.eetimes.com/story/OEG19990225S0016.

  5. Alvin R. Lebeck, Xiaobo Fan, Heng Zeng, and Carla S. Ellis. Power aware page allocation. In Proceedings of Ninth International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS IX), November 2000.

    Google Scholar 

  6. Christoph Lindemann. Performance Modelling with Deterministic and Stochastic Petri Nets. John Wiley and Sons, 1998.

    Google Scholar 

  7. M. Ajmone Marsan, G. Balbo, and G. Conte. Modeling with Generalized Stochastic Petri Nets. J. Wiley, 1995.

    Google Scholar 

  8. M. Ajmone Marsan and G. Chiola. On petri nets with deterministic and exponential transition firing times. In Proceedings of the 7th European Workshop on application and Theory of Petri Nets, pages 151–165, June 1986.

    Google Scholar 

  9. T. Murate. Petri nets: properties, analysis, and applications. Proceedings of IEEE, 77(4):541–580, April 1989.

    Google Scholar 

  10. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fan, X., Ellis, C.S., Lebeck, A.R. (2003). Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets. In: Falsafi, B., Vijaykumar, T.N. (eds) Power-Aware Computer Systems. PACS 2002. Lecture Notes in Computer Science, vol 2325. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36612-1_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-36612-1_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-01028-9

  • Online ISBN: 978-3-540-36612-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics