Skip to main content

Scalably verifiable dynamic power management

Publication ,  Conference
Matthews, O; Zhang, M; Sorin, DJ
Published in: Proceedings - International Symposium on High-Performance Computer Architecture
January 1, 2014

Dynamic power management (DPM) is critical to maximizing the performance of systems ranging from multicore processors to datacenters. However, one formidable challenge with DPM schemes is verifying that the DPM schemes are correct as the number of computational resources scales up. In this paper, we develop a DPM scheme such that it is scalably verifiable with fully automated formal tools. The key to the design is that the DPM scheme has fractal behavior; that is, it behaves the same at every scale. We show that the fractal design enables scalable formal verification and simulation shows that our scheme does not sacrifice much performance compared to an oracle DPM scheme that optimally allocates power to computational resources. We implement our scheme in a 2-socket 16-core x86 system and experimentally evaluate it. © 2014 IEEE.

Duke Scholars

Published In

Proceedings - International Symposium on High-Performance Computer Architecture

DOI

ISSN

1530-0897

ISBN

9781479930975

Publication Date

January 1, 2014

Start / End Page

579 / 590
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Matthews, O., Zhang, M., & Sorin, D. J. (2014). Scalably verifiable dynamic power management. In Proceedings - International Symposium on High-Performance Computer Architecture (pp. 579–590). https://doi.org/10.1109/HPCA.2014.6835967
Matthews, O., M. Zhang, and D. J. Sorin. “Scalably verifiable dynamic power management.” In Proceedings - International Symposium on High-Performance Computer Architecture, 579–90, 2014. https://doi.org/10.1109/HPCA.2014.6835967.
Matthews O, Zhang M, Sorin DJ. Scalably verifiable dynamic power management. In: Proceedings - International Symposium on High-Performance Computer Architecture. 2014. p. 579–90.
Matthews, O., et al. “Scalably verifiable dynamic power management.” Proceedings - International Symposium on High-Performance Computer Architecture, 2014, pp. 579–90. Scopus, doi:10.1109/HPCA.2014.6835967.
Matthews O, Zhang M, Sorin DJ. Scalably verifiable dynamic power management. Proceedings - International Symposium on High-Performance Computer Architecture. 2014. p. 579–590.

Published In

Proceedings - International Symposium on High-Performance Computer Architecture

DOI

ISSN

1530-0897

ISBN

9781479930975

Publication Date

January 1, 2014

Start / End Page

579 / 590