Energy Management in Mobile Devices With the Cinder Operating System
The authors argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. They present two new low-level abstractions in the Cinder operating system, reserves and taps, which store and distribute energy for application use. They identify three key properties of control - isolation, delegation, and subdivision - and show how using these abstractions can achieve them. They also show how the architecture of the HiStar information-flow control kernel lends itself well to energy control.