| 这个作业属于哪个课程 | 2020-2021-1 Linux内核原理与分析 |
| 这个作业要求在哪里 | 2020-2021-1Linux内核原理与分析第九周作业 |
| 这个作业的目标 | 跟踪分析进程调度的时机和进程切换的过程 |
| 作业正文 | 本博客链接 |
一、进程调度的时机
1、硬中断和软中断
中断是指在计算机执行期间，系统内发生任何非寻常的或非预期的急需处理事件，使得CPU暂时中断当前正在执行的程序而转去执行相应的时间处理程序。待处理完毕后又返回原来被中断处继续执行或调度新的进程执行的过程。引起中断的事件称为中断源。中断源向CPU提出处理的请求称为中断请求。发生中断时被打断程序的暂停点称为断点。CPU暂停现行程序而转为响应中断请求的过程称为中断响应。处理中断源的程序称为中断处理程序。CPU执行有关的中断处理程序称为中断处理。而返回断点的过程称为中断返回。中断的实现由软件和硬件综合完成，硬件部分叫做硬件装置，软件部分称为软件处理程序。
（1）硬中断
由与系统相连的外设(比如网卡、硬盘)自动产生的。主要是用来通知操作系统系统外设状态的变化。比如当网卡收到数据包的时候，就会发出一个中断。我们通常所说的中断指的是硬中断(hardirq)。
（2）软中断
为了满足实时系统的要求，中断处理应该是越快越好。linux为了实现这个特点，当中断发生的时候，硬中断处理那些短时间就可以完成的工作，而将那些处理事件比较长的工作，放到中断之后来完成，也就是软中断(softirq)来完成。
（3）异常
- 故障（Fault）：出现问题，可以恢复到当前指令。
- 退出（Abort）：不可恢复的严重故障，导致程序无法继续运行，只能退出。
- 陷阱（Trap）：程序主动产生的异常。
2、进程调度时机
（1）schedule函数
linux内核通过schedule函数实现进程调度，schedule函数在运行队列中找到一个进程，把CPU分给它。所以调用schedule函数一次就是调度一次，调用schedule函数的时候就是进程调度时机。
调用schedule函数的两种方法如下：
- 进程主动的调用schedule()：如进程调用阻塞的系统调用等待外设或主动睡眠等，最终都会在内核中调用schedule函数。
- 松散调用schedule()：内核代码中可以随时调用schedule函数使当前内核路径让出CPU。
（2）上下文
一般来说，CPU在任何时刻都处于以下三种情况之一：
- 运行于用户空间，执行用户进程上下文
- 运行于内核空间，处于进程（一般是内核线程）上下文。
- 运行于内核空间，处于中断（中断处理程序ISR，包括系统调用处理过程）上下文。
Linux内核工作在进程上下文或者中断上下文。提供系统调用服务的内核代码代表发起系统调用的应用程序运行在进程上下文；另一方面，中断处理程序，异步运行在中断上下文。中断上下文和特定进程无关。
运行在进程上下文的内核代码是可以被抢占的（Linux2.6支持抢占）。但是一个中断上下文，通常都会始终占有CPU（当然中断可以嵌套，但我们一般不这样做），不可以被打断。正因为如此，运行在中断上下文的代码就要受一些限制，不能做下面的事情：
- 睡眠或者放弃CPU：这样做的后果是灾难性的，因为内核在进入中断之前会关闭进程调度，一旦睡眠或者放弃CPU，这时内核无法调度别的进程来执行，系统就会死掉
- 尝试获得信号量：如果获得不到信号量，代码就会睡眠，会产生和上面相同的情况
- 执行耗时的任务：中断处理应该尽可能快，因为内核要响应大量服务和请求，中断上下文占用CPU时间太长会严重影响系统功能。
- 访问用户空间的虚拟地址：因为中断上下文是和特定进程无关的，它是内核代表硬件运行在内核空间，所以在终端上下文无法访问用户空间的虚拟地址
（3）进程调度的时机
进程调度时机就是内核调用schedule函数的时机。当内核即将返回用户空间时，内核会检查need_resched标志是否设置。如果设置，则调用schedule函数，此时是从中断（异常/系统调用）处理程序返回用户空间的时间点作为一个固定的调度时间点。
简单总结进程调度时机如下：
- 用户进程通过特定的系统调用主动让出CPU
- 中断处理程序在内核返回用户态时进行调度
- 内核线程主动调用schedule函数让出CPU
- 中断处理程序主动调用schedule函数让出CPU，涵盖第一和第二种情况
二、调度策略与算法
在操作系统中调度是指一种资源分配，因而调度算法是指：根据系统的资源分配策略所规定的资源分配算法。对于不同的的系统和系统目标，通常采用不同的调度算法。
- 调度策略：首先考虑这个算法的整体目标，是追求资源利用率最高，还是追求相应最即时，或者是追求其他的特定目标？为了满足定下的这些目标，就需要找对应的方法或机制作为对策，这就是调度策略。
- 调度算法：接下来考虑如何实现调度策略并满足设定的目标。用数组、链表、图，还是树来存储就绪进程呢？在加入就绪队列时就排序，还是调度时再排序？这些具体的实现就是调度算法。
三、实验
1、配置运行MenuOS系统
cd LinuxKernel rm -rf menu git clone https://github.com/mengning/menu.git make rootfs
2、调试内核
cd ../ # 返回到LinuxKernel目录下 qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img -S -s
3、设断点
重新打开一个shell窗口，启动gdb，通过端口1234建立连接，在schedule、context_switch、switch_to、pick_next_task处设置断点
cd LinuxKernel/menu/ gdb file ../linux-3.18.6/vmlinux target remote:1234 //设置断点 b schedule
b context_switch
b switch_to
b pick_next_task
4、调试
四、总结
中断在本质上都是软件或某些硬件发生了某情形的而通知处理器的行为，处理器进而停止正在运行的指令流，对这些通知做出相应的反应，级转去执行预定义的中断处理程序。除了主动让出CPU外，进程调度都需要在进程外进行，这就需要从进程的指令流里切换出来，中断能起到切出进程指令流的作用，中断处理程序是与进程无关的内核指令流。运行完内核代码后，CPU顺带检查一下是否需要进程调度。需要则切换进程，不需要则一路顺着函数调用堆栈正常中断返回iret，这样就自然回到原进程继续运行了。