据我所知,这个地方sched_child_runs_first
功能的实现是在task_fork_fair
函数,您可以看到其来源here.
该函数的关键部分如下所示:
if (curr)
se->vruntime = curr->vruntime;
place_entity(cfs_rq, se, 1);
if (sysctl_sched_child_runs_first && curr && entity_before(curr, se)) {
swap(curr->vruntime, se->vruntime);
resched_task(rq->curr);
}
se是新的调度实体并且curr是当前任务的调度实体。
请注意,vruntime新实体首先使用与当前任务相同的值进行初始化。这很重要,因为entity_before
调用正在检查是否vruntime of curr小于vruntime of se.
因此,该条件成功的唯一方法是place_entity
调用设置vruntime of se到更大的事情。那么让我们看看source为了那个原因。关键位是:
u64 vruntime = cfs_rq->min_vruntime;
if (initial && sched_feat(START_DEBIT))
vruntime += sched_vslice(cfs_rq, se);
se->vruntime = max_vruntime(se->vruntime, vruntime);
所以假设START_DEBIT
功能已设置(其中似乎是这样),那么vruntime将被设置为运行队列的分钟虚拟运行时间加上无论什么sched_vslice
呼叫返回。如果这个值大于当前值vruntime那么我们就准备好了——如果没有,我们将只剩下我们最初的vruntime值和条件不会成功。
我不太了解 Linux 调度,无法肯定地说,但我猜分钟虚拟运行时间 plus sched_vslice
大多数时候只是不够大。
我说大多数时候是因为,当我测试时,我至少在某些时候能够让子进程先运行。所以有可能sched_child_runs_first
参数确实有影响——它只是不能保证任何事情。
另一种可能性是,这是代码中的错误,他们应该从当前任务的开始vruntime而不是运行队列的分钟虚拟运行时间当计算初始值时place_entity
功能。这将保证条件成功。但我怀疑他们这样做是有原因的,但我只是不明白。