We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level abstractions in the Cinder operating system, reserves and taps, which store and distribute energy for application use. We identify three key properties of control - isolation, delegation, and subdivision - and show how using these abstractions can achieve them. We also show how the architecture of the HiStar information-flow control kernel lends itself well to energy control. We prototype and evaluate Cinder on a popular smartphone, the Android G1. Copyright © 2011 ACM.
|Original language||English (US)|
|Title of host publication||Proceedings of the sixth conference on Computer systems - EuroSys '11|
|Publisher||Association for Computing Machinery (ACM)|
|Number of pages||14|
|State||Published - 2011|