韩玉琪 + 原创作品转载请注明出处 + 《Linux内核分析》MOOC课程http://mooc.study.163.com/course/USTC-1000029000
一、进程切换的关键代码
- 操作系统原理中介绍了大量进程调度算法，这些算法从实现的角度看仅仅是从运行队列中选择一个新进程，选择的过程中运用了不同的策略而已。
- 对于理解操作系统的工作机制，反而是进程的调度时机与进程的切换机制更为关键。
1. 进程的调度时机
不同类型的进程有不同的调度需求
（1）第一种分类：
- I/O-bound
- 频繁的进行I/O
- 通常会花费很多时间等待I/O操作的完成
- CPU-bound
- 计算密集型
- 需要大量的CPU时间进行运算
（2）第二种分类
- 批处理进程（batch process）
- 不必与用户交互，通常在后台运行
- 不必很快响应
- 典型的批处理程序：编译程序、科学计算
- 实时进程（real-time process）
- 有实时需求，不应被低优先级的进程阻塞
- 响应时间要短、要稳定
- 典型的实时进程：视频/音频、机械控制等
- 交互式进程（interactive process）
- 需要经常与用户交互，因此要花很多时间等待用户输入操作
- 响应时间要快，平均延迟要低于50~150ms
- 典型的交互式程序：shell、文本编辑程序、图形应用程序等
2. Linux中的进程调度
- Linux既支持普通的分时进程，也支持实时进程
- Linux中的调度是多种调度策略和调度算法的混合。
调度策略：一组规则，它们决定什么时候以怎样的方式选择一个新进程运行。
-
Linux的调度基于分时和优先级：随着版本的变化，分时技术在不断变化
-
Linux的进程根据优先级排队
- 根据特定的算法计算出进程的优先级，用一个值表示
- 这个值表示把进程如何适当的分配给CPU
-
Linux中进程的优先级是动态的
-
调度程序会根据进程的行为周期性的调整进程的优先级
较长时间未分配到CPU的进程，通常↑ 已经在CPU上运行了较长时间的进程，通常↓
-
-
内核中的调度算法相关代码使用了类似OOD中的策略模式，将调度算法与其他部分解耦合。
OOD：面向对象设计
3. schedule函数实现调度
（1）进程调度的时机（important）
- 中断处理过程（包括时钟中断、I/O中断、系统调用和异常）中，直接调用schedule()，或者返回用户态时根据 need_resched 标记调用schedule()；
- 内核线程可以直接调用schedule()进行进程切换，也可以在中断处理过程中进行调度，也就是说内核线程作为一类的特殊的进程可以主动调度，也可以被动调度；
- 用户态进程无法实现主动调度，仅能通过陷入内核态后的某个时机点进行调度，即在中断处理过程中进行调度。
- 用户态被动调度
- 内核线程只有内核态没有用户态的特殊进程，无需系统调用。
（2）进程的切换
为了控制进程的执行，内核必须有能力挂起正在CPU上执行的进程，并恢复以前挂起的某个进程的执行，这叫做进程切换、任务切换、上下文切换。
-
挂起正在CPU上执行的进程，与中断时保存现场是不同的，中断前后是在同一个进程上下文中，只是由用户态转向内核态执行。
-
进程上下文包含了进程执行需要的所有信息
用户地址空间：包括程序代码，数据，用户堆栈等 控制信息：进程描述符，内核堆栈等 硬件上下文（中断也要保存硬件上下文只是保存的方法不同）
4. 进程上下文切换代码分析
schedule()函数选择一个新的进程来运行，并调用context_ switch进行上下文的切换，这个宏调用switch _to来进行关键上下文切换。
（1）schedule()函数
- 切换时候，调用call schedule()；来执行schedule（）函数
- 使用struct task_struct *tsk = current; 来获取当前进程；sched_ submit _work(tsk); 避免死锁；最后调用 ＿schedule()来处理切换过程
- next = pick_ next _task(rq, prev);，＿ schedule()中用来确定使用哪一种进程调度的策略。但总是选择了下一个进程来进行切换，即根据调度策略选择一个优先级最高的任务将其定为下一个进程，最后都是调用context _switch来进行进程上下文的切换过程。
（2）context_switch
- context_switch(rq, prev, next);
- 进程上下文切换
- 其中prepare_ task _ switch（）函数是完成切换前的准备工作；接着后面判断当前进程是不是内核线程，如果是内核线程，则不需要切换上下文。
- 接着调用switch_mm(),把虚拟内存从一个进程映射切换到新进程中
- 调用switch_to(),从上一个进程的处理器状态切换到新进程的处理器状态。这包括保存、恢复栈信息和寄存器信息。
（3）switch_to
- switch_to
- 利用了prev和next两个参数：prev指向当前进程，next指向被调度的进程。
- switch_to是一个宏定义，切换堆栈和寄存器的状态，完成的工作主要是：
保存当前进程的flags状态和当前进程的ebp
“pushfl
” /* save flags */
“pushl %%ebp
” /* save EBP */
完成内核堆在esp的切换
“movl %%esp,%[prev_sp]
” /* save ESP */
“movl %[next_sp],%%esp
” /* restore ESP */
进程切换的时候，要修改堆栈，eip等数据．在switch_to中完成了这个工作。
保存eip的值
“movl $1f,%[prev_ip]
” /* save EIP */
“pushl %[next_ip]
” /* restore EIP */
- 将标号1:的地址保存到prev->thread.ip中，然后下一次该进程被调用的时候，就从１的位置开始执行。
- 注明：如果之前next也被switch to出去过，那么next->thread.ip里存的就是下面这个1f的标号，但如果next进程刚刚被创建，之前没有被switch _ to出去过，那么next->thread.ip里存的将是ret ftom _ fork，即进程刚刚被fork后执行exec。
jmp _ _ switch_to
让参数不压入堆栈，而是使用寄存器传值，来调用 _ _ switch _to eax存放prev,edx存放next。
二、Linux系统的一般执行过程
1. 最一般的情况：正在运行的用户态进程X切换到运行用户态进程Y的过程
-
在运行的用户态进程X 发生中断，硬件完成以下：
save cs:eip/esp/eflags(current) to kernel stack load cs:eip(entry of a specific ISR) and ss:esp(point to kernel stack). -
SAVE_ALL //保存现场
-
中断处理过程中或中断返回前调用了schedule()，其中的switch_to做了关键的进程上下文切换
-
标号1之后开始运行用户态进程Y(这里Y曾经通过以上步骤被切换出去过因此可以从标号1继续执行)
-
restore_all //恢复现场
-
iret - pop cs:eip/ss:esp/eflags from kernel stack
-
继续运行用户态进程Y
2. 进程间的几种特殊情况
-
通过中断处理过程中的调度时机，用户态进程与内核线程之间互相切换和内核线程之间互相切换，与最一般的情况非常类似，只是内核线程运行过程中发生中断没有进程用户态和内核态的转换。
2个内核线程之间切换，cs段没有发生变化 用户进程和内核线程间切换 -
内核线程主动调用schedule()，只有进程上下文的切换，没有发生中断上下文的切换，与最一般的情况略简略。
没有发生中断，也就是没有int指令和iret指令
-
创建子进程的系统调用在子进程中的执行起点及返回用户态，如fork。
pre :parent next: child so next_ip =ret_from_fork ,不是从switch_to中的标号1 -
加载一个新的可执行程序后返回到用户态的情况，如execve；
pre：parent next:execve产生的进程（execve也是系统调用） -
所有进程的3G以上的部分（内核态）都是共享的
内核是各种中断处理过程和内核线程的集合
三、Linux操作系统架构和系统执行过程概览
1. 操作系统基本概念
- 任何计算机系统都包含一个基本的程序集合，称为操作系统。
- 内核（进程管理，进程调度，进程间通讯机制，内存管理，中断异常处理，文件系统，I/O 系统，网络部分）
- 其他程序（例如函数库、shell程序、系统程序 等等）
- 操作系统的目的
- 与硬件交互，管理所有的硬件资源
- 为用户程序（应用程序）提供一个良好的执行环境
2. Linux系统架构
- 硬件管理
- 内核实现
- 系统调用
- 基础软件（shell、lib）
- 用户程序
3. 最简单也是最复杂的操作ls
-
从输入开始
4. 站在CPU和内存角度看Linux系统的执行
-
从CPU指令角度
-
从内存角度
三、使用gdb跟踪分析schedule()函数
-
gdb开始调试，设置监视、加载文件符号表调试并设置断点
-
由于switch是一个宏，设断点的时候要在这个函数文件的行中加断点
-
设置断点后运行
-
赋值过程：将当前的任务信息拷贝到任务结构体中
-
使rq指向CPU对应的运行队列、标识当前cpu发生任务切换
-
检查prev的状态。如果不是可运行状态，而且没有在内核态被抢占，就应该从运行队列中删除prev进程。但是，如果它是非阻塞挂起信号，而且状态为TASK _INTERRUPTIBLE，函数就把该进程的状态设置为TASK _RUNNING，并将它插入到运行队列。这个操作与把处理器分配给prev是不同的，它只是给prev一次选中执行的机会。
-
通知调度器类当前运行的进程将要被另一个进程代替，调度选择进程。如果已经选择了一个新进程，那么必须准备并执行硬件级的进程切换
总结：进程的切换
- 进程的切换中的关键操作是：切换地址空间、切换内核堆栈、切换内核控制流程和一些必要的寄存器保存和恢复。这些操作并非针对用户代码，切换完成后，也没有立即跑到next的用户空间中执行。用户上下文的保存和恢复是通过中断和异常机制，在内核态和用户态相互切换时才发生的。
- 在调度时机方面，内核线程可以直接调用schedule()进行进程切换（主动），也可以在中断处理过程中进行调度（被动）。用户态进程无法实现主动调度，仅能通过陷入内核态后的某个时机点进行调度，即在中断处理过程中进行调度。
- 内核的使用：32位x86系统下，每个进程的地址空间有4G，用户态0-3G，3G以上仅内核态可以访问。所有进程3G以上是共享的，在内核中代码段，堆栈段都是相同的，回到用户态才不同（taxi）。进程进入内核就都一样，没有进程陷入内核就执行0号进程。内核可以看作各种中断处理过程和内核线程的集合。