[short note] Theoretical proof on JDS

一個device是否能夠被switch off取決於使用它的那個job前後段時間的長度。
job前段時間的定義是從job release到job開始執行的時間，
job後段時間的定義是從job結束執行到下次release的時間。

會影響到device是否能夠被switch off以節省能源的條件有：
(1) task period
(2) task execution time
(3) task slack
(4) taskset使用device的情形(共用device的程度)
(5) device break-even time
(6) device wakeup time
(7) schedule algorithm

固定條件(1)(2)(4)(5)(6)，單從(3)(7)的角度下去比較EEDS & JDS
各自對job前後段時間長度的影響。