RE: [PATCH v3] sched/fair: make task join/leave scheduling more stable

From: wangtao
Date: Thu Dec 11 2025 - 02:05:07 EST


The update of sum_jlag on task leave follows a bounded-disturbance (BIBS/ISS-type) model. I'll send a new patch with the proof that J is indeed bounded.