2019-2020-1 20199324《Linux内核原理与分析》第九周作业

第八章 进程的切换和系统的一般执行过程

1.进程调度的时机

  • 硬中断和软中断

    • 中断:在本质上都是软件或者硬件发生了某种情形而通知处理器的行为,处理器进而停止正在运行的指令流(当前进程),对这些通知做出相应的反应,即转去执行预定义的中断处理程序(内核代码)。
    • ntel定义的中断类型主要有:
      • 硬中断:就是CPU的两根引脚(可屏蔽中断和不可屏蔽中断)。
      • 软中断/异常:包括除零错误、系统调用、调试断点等在CPU执行命令过程中发生的各种特殊情况统称为异常。异常会导致程序无法继续执行,而跳转到CPU预设的处理函数。异常分为以下三种:
        • 故障:出现问题,可以恢复到当前指令。
        • 退出:不可恢复的严重故障,导致程序无法继续运行,只能退出。
        • 陷阱:程序主动产生的异常。
  • 进程调度时机

    • schedule()函数:Linux内核通过schedule函数实现进程调度。调用schedule函数一次就是调度一次,调用schedule函数的时候就是进程调度的时机。调度schedule()函数的两种方法:
      • 进程主动调用schedule():如果进程调用阻塞的系统调用等待外设或主动睡眠等,最终都会在内核中调用到schedule函数。
      • 松散调用:内核代码中可以随时调用schedule()函数使当前内核路径让出CPU;也会根据need_resched标记做进程调度,内核检测到need_resched决定是否调用schedule函数。
    • 上下文:一般来说,CPU在任何时刻都处于以下三种情况之一
      • 运行于用户空间,执行用户进程上下文;
      • 运行于内核空间,处于进程(一般是内核线程)上下文;
      • 运行于内核空间,处于中断(中断处理程序ISR,包括系统调用处理过程)上下文。
    • 进程调度时机就是内核调用schedule()函数的时机。 进程调度时机情况总结如下:
      • 用户进程通过特定的系统调用主动让出CPU;
      • 中断处理程序在内核返回用户态时进行调度;
      • 内核线程主动调用schedule函数让出CPU;
      • 中断处理程序主动调用schedule函数让出CPU(包括以上两点)。

2.调度策略和算法

  • 进程的分类:
    • 分类1:
      • I/O消耗型进程
      • 处理器消耗型进程
    • 分类2:
      • 交互式进程
      • 批处理进程
      • 实时进程
    • 根据进程的不同分类,Linux采用不同的调度策略:
      • 对于实时进程,Linux采用FIFO或者RR的调度策略;
      • 对于其他进程,Linux采用CFS调度器,核心思想是“完全公平”。
  • 调度策略
    • 实时进程的调度策略(优先级0~99,静态设定)
      • SCHED_FIFO 先进先出
      • SCHED_RR 轮转策略(时间片)
    • 普通进程的调度策略
      • SCHED_NORMAL,使用CFS调度管理程序,普通进程只有nice值,映射到优先级为100~139。按优先级占比计算占用CPU的时间。
  • CFS调度算法(完全公平调度算法)
    • 基本原理:基于权重的动态优先级调度算法。
    • 调度周期:进程越多,周期越长;上限默认8ms;一个时间周期内队列的所有进程都会至少被调度一次。
    __sched_period = nr_running(进程数)*sysctl_sched_min_granularity(默认值为0.75ms)
    
    • 理论运行时间:每次可获取CPU后最长可占用时间为ideal_runtime.
    ideal_runtime = __sched_period * 进程权重/队列运行总权重
    
    • 虚拟运行时间:每个进程拥有一个vruntime,每次需要调度时就运行队列中拥有最小的vruntime的进程来运行,最长运行时间为ideal_runtime.
    if se->load.weight != NICE_0_LOAD
    vruntime+= delta_exec;
    else
    vruntime+= delta_exec *NICE_0_LOAD/se.load->weight
    

3.进程上下文切换

  • 为了控制进程的执行,内核必须有能力挂起正在CPU中运行的进程,并恢复执行以前挂起的进程,这个行为称为进程切换
  • 进程上下文包含了进程执行的所有信息:
    • 用户地址空间:进程代码、数据和用户堆栈等;
    • 控制信息:进程描述符、内核堆栈;
    • 硬件上下文:存储相关寄存器的值。
  • 实际代码中进程切换由两个步骤组成:
    • 切换页全局目录(RC3)以安装一个新的地址空间,这样不同的虚拟地址经过不同的页表转为不同的物理地址;
    • 切换内核态堆栈和硬件上下文。

4.Linux系统的运行过程

  • Linux系统的一般执行过程:正在运行的用户态进程X切换到用户态进程Y的过程:
    • 1.正在运行的用户态进程X;
    • 2.发生中断(包括异常,系统调用等),硬件完成以下动作:
      • save cs:eip/esp/eflags:当前CPU上下文压入用户态进程X的内核堆栈;
      • load cs:eip(entry of a specific ISR) and ss:esp(point to kernel stack)
    • 3.SAVE_ALL,保存现场
    • 4.中断处理过程中或中断返回前调用了schedule(),其中的switch_to做了关键的进程上下文切换;
    • 5.标号1,之后开始运行用户态进程Y(这里Y曾经通过以上步骤被切换出去过因此可以从标号1继续执行);
    • 6.restore_all,恢复现场;
    • 7.iret-pop cs:eip/ss:esp/eflags,从Y进程的内核堆栈中弹出(2)中硬件完成的压栈内容;
    • 8.继续运行用户态进程Y。

5.Linux系统构架与执行过程概览

  • 操作系统的基本概念

  • Linux操作系统的整体构架示意图

  • ls命令执行过程示意图

6.进程调度相关源代码跟踪和分析

配置运行MenuOS系统

另外打开一个shell命令窗口进行gdb远程调试,设置gdb远程调试和设置断点如下:

使用c继续运行:

使用list查看断点处的代码。可以看到MenuOS运行到schedule函数停下来,schedule函数是进程调度的主体函数,schedule()函数断点截图如下:

pick_next_task函数是schedule函数中的重要函数,负责根据调度策略和调度算法选择下一个进程,pick_next_task函数断点截图如下所示:

context_switch函数是schedule函数中实现进程切换的函数,context_switch函数断点截图如下所示:

switch_to是context_switch函数中进行进程关键上下文切换的函数。switch_to内部是内嵌汇编代码,无法跟踪调试。

posted @ 2019-11-15 18:12  Ylxxxxx  阅读(196)  评论(0编辑  收藏  举报