JouleGuard: Energy guarantees for approximate applications

SOSP 2015 - Proceedings of the 25th ACM Symposium on Operating Systems Principles

Volumn , Issue , 2015, Pages 198-214

  Hoffmann, Henry ^a  

^a THE UNIVERSITY OF CHICAGO   (United States)

Author keywords

Adaptive software; Control theory; Dynamic systems

Indexed keywords

BUDGET CONTROL; COMPUTATION THEORY; CONTROL THEORY; DYNAMICAL SYSTEMS; ENERGY UTILIZATION; MOBILE DEVICES;

ADAPTIVE SOFTWARE; BATTERY LIFE; COMPUTING FRAMEWORKS; DATA CENTERS; ENERGY BUDGETS; NEAR-OPTIMAL; RUNTIME CONTROL; SYSTEM RESOURCES;

ADAPTIVE CONTROL SYSTEMS;

EID: 84957971029     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2815400.2815403     Document Type: Conference Paper

References (72)

1. J. Ansel, M. Pacula, Y. L. Wong, C. Chan, M. Olszewski, U.-M. O'Reilly, and S. Amarasinghe. "Siblingrivalry: online autotuning through local competitions". In: CASES. 2012.
2. J. Ansel, Y. L. Wong, C. Chan, M. Olszewski, A. Edelman, and S. Amarasinghe. "Language and compiler support for auto-tuning variable-accuracy algorithms". In: CGO. 2011.
3. K. J. Astrom and B. Wittenmark. Adaptive Control. 2nd. Addison-Wesley Longman Publishing Co., Inc., 1994.
4. L. Avinash, C. C. Enz, K. V. Palem, and C. Piguet. "Designing Energy-Efficient Arithmetic Operators Using Inexact Computing". In: J. Low Power Electronics 9.1 (2013).
5. W. Baek and T. Chilimbi. "Green: A Framework for Supporting Energy-Conscious Programming using Controlled Approximation". In: PLDI. June 2010.
6. R. Bitirgen, E. Ipek, and J. F. Martinez. "Coordinated management of multiple interacting resources in chip multiprocessors: A machine learning approach". In: MICRO. 2008.
7. M. Carbin, D. Kim, S. Misailovic, and M. C. Rinard. "Proving acceptability properties of relaxed nonde-terministic approximate programs". In: PLDI. 2012.
8. M. Carbin, S. Misailovic, and M. C. Rinard. "Verifying quantitative reliability for programs that execute on unreliable hardware". In: OOPSLA. 2013.
9. F. Chang and V. Karamcheti. "Automatic Configuration and Run-time Adaptation of Distributed Applications". In: HPDC. 2000.
10. C. Dubach, T. M. Jones, E. V. Bonilla, and M. F. P. O'Boyle. "A Predictive Model for Dynamic Microarchitectural Adaptivity Control". In: MICRO. 2010.
11. P. D. Düben, J. Joven, A. Lingamneni, H. McNamara, G. De Micheli, K. V. Palem, and T. N. Palmer. "On the use of inexact, pruned hardware in atmospheric modelling". In: Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 372.2018 (2014).
12. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. "Architecture support for disciplined approximate programming". In: ASPLOS. 2012.
13. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. "Neural Acceleration for General-Purpose Approximate Programs". In: MICRO. 2012.
14. A. Filieri, H. Hoffmann, and M. Maggio. "Automated design of self-adaptive software with control-theoretical formal guarantees". In: ICSE. 2014.
15. J. Flinn and M. Satyanarayanan. "Managing battery lifetime with energy-aware adaptation". In: ACM Trans. Comp. Syst. 22.2 (May 2004).
16. J. Flinn and M. Satyanarayanan. "Energy-aware adaptation for mobile applications". In: SOSP. 1999.
17. A. Goel, D. Steere, C. Pu, and J. Walpole. "SWiFT: A Feedback Control and Dynamic Reconfiguration Toolkit". In: 2nd USENIX Windows NT Symposium. 1998.
18. J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury. Feedback Control of Computing Systems. John Wiley & Sons, 2004.
19. J. Heo and T. F. Abdelzaher. "AdaptGuard: guarding adaptive systems from instability". In: ICAC. 2009.
20. H. Hoffmann. "Racing vs. Pacing to Idle: A Comparison of Heuristics for Energy-aware Resource Allocation". In: HotPower. 2013.
21. H. Hoffmann. "CoAdapt: Predictable Behavior for Accuracy-Aware Applications Running on Power-Aware Systems". In: ECRTS. 2014.
22. H. Hoffmann, A. Agarwal, and S. Devadas. "Selecting Spatiotemporal Patterns for Development of Parallel Applications". In: IEEE Trans. Parallel Distrib. Syst. 23.10 (2012).
23. H. Hoffmann and M. Maggio. "PCP: A Generalized Approach to Optimizing Performance Under Power Constraints through Resource Management". In: ICAC. 2014.
24. H. Hoffmann, M. Maggio, M. D. Santambrogio, A. Leva, and A. Agarwal. "A Generalized Software Framework for Accurate and Efficient Managment of Performance Goals". In: EMSOFT. 2013.
25. H. Hoffmann, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard. Using Code Perforation to Improve Performance, Reduce Energy Consumption, and Respond to Failures. Tech. rep. MIT-CSAIL-TR-2009-042. MIT, 2009.
26. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. "Dynamic Knobs for Responsive Power-Aware Computing". In: ASPLOS. 2011.
27. T. Horvath, T. Abdelzaher, K. Skadron, and X. Liu. "Dynamic Voltage Scaling in Multitier Web Servers with End-to-End Delay Control". In: IEEE Transactions on Computers 56.4 (2007).
28. C. Imes, D. H. K. Kim, M. Maggio, and H. Hoffmann. "POET: A Portable Approach to Minimizing Energy Under Soft Real-time Constraints". In: RTAS. 2015.
29. E. Kalyvianaki, T. Charalambous, and S. Hand. "Self-adaptive and self-configured CPU resource provisioning for virtualized servers using Kalman filters". In: ICAC. 2009.
30. E. Kalyvianaki, T. Charalambous, and S. Hand. "Adaptive Resource Provisioning for Virtualized Servers Using Kalman Filters". In: ACM Trans. Auton. Adapt. Syst. 9.2 (2014).
31. M. Kambadur and M. Kim. Energy Exchanges: Internal Power Oversight for Applications. Tech. rep. CUCS-009-14. Columbia, 2014.
32. M. Kambadur and M. Kim. "Trading Functionality for Power within Applications". In: APPROX. 2014.
33. M. N. Katehakis and A. F. Veinott. "The Multi-Armed Bandit Problem: Decomposition and Computation". In: Mathematics of Operations Research 12.2 (1987).
34. M. Kim, M.-O. Stehr, C. Talcott, N. Dutt, and N. Venkatasubramanian. "xTune: A Formal Methodology for Cross-layer Tuning of Mobile Embedded Systems". In: ACM Trans. Embed. Comput. Syst. 11.4 (Jan. 2013).
35. E. Le Sueur and G. Heiser. "Slow Down or Sleep, That is the Question". In: USENIX ATC. 2011.
36. W. Levine. The control handbook. Ed. by W. Levine. CRC Press, 2005.
37. B. Li and K. Nahrstedt. "A control-based middleware framework for quality-of-service adaptations". In: IEEE Journal on Selected Areas in Communications 17.9 (Sept. 1999).
38. X. Li, R. Gupta, S. V. Adve, and Y. Zhou. "Crosscomponent energy management: Joint adaptation of processor and memory". In: ACM Trans. Archit. Code Optim. 4.3 (Sept. 2007).
39. S. Liu, K. Pattabiraman, T. Moscibroda, and B. G. Zorn. "Flikker: saving DRAM refresh-power through critical data partitioning". In: ASPLOS. 2011.
40. M. Maggio, E. Bini, G. C. Chasparis, and K.-E. Årzén. "A Game-Theoretic Resource Manager for RT Applications". In: ECRTS. 2013.
41. M. Maggio, H. Hoffmann, A. V. Papadopoulos, J. Panerati, M. D. Santambrogio, A. Agarwal, and A. Leva. "Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems". In: ACM Trans. Auton. Adapt. Syst. 7.4 (Dec. 2012).
42. M. Maggio, H. Hoffmann, M. D. Santambrogio, A. Agarwal, and A. Leva. "Power Optimization in Embedded Systems via Feedback Control of Resource Allocation". In: IEEE Trans. on Control Systems Technology 21.1 (2013).
43. D. Meisner, C. M. Sadler, L. A. Barroso, W.-D. Weber, and T. F. Wenisch. "Power management of online data-intensive services". In: ISCA (2011).
44. N. Mishra, H. Zhang, J. D. Lafferty, and H. Hoffmann. "A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints". In: ASPLOS. 2015.
45. A. Miyoshi, C. Lefurgy, E. Van Hensbergen, R. Rajamony, and R. Rajkumar. "Critical Power Slope: Understanding the Runtime Effects of Frequency Scaling". In: ICS. 2002.
46. K. V. Palem. "Energy aware algorithm design via probabilistic computing: from algorithms and models to Moore's law and novel (semiconductor) devices". In: CASES. 2003.
47. K. V. Palem and L. Avinash. "Ten Years of Building Broken Chips: The Physics and Engineering of Inexact Computing". In: ACM Trans. Embedded Comput. Syst. 12.2s (2013).
48. R. Rajkumar, C. Lee, J. Lehoczky, and D. Siewiorek. "A resource allocation model for QoS management". In: RTSS. 1997.
49. M. Rinard. "Probabilistic accuracy bounds for fault-tolerant computations that discard tasks". In: ICS. 2006.
50. M. C. Rinard, H. Hoffmann, S. Misailovic, and S. Sidiroglou. "Patterns and statistical analysis for understanding reduced resource computing". In: OOPSLA. 2010.
51. E. Rotem, A. Naveh, D. R. amd Avinash Ananthakrishnan, and E. Weissmann. "Power management architecture of the 2nd generation Intel Core microarchitecture, formerly codenamed Sandy Bridge". In: Hot Chips. Aug. 2011.
52. A. Roy, S. M. Rumble, R. Stutsman, P. Levis, D. Mazières, and N. Zeldovich. "Energy Management in Mobile Devices with the Cinder Operating System". In: EuroSys. 2011.
53. M. Salehie and L. Tahvildari. "Self-adaptive software: Landscape and research challenges". In: ACM Trans. Auton. Adapt. Syst. 4.2 (2009).
54. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. "EnerJ: approximate data types for safe and general low-power computation". In: PLDI. 2011.
55. A. Sharifi, S. Srikantaiah, A. K. Mishra, M. Kandemir, and C. R. Das. "METE: meeting end-to-end QoS in multicores through system-wide resource management". In: SIGMETRICS. 2011.
56. K. Shen, A. Shriraman, S. Dwarkadas, X. Zhang, and Z. Chen. "Power Containers: An OS Facility for Fine-grained Power and Energy Management on Multicore Servers". In: ASPLOS. 2013.
57. M. Shoushtari, A. BanaiyanMofrad, and N. D. Dutt. "Exploiting Partially-Forgetful Memories for Approximate Computing". In: Embedded Systems Letters 7.1 (2015).
58. S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, and M. Rinard. "Managing performance vs. accuracy trade-offs with loop perforation". In: ESEC/FSE. 2011.
59. D. C. Snowdon, E. Le Sueur, S. M. Petters, and G. Heiser. "Koala: A Platform for OS-level Power Management". In: EuroSys. 2009.
60. J. Sorber, A. Kostadinov, M. Garber, M. Brennan, M. D. Corner, and E. D. Berger. "Eon: a language and runtime system for perpetual systems". In: Sen-Sys. 2007.
61. D. C. Steere, A. Goel, J. Gruenberg, D. McNamee, C. Pu, and J. Walpole. "A Feedback-driven Proportion Allocator for Real-rate Scheduling". In: OSDI. 1999.
62. X. Sui, A. Lenharth, D. S. Fussell, and K. Pingali. "Tuning Variable-fidelity Approximate Programs". In: WACAS. 2015.
63. SWISH++. http://swishplusplus.sourceforge.net/.
64. A. Tannebaum. Modern Operating Systems. Pearson/Prentice Hall, 2008.
65. M. Tokic. "Adaptive ε-Greedy Exploration in Reinforcement Learning Based on Value Differences". In: KI. 2010.
66. V. Vardhan, W. Yuan, A. F. H. III, S. V. Adve, R. Kravets, K. Nahrstedt, D. G. Sachs, and D. L. Jones. "GRACE-2: integrating fine-grained application adaptation with global adaptation for saving energy". In: IJES 4.2 (2009).
67. A. Verma, G. Dasgupta, T. K. Nayak, P. De, and R. Kothari. "Server workload analysis for power minimization using consolidation". In: USENIX ATC. 2009.
68. M. Weiser, B. B. Welch, A. J. Demers, and S. Shenker. "Scheduling for Reduced CPU Energy". In: OSDI. 1994.
69. W. Yuan and K. Nahrstedt. "Energy-efficient soft real-time CPU scheduling for mobile multimedia systems". In: SOSP. 2003.
70. R. Zhang, C. Lu, T. Abdelzaher, and J. Stankovic. "ControlWare: A middleware architecture for Feedback Control of Software Performance". In: ICDCS. 2002.
71. Y. Zhou and D. Wentzlaff. "The sharing architecture: sub-core configurability for IaaS clouds". In: ASPLOS. 2014.
72. S. Zhuravlev, J. C. Saez, S. Blagodurov, A. Fedorova, and M. Prieto. "Survey of Energy-Cognizant Scheduling Techniques". In: IEEE Trans. Parallel Distrib. Syst. 24.7 (2013).