160 likes | 256 Views
Power Management for Solar-Driven Sensor Nodes. Clemens Moser. ( joint work with D. Brunelli, L. Thiele and L. Benini ). System Model Problem Statement Lazy Scheduling Admittance Test Simulation Conclusion. Outline.
E N D
Power Management for Solar-Driven Sensor Nodes Clemens Moser ( joint work with D. Brunelli, L. Thiele and L. Benini )
System Model Problem Statement Lazy Scheduling Admittance Test Simulation Conclusion Outline [1] C. Moser, D. Brunelli, L. Thiele, and L. Benini, “Real-time scheduling with regenerative energy.”, In The 18th Euromicro Conference on Real-Time Systems (ECRTS 2006), July 2006. [2] C. Moser, D. Brunelli, L. Thiele, and L. Benini, “Lazy scheduling for energy harvesting sensor nodes.”, In The Fifth IFIP Conferenceon Distributed and Parallel Embedded Systems (DIPES 2006), October 2006.
S energy source PS(t) EC(t) ≤ C energy storage PD(t) D computing device J1 J2 tasks a2, e2, d2 a1, e1, d1 System Model
Task Ji can be preempted arrives at time ai has deadline di needs total energy eito complete can consume power therefore, needs time S energy source PS(t) EC(t) ≤ C energy storage PD(t) D computing device J1 J2 tasks a2, e2, d2 a1, e1, d1 System Model
Determine an optimal on-line scheduling algorithm: If the task set is schedulable, it determines a feasible schedule. Construct an admittance test: Determine, whether a set of event streams with a given characteristic is schedulable. Problem Statement Nothing known so far …
1 2 Problem Statement - EDF Greedy scheduling is not suited.
2 1 Problem Statement - ALAP ALAP does not work either. And what happens if the energy storage is full?
Rule 1: Rule 2: Lazy Scheduling Algorithm
Theorem: If the Lazy Scheduling Algorithm LSA cannot schedule a given set of tasks, then no other scheduling algorithm can schedule it. Optimality of Lazy Scheduling Algorithm
Sketch of Proof E C Energy-Constrained t E C Time-Constrained t
Is the scheduling of the event streams feasible with LSA ? Abstraction Event stream: delay requirement energy request per event arrival curve Energy source: energy variability Admittance Test
Pmax Admittance Test Proof: The proof uses concepts of network calculus [Le Boudec, Thiran] and real-time calculus.
LSA with ES LSA with εl LSA with εu EDF Simulation Results Capacity savings of ~40% measured for random task sets for LSA with εl(Δ) compared to EDF
S PS(t) C PD(t) D 2 1 … J1 J2 a1, e1, d1 a2, e2, d2 Conclusions Optimal Lazy Admittance Test Simulation Results Scheduling Scenario Scheduling LSA with εl EDF
Modular Real-Time Analysis The Big Picture
Modular Real-Time Analysis The Big Picture