Abstract
Verification algorithms are among the most resource-intensive computation tasks. Saving energy is important for our living environment and to save cost in data centers. Yet, researchers compare the efficiency of algorithms still in terms of consumption of CPU time (or even wall time). Perhaps one reason for this is that measuring energy consumption of computational processes is not as convenient as measuring the consumed time and there is no sufficient tool support. To close this gap, we contribute CPU Energy Meter, a small tool that takes care of reading the energy values that Intel CPUs track inside the chip. In order to make energy measurements as easy as possible, we integrated CPU Energy Meter into BenchExec, a benchmarking tool that is already used by many researchers and competitions in the domain of formal methods. As evidence for usefulness, we explored the energy consumption of some state-of-the-art verifiers and report some interesting insights, for example, that energy consumption is not necessarily correlated with CPU time.
Chapter PDF
Similar content being viewed by others
References
Bekas, C., Curioni, A.: A new energy aware performance metric. Computer Science - R&D 25(3-4), 187–195 (2010). https://doi.org/10.1007/s00450-010-0119-z
Beyer, D.: Reliable and reproducible competition results with BenchExec and witnesses (Report on SV-COMP 2016). In: Proc. TACAS. pp. 887–904. LNCS 9636, Springer (2016). https://doi.org/10.1007/978-3-662-49674-9_55
Beyer, D.: Automatic verification of C and Java programs: SV-COMP 2019. In: Proc. TACAS (3). pp. 133–155. LNCS 11429, Springer (2019). https://doi.org/10.1007/978-3-030-17502-3_9
Beyer, D., Löwe, S., Wendler, P.: Reliable benchmarking: Requirements and solutions. Int. J. Softw. Tools Technol. Transfer 21(1), 1–29 (2019). https://doi.org/10.1007/s10009-017-0469-y
Beyer, D., Wendler, P.: Replication package for article ‘CPU Energy Meter: A tool for energy-aware algorithms engineering’ in Proc. TACAS ’20. Zenodo (2020). https://doi.org/10.5281/zenodo.3679337
Desrochers, S., Paradis, C., Weaver, V.M.: A validation of DRAM RAPL power measurements. In: Proc. Int. Symposium on Memory Systems (MEMSYS). pp. 455–470. ACM (2016). https://doi.org/10.1145/2989081.2989088
Dongarra, J.J., Ltaief, H., Luszczek, P., Weaver, V.M.: Energy footprint of advanced dense numerical linear algebra using tile algorithms on multicore architectures. In: Proc. Int. Conference on Cloud and Green Computing (CGC). pp. 274–281. IEEE (2012). https://doi.org/10.1109/CGC.2012.113
Ge, R., Feng, X., Song, S., Chang, H., Li, D., Cameron, K.W.: PowerPack: Energy profiling and analysis of high-performance systems and applications. IEEE Trans. Parallel Distrib. Syst. 21(5), 658–671 (2010). https://doi.org/10.1109/TPDS.2009.76
Hackenberg, D., Ilsche, T., Schöne, R., Molka, D., Schmidt, M., Nagel, W.E.: Power measurement techniques on standard compute nodes: A quantitative comparison. In: Proc. Int. Symposium on Performance Analysis of Systems & Software (ISPASS). pp. 194–204. IEEE (2013). https://doi.org/10.1109/ISPASS.2013.6557170
Hackenberg, D., Schöne, R., Ilsche, T., Molka, D., Schuchart, J., Geyer, R.: An energy efficiency feature survey of the Intel Haswell processor. In: Proc. Int. Parallel and Distributed Processing Symposium (IPDPS). pp. 896–904. IEEE (2015). https://doi.org/10.1109/IPDPSW.2015.70
Hähnel, M., Döbel, B., Völp, M., Härtig, H.: Measuring energy consumption for short code paths using RAPL. SIGMETRICS Performance Evaluation Review 40(3), 13–17 (2012). https://doi.org/10.1145/2425248.2425252
Hindle, A.: Green software engineering: The curse of methodology. Tech. Rep. 4:e1470v2, PeerJ PrePrints (2016). https://doi.org/10.7287/peerj.preprints.1470v2
Ilsche, T., Hackenberg, D., Graul, S., Schöne, R., Schuchart, J.: Power measurements for compute nodes: Improving sampling rates, granularity and accuracy. In: Proc. Int. Green and Sustainable Computing Conference (IGSC). pp. 1–8. IEEE (2015). https://doi.org/10.1109/IGCC.2015.7393710
Intel: Intel 64 and IA-32 architectures software developer’s manual, vol. 3B, chap. 14.9 (December 2017), available at https://software.intel.com/en-us/articles/intel-sdm
Khan, K.N., Ou, Z., Hirki, M., Nurminen, J.K., Niemi, T.: How much power does your server consume? Estimating wall socket power using RAPL measurements. Computer Science - R&D 31(4), 207–214 (2016). https://doi.org/10.1007/s00450-016-0325-4
Scaramella, J., Eastwood, M.: Solutions for the data center’s thermal challenges. Tech. rep., IDC (2007), available at https://www-935.ibm.com/services/fr/igs/pdf/idc_opinion_coolblue_wp.pdf
Schuchart, J., Hackenberg, D., Schöne, R., Ilsche, T., Nagappan, R., Patterson, M.K.: The shift from processor power consumption to performance variations: Fundamental implications at scale. Computer Science - R&D 31(4), 197–205 (2016). https://doi.org/10.1007/s00450-016-0327-2
Venkatesh, A., Kandalla, K.C., Panda, D.K.: Evaluation of energy characteristics of MPI communication primitives with RAPL. In: Proc. Int. Symposium on Parallel & Distributed Processing (IPDPSW). pp. 938–945. IEEE (2013). https://doi.org/10.1109/IPDPSW.2013.243
Weaver, V.M., Johnson, M., Kasichayanula, K., Ralph, J., Luszczek, P., Terpstra, D., Moore, S.: Measuring energy and power with PAPI. In: Proc. Int. Conference on Parallel Processing Workshops (ICPPW). pp. 262–268. IEEE (2012). https://doi.org/10.1109/ICPPW.2012.39
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Beyer, D., Wendler, P. (2020). CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering. In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes in Computer Science(), vol 12079. Springer, Cham. https://doi.org/10.1007/978-3-030-45237-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-45237-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-45236-0
Online ISBN: 978-3-030-45237-7
eBook Packages: Computer ScienceComputer Science (R0)