| From | Josh Don <> | Date | Tue, 28 Mar 2023 16:57:49 -0700 | Subject | Re: [PATCH 04/17] sched/fair: Add avg_vruntime |
| |
On Tue, Mar 28, 2023 at 4:06 AM Peter Zijlstra <peterz@infradead.org> wrote: [...] > +/* > + * Compute virtual time from the per-task service numbers: > + * > + * Fair schedulers conserve lag: \Sum lag_i = 0 > + * > + * lag_i = S - s_i = w_i * (V - v_i) > + * > + * \Sum lag_i = 0 -> \Sum w_i * (V - v_i) = V * \Sum w_i - \Sum w_i * v_i = 0
Small note: I think it would be helpful to label these symbols somewhere :) Weight and vruntime are fairly obvious, but I don't think 'S' and 'V' are as clear. Are these non-virtual ideal service time, and average vruntime, respectively?
|