如果自创建进程以来计算 vruntime ,那么如果它与一个新创建的受处理器绑定的进程竞争,那么这个进程怎么会获得一个处理器呢?
正如我所读到的,规则很简单:选择最左边的叶子,这是一个运行时间最短的进程。
谢谢!
如果自创建进程以来计算 vruntime ,那么如果它与一个新创建的受处理器绑定的进程竞争,那么这个进程怎么会获得一个处理器呢?
正如我所读到的,规则很简单:选择最左边的叶子,这是一个运行时间最短的进程。
谢谢!
CFS的内核文档掩盖了您的问题的答案,但简要提及:
实际上,任务的虚拟运行时间是其实际运行时间,归一化为正在运行的任务总数。
所以,vruntime
实际上是归一化的。但是文档没有详细说明。
规范化是通过一个min_vruntime
值发生的。该min_vruntime
值记录在 CFS 运行队列 ( struct cfs_rq
) 中。该min_vruntime
值是vruntime
rbtree 中所有任务中最小的。该值还用于跟踪cfs_rq
.
enqueue_entity()
您可以观察在 CFS代码中执行的规范化示例:
2998 static void
2999 enqueue_entity(struct cfs_rq *cfs_rq, struct sched_entity *se, int flags)
3000 {
3001 /*
3002 * Update the normalized vruntime before updating min_vruntime
3003 * through calling update_curr().
3004 */
3005 if (!(flags & ENQUEUE_WAKEUP) || (flags & ENQUEUE_WAKING))
3006 se->vruntime += cfs_rq->min_vruntime;
3007
3008 /*
3009 * Update run-time statistics of the 'current'.
3010 */
3011 update_curr(cfs_rq);
...
3031 }
您还可以观察如何update_curr()
保持更新:vruntime
min_vruntime
701 static void update_curr(struct cfs_rq *cfs_rq)
702 {
703 struct sched_entity *curr = cfs_rq->curr;
...
713
714 curr->exec_start = now;
...
719 curr->sum_exec_runtime += delta_exec;
...
722 curr->vruntime += calc_delta_fair(delta_exec, curr);
723 update_min_vruntime(cfs_rq);
...
733 account_cfs_rq_runtime(cfs_rq, delta_exec);
734 }
实际更新min_vruntime
发生在恰当命名的update_min_vruntime()
函数中:
457 static void update_min_vruntime(struct cfs_rq *cfs_rq)
458 {
459 u64 vruntime = cfs_rq->min_vruntime;
460
461 if (cfs_rq->curr)
462 vruntime = cfs_rq->curr->vruntime;
463
464 if (cfs_rq->rb_leftmost) {
465 struct sched_entity *se = rb_entry(cfs_rq->rb_leftmost,
466 struct sched_entity,
467 run_node);
468
469 if (!cfs_rq->curr)
470 vruntime = se->vruntime;
471 else
472 vruntime = min_vruntime(vruntime, se->vruntime);
473 }
474
475 /* ensure we never gain time by being placed backwards. */
476 cfs_rq->min_vruntime = max_vruntime(cfs_rq->min_vruntime, vruntime);
...
481 }
通过确保min_vruntime
正确更新,它遵循基于min_vruntime
保持一致的规范化。min_vruntime
(您可以通过 grepping 中的“normalize”或“min_vruntime”来查看更多基于规范化的示例fair.c
。)
因此,简单来说,所有 CFS 任务的vruntime
值都基于当前的 进行标准化min_vruntime
,这确保在您的示例中,新任务的值vruntime
将迅速与旧任务的值接近平衡vruntime
。(我们知道这一点是因为文档说明它min_vruntime
是单调递增的。)