我了解到在/proc/sys/kernel/sched_child_runs_first
中设置非零值会强制子进程在父进程之前运行。但是,我认为它似乎不起作用。这是我的代码:
#include <stdio.h>
#include <sys/types.h>
int main(int argc, char **argv)
{
pid_t child_pid;
switch(child_pid = fork())
{
case 0:
printf("In Child\n");
exit(0);
case -1:
printf("Could not fork()\n");
default:
printf("In parent\n");
}
return 0;
}
我得到的输出总是:
In parent
In Child
我在这里期待有什么问题吗?
PS:我只是在试验它是否有效,所以请不要建议其他同步机制或为什么这是一个坏主意等等。答案 0 :(得分:8)
据我所知,实现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
调用正在检查 curr 的 vruntime 是否小于 se的 vruntime
因此条件成功的唯一方法是place_entity
调用将 se 的 vruntime 设置为更大的值。那么让我们看一下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
功能(seems to be the case),则 vruntime 将设置为运行队列的 min_vruntime 加上任何内容sched_vslice
调用返回。如果这大于当前 vruntime 那么我们就设置了 - 如果没有,我们将留下我们的初始 vruntime 值,条件将不会成功。
我不太清楚Linux调度,但我猜测 min_vruntime 加上sched_vslice
大部分时间都不够大。
我说大部分时间是因为,当我测试时,我能够让孩子进程至少在某些时候首先运行。所以sched_child_runs_first
参数确实可能会产生影响 - 它不是任何保证。
另一种可能性是它是代码中的一个错误,它们应该在计算初始值时以当前任务的 vruntime 而不是运行队列的 min_vruntime 开始在place_entity
函数中。这将保证条件成功。但我怀疑有理由按照我们不理解的方式做事。