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.