To fix it, add a variable in structure sched_bvt_control, which is shared by all thread objects in a pCPU. The variable is used to record the avt of the last thread object removed from runqueue. This value is used to update the svt when there is no object in runqueue.
Does the BVT paper mention this case? Can you please paste the related statements?