引言
之前的文章已经将调度器的数据结构、初始化、加入进程都进行了分析,这篇文章将主要说明调度器是如何在程序稳定运行的情况下进行进程调度的。
系统定时器
因为我们主要讲解的是调度器,而会涉及到一些系统定时器的知识,这里我们简单讲解一下内核中定时器是如何组织,又是如何通过通过定时器实现了调度器的间隔调度。首先我们先看一下内核定时器的框架
![](https://i-blog.csdnimg.cn/blog_migrate/3c6a77491d0ff559e27ac89efe493d91.jpeg)
在内核中,会使用strut clock_event_device结构描述硬件上的定时器,每个硬件定时器都有其自己的精度,会根据精度每隔一段时间产生一个时钟中断。而系统会让每个CPU使用一个tick_device描述系统当前使用的硬件定时器(因为每个CPU都有其自己的运行队列),通过tick_device所使用的硬件时钟中断进行时钟滴答(jiffies)的累加(只会有一个CPU负责这件事),并且在中断中也会调用调度器,而我们在驱动中常用的低精度定时器就是通过判断jiffies实现的。而当使用高精度定时器(hrtimer)时,情况则不一样,hrtimer会生成一个普通的高精度定时器,在这个定时器中回调函数是调度器,其设置的间隔时间同时钟滴答一样。
所以在系统中,每一次时钟滴答都会使调度器判断一次是否需要进行调度。
时钟中断
当时钟发生中断时,首先会调用的是tick_handle_periodic()函数,在此函数中又主要执行tick_periodic()函数进行操作。我们先看一下tick_handle_periodic()函数:
- void tick_handle_periodic(struct clock_event_device *dev)
- {
- /* 获取当前CPU */
- int cpu = smp_processor_id();
- /* 获取下次时钟中断执行时间 */
- ktime_t next = dev->next_event;
-
- tick_periodic(cpu);
-
- /* 如果是周期触发模式,直接返回 */
- if (dev->mode != CLOCK_EVT_MODE_ONESHOT)
- return;
-
- /* 为了防止当该函数被调用时,clock_event_device中的计时实际上已经经过了不止一个tick周期,这时候,tick_periodic可能被多次调用,使得jiffies和时间可以被正确地更新。 */
- for (;;) {
- /*
- * Setup the next period for devices, which do not have
- * periodic mode:
- */
- /* 计算下一次触发时间 */
- next = ktime_add(next, tick_period);
-
- /* 设置下一次触发时间,返回0表示成功 */
- if (!clockevents_program_event(dev, next, false))
- return;
- /*
- * Have to be careful here. If we're in oneshot mode,
- * before we call tick_periodic() in a loop, we need
- * to be sure we're using a real hardware clocksource.
- * Otherwise we could get trapped in an infinite(无限的)
- * loop, as the tick_periodic() increments jiffies,
- * which then will increment time, possibly causing
- * the loop to trigger again and again.
- */
- if (timekeeping_valid_for_hres())
- tick_periodic(cpu);
- }
- }
此函数主要工作是执行tick_periodic()函数,然后判断时钟中断是单触发模式还是循环触发模式,如果是循环触发模式,则直接返回,如果是单触发模式,则执行如下操作:
- 计算下一次触发时间
- 设置下次触发时间
- 如果设置下次触发时间失败,则根据timekeeper等待下次tick_periodic()函数执行时间。
- 返回第一步
而在tick_periodic()函数中,程序主要执行路线为tick_periodic()->update_process_times()->scheduler_tick()。最后的scheduler_tick()函数则是跟调度相关的主要函数。我们在这具体先看看tick_periodic()函数和update_process_times()函数:
- /* tick_device 周期性调用此函数
- * 更新jffies和当前进程
- * 只有一个CPU是负责更新jffies的,其他的CPU只会更新当前自己的进程
- */
- static void tick_periodic(int cpu)
- {
-
- if (tick_do_timer_cpu == cpu) {
- /* 当前CPU负责更新时间 */
- write_seqlock(&jiffies_lock);
-
- /* Keep track of the next tick event */
- tick_next_period = ktime_add(tick_next_period, tick_period);
-
- /* 更新 jiffies计数,jiffies += 1 */
- do_timer(1);
- write_sequnlock(&jiffies_lock);
- /* 更新墙上时间,就是我们生活中的时间 */
- update_wall_time();
- }
- /* 更新当前进程信息,调度器主要函数 */
- update_process_times(user_mode(get_irq_regs()));
- profile_tick(CPU_PROFILING);
- }
-
-
-
-
- void update_process_times(int user_tick)
- {
- struct task_struct *p = current;
- int cpu = smp_processor_id();
-
- /* Note: this timer irq context must be accounted for as well. */
- /* 更新当前进程的内核态和用户态占用率 */
- account_process_tick(p, user_tick);
- /* 检查有没有定时器到期,有就运行到期定时器的处理 */
- run_local_timers();
- rcu_check_callbacks(cpu, user_tick);
- #ifdef CONFIG_IRQ_WORK
- if (in_irq())
- irq_work_tick();
- #endif
- /* 调度器的tick */
- scheduler_tick();
- run_posix_cpu_timers(p);
- }
- void scheduler_tick(void)
- {
- /* 获取当前CPU的ID */
- int cpu = smp_processor_id();
- /* 获取当前CPU的rq队列 */
- struct rq *rq = cpu_rq(cpu);
- /* 获取当前CPU的当前运行程序,实际上就是current */
- struct task_struct *curr = rq->curr;
- /* 更新CPU调度统计中的本次调度时间 */
- sched_clock_tick();
-
- raw_spin_lock(&rq->lock);
- /* 更新该CPU的rq运行时间 */
- update_rq_clock(rq);
- curr->sched_class->task_tick(rq, curr, 0);
- /* 更新CPU的负载 */
- update_cpu_load_active(rq);
- raw_spin_unlock(&rq->lock);
-
- perf_event_task_tick();
-
- #ifdef CONFIG_SMP
- rq->idle_balance = idle_cpu(cpu);
- trigger_load_balance(rq);
- #endif
- /* rq->last_sched_tick = jiffies; */
- rq_last_tick_reset(rq);
- }
-
-
-
-
- /*
- * CFS调度类的task_tick()
- */
- static void task_tick_fair(struct rq *rq, struct task_struct *curr, int queued)
- {
- struct cfs_rq *cfs_rq;
- struct sched_entity *se = &curr->se;
- /* 向上更新进程组时间片 */
- for_each_sched_entity(se) {
- cfs_rq = cfs_rq_of(se);
- /* 更新当前进程运行时间,并判断是否需要调度此进程 */
- entity_tick(cfs_rq, se, queued);
- }
-
- if (numabalancing_enabled)
- task_tick_numa(rq, curr);
-
- update_rq_runnable_avg(rq, 1);
- }
- static void
- entity_tick(struct cfs_rq *cfs_rq, struct sched_entity *curr, int queued)
- {
- /*
- * Update run-time statistics of the 'current'.
- */
- /* 更新当前进程运行时间,包括虚拟运行时间 */
- update_curr(cfs_rq);
-
- /*
- * Ensure that runnable average is periodically updated.
- */
- update_entity_load_avg(curr, 1);
- update_cfs_rq_blocked_load(cfs_rq, 1);
- update_cfs_shares(cfs_rq);
-
- #ifdef CONFIG_SCHED_HRTICK
- /*
- * queued ticks are scheduled to match the slice, so don't bother
- * validating it and just reschedule.
- */
- /* 若queued为1,则当前运行队列的运行进程需要调度 */
- if (queued) {
- /* 标记当前进程需要被调度出去 */
- resched_curr(rq_of(cfs_rq));
- return;
- }
- /*
- * don't let the period tick interfere with the hrtick preemption
- */
- if (!sched_feat(DOUBLE_TICK) && hrtimer_active(&rq_of(cfs_rq)->hrtick_timer))
- return;
- #endif
- /* 检查是否需要调度 */
- if (cfs_rq->nr_running > 1)
- check_preempt_tick(cfs_rq, curr);
- }
之后的文章会详细说说CFS关于进程的vruntime的处理,现在只需要知道是这样就好,在entity_tick()中,首先会更新当前进程的实际运行时间和虚拟运行时间,这里很重要,因为要使用更新后的这些数据去判断是否需要被调度。在entity_tick()函数中最后面的check_preempt_tick()函数就是用来判断进程是否需要被调度的,其判断的标准有两个:
- 先判断当前进程的实际运行时间是否超过CPU分配给这个进程的CPU时间,如果超过,则需要调度。
- 再判断当前进程的vruntime是否大于下个进程的vruntime,如果大于,则需要调度。
清楚了这两个标准,check_preempt_tick()的代码则很好理解了。
- /*
- * 检查当前进程是否需要被抢占
- * 判断方法有两种,一种就是判断当前进程是否超过了CPU分配给它的实际运行时间
- * 另一种就是判断当前进程的虚拟运行时间是否大于下个进程的虚拟运行时间
- */
- static void
- check_preempt_tick(struct cfs_rq *cfs_rq, struct sched_entity *curr)
- {
- /* ideal_runtime为进程应该运行的时间
- * delta_exec为进程增加的实际运行时间
- * 如果delta_exec超过了ideal_runtime,表示该进程应该让出CPU给其他进程
- */
- unsigned long ideal_runtime, delta_exec;
- struct sched_entity *se;
- s64 delta;
-
-
- /* slice为CFS队列中所有进程运行一遍需要的实际时间 */
- /* ideal_runtime保存的是CPU分配给当前进程一个周期内实际的运行时间,计算公式为: 一个周期内进程应当运行的时间 = 一个周期内队列中所有进程运行一遍需要的时间 * 当前进程权重 / 队列总权重
- * delta_exec保存的是当前进程增加使用的实际运行时间
- */
- ideal_runtime = sched_slice(cfs_rq, curr);
- delta_exec = curr->sum_exec_runtime - curr->prev_sum_exec_runtime;
- if (delta_exec > ideal_runtime) {
- /* 增加的实际运行实际 > 应该运行实际,说明需要调度出去 */
- resched_curr(rq_of(cfs_rq));
- /*
- * The current task ran long enough, ensure it doesn't get
- * re-elected due to buddy favours.
- */
- /* 清空cfs_rq队列的last,next,skip指针 */
- clear_buddies(cfs_rq, curr);
- return;
- }
-
- /*
- * Ensure that a task that missed wakeup preemption by a
- * narrow margin doesn't have to wait for a full slice.
- * This also mitigates buddy induced latencies under load.
- */
- if (delta_exec < sysctl_sched_min_granularity)
- return;
- /* 获取下一个调度进程的se */
- se = __pick_first_entity(cfs_rq);
- /* 当前进程的虚拟运行时间 - 下个进程的虚拟运行时间 */
- delta = curr->vruntime - se->vruntime;
-
- /* 当前进程的虚拟运行时间 大于 下个进程的虚拟运行时间,说明这个进程还可以继续运行 */
- if (delta < 0)
- return;
-
- if (delta > ideal_runtime)
- /* 当前进程的虚拟运行时间 小于 下个进程的虚拟运行时间,说明下个进程比当前进程更应该被CPU使用,resched_curr()函数用于标记当前进程需要被调度出去 */
- resched_curr(rq_of(cfs_rq));
- }
-
-
-
-
- /*
- * resched_curr - mark rq's current task 'to be rescheduled now'.
- *
- * On UP this means the setting of the need_resched flag, on SMP it
- * might also involve a cross-CPU call to trigger the scheduler on
- * the target CPU.
- */
- /* 标记当前进程需要调度,将当前进程的thread_info->flags设置TIF_NEED_RESCHED标记 */
- void resched_curr(struct rq *rq)
- {
- struct task_struct *curr = rq->curr;
- int cpu;
-
- lockdep_assert_held(&rq->lock);
-
- /* 检查当前进程是否已经设置了调度标志,如果是,则不用再设置一遍,直接返回 */
- if (test_tsk_need_resched(curr))
- return;
-
- /* 根据rq获取CPU */
- cpu = cpu_of(rq);
- /* 如果CPU = 当前CPU,则设置当前进程需要调度标志 */
- if (cpu == smp_processor_id()) {
- /* 设置当前进程需要被调度出去的标志,这个标志保存在进程的thread_info结构上 */
- set_tsk_need_resched(curr);
- /* 设置CPU的内核抢占 */
- set_preempt_need_resched();
- return;
- }
-
- /* 如果不是处于当前CPU上,则设置当前进程需要调度,并通知其他CPU */
- if (set_nr_and_not_polling(curr))
- smp_send_reschedule(cpu);
- else
- trace_sched_wake_idle_without_ipi(cpu);
- }
- static void __sched __schedule(void)
- {
- /* prev保存换出进程(也就是当前进程),next保存换进进程 */
- struct task_struct *prev, *next;
- unsigned long *switch_count;
- struct rq *rq;
- int cpu;
-
- need_resched:
- /* 禁止抢占 */
- preempt_disable();
- /* 获取当前CPU ID */
- cpu = smp_processor_id();
- /* 获取当前CPU运行队列 */
- rq = cpu_rq(cpu);
- rcu_note_context_switch(cpu);
- prev = rq->curr;
-
- schedule_debug(prev);
-
- if (sched_feat(HRTICK))
- hrtick_clear(rq);
-
- /*
- * Make sure that signal_pending_state()->signal_pending() below
- * can't be reordered with __set_current_state(TASK_INTERRUPTIBLE)
- * done by the caller to avoid the race with signal_wake_up().
- */
- smp_mb__before_spinlock();
- /* 队列上锁 */
- raw_spin_lock_irq(&rq->lock);
- /* 当前进程非自愿切换次数 */
- switch_count = &prev->nivcsw;
-
- /*
- * 当内核抢占时会置位thread_info的preempt_count的PREEMPT_ACTIVE位,调用schedule()之后会清除,PREEMPT_ACTIVE置位表明是从内核抢占进入到此的
- * preempt_count()是判断thread_info的preempt_count整体是否为0
- * prev->state大于0表明不是TASK_RUNNING状态
- *
- */
- if (prev->state && !(preempt_count() & PREEMPT_ACTIVE)) {
- /* 当前进程不为TASK_RUNNING状态并且不是通过内核态抢占进入调度 */
- if (unlikely(signal_pending_state(prev->state, prev))) {
- /* 有信号需要处理,置为TASK_RUNNING */
- prev->state = TASK_RUNNING;
- } else {
- /* 没有信号挂起需要处理,会将此进程移除运行队列 */
- /* 如果代码执行到此,说明当前进程要么准备退出,要么是处于即将睡眠状态 */
- deactivate_task(rq, prev, DEQUEUE_SLEEP);
- prev->on_rq = 0;
-
- /*
- * If a worker went to sleep, notify and ask workqueue
- * whether it wants to wake up a task to maintain
- * concurrency.
- */
- if (prev->flags & PF_WQ_WORKER) {
- /* 如果当前进程处于一个工作队列中 */
- struct task_struct *to_wakeup;
-
- to_wakeup = wq_worker_sleeping(prev, cpu);
- if (to_wakeup)
- try_to_wake_up_local(to_wakeup);
- }
- }
- switch_count = &prev->nvcsw;
- }
-
- /* 更新rq运行队列时间 */
- if (task_on_rq_queued(prev) || rq->skip_clock_update < 0)
- update_rq_clock(rq);
-
- /* 获取下一个调度实体,这里的next的值会是一个进程,而不是一个调度组,在pick_next_task会递归选出一个进程 */
- next = pick_next_task(rq, prev);
- /* 清除当前进程的thread_info结构中的flags的TIF_NEED_RESCHED和PREEMPT_NEED_RESCHED标志位,这两个位表明其可以被调度调出(因为这里已经调出了,所以这两个位就没必要了) */
- clear_tsk_need_resched(prev);
- clear_preempt_need_resched();
- rq->skip_clock_update = 0;
-
- if (likely(prev != next)) {
- /* 该CPU进程切换次数加1 */
- rq->nr_switches++;
- /* 该CPU当前执行进程为新进程 */
- rq->curr = next;
-
- ++*switch_count;
-
- /* 这里进行了进程上下文的切换 */
- context_switch(rq, prev, next); /* unlocks the rq */
- /*
- * The context switch have flipped the stack from under us
- * and restored the local variables which were saved when
- * this task called schedule() in the past. prev == current
- * is still correct, but it can be moved to another cpu/rq.
- */
- /* 新的进程有可能在其他CPU上运行,重新获取一次CPU和rq */
- cpu = smp_processor_id();
- rq = cpu_rq(cpu);
- }
- else
- raw_spin_unlock_irq(&rq->lock); /* 这里意味着下个调度的进程就是当前进程,释放锁不做任何处理 */
- /* 上下文切换后的处理 */
- post_schedule(rq);
-
- /* 重新打开抢占使能但不立即执行重新调度 */
- sched_preempt_enable_no_resched();
- if (need_resched())
- goto need_resched;
- }
- static inline struct task_struct *
- pick_next_task(struct rq *rq, struct task_struct *prev)
- {
- const struct sched_class *class = &fair_sched_class;
- struct task_struct *p;
-
- /*
- * Optimization: we know that if all tasks are in
- * the fair class we can call that function directly:
- */
-
- if (likely(prev->sched_class == class && rq->nr_running == rq->cfs.h_nr_running)) {
- /* 所有进程都处于CFS运行队列中,所以就直接使用cfs的调度类 */
- p = fair_sched_class.pick_next_task(rq, prev);
- if (unlikely(p == RETRY_TASK))
- goto again;
-
- /* assumes fair_sched_class->next == idle_sched_class */
- if (unlikely(!p))
- p = idle_sched_class.pick_next_task(rq, prev);
-
- return p;
- }
-
- again:
- /* 在其他调度类中包含有其他进程,从最高优先级的调度类迭代到最低优先级的调度类,并选择最优的进程运行 */
- for_each_class(class) {
- p = class->pick_next_task(rq, prev);
- if (p) {
- if (unlikely(p == RETRY_TASK))
- goto again;
- return p;
- }
- }
-
- BUG(); /* the idle class will always have a runnable task */
- }
- #define for_each_class(class) \
- for (class = sched_class_highest; class; class = class->next)
- 调度类优先级顺序: stop_sched_class -> dl_sched_class -> rt_sched_class -> fair_sched_class -> idle_sched_class
- static inline void
- context_switch(struct rq *rq, struct task_struct *prev,
- struct task_struct *next)
- {
- struct mm_struct *mm, *oldmm;
-
- prepare_task_switch(rq, prev, next);
-
- mm = next->mm;
- oldmm = prev->active_mm;
- /*
- * For paravirt, this is coupled with an exit in switch_to to
- * combine the page table reload and the switch backend into
- * one hypercall.
- */
- arch_start_context_switch(prev);
-
- if (!mm) {
- /* 如果新进程的内存描述符为空,说明新进程为内核线程 */
- next->active_mm = oldmm;
- atomic_inc(&oldmm->mm_count);
- /* 通知底层不需要切换虚拟地址空间
- * if (this_cpu_read(cpu_tlbstate.state) == TLBSTATE_OK)
- * this_cpu_write(cpu_tlbstate.state, TLBSTATE_LAZY);
- */
- enter_lazy_tlb(oldmm, next);
- } else
- /* 切换虚拟地址空间 */
- switch_mm(oldmm, mm, next);
-
- if (!prev->mm) {
- /* 如果被切换出去的进程是内核线程 */
- prev->active_mm = NULL;
- /* 归还借用的oldmm */
- rq->prev_mm = oldmm;
- }
- /*
- * Since the runqueue lock will be released by the next
- * task (which is an invalid locking op but in the case
- * of the scheduler it's an obvious special-case), so we
- * do an early lockdep release here:
- */
- spin_release(&rq->lock.dep_map, 1, _THIS_IP_);
-
- context_tracking_task_switch(prev, next);
-
- /* 切换寄存器和内核栈,还会重新设置current为切换进去的进程 */
- switch_to(prev, next, prev);
-
- /* 同步 */
- barrier();
- /*
- * this_rq must be evaluated again because prev may have moved
- * CPUs since it called schedule(), thus the 'rq' on its stack
- * frame will be invalid.
- */
- finish_task_switch(this_rq(), prev);
- }
到这里整个进程的选择和切换就已经完成了。
总结
整个调度器大概原理和源码已经分析完成,其他更多细节,如CFS的一些计算和处理,实时进程的处理等,将在其他文章进行详细解释。