深入理解CPU上下文切换

CPU上下文切换

CPU 寄存器，是 CPU 内置的容量小、但速度极快的内存。而程序计数器，则是用来存储
CPU 正在执行的指令位置、或者即将执行的下一条指令位置。它们都是 CPU 在运行任何任
务前，必须的依赖环境，因此也被叫做 CPU 上下文**。**

CPU 上下文切换，就是先把前一个任务的 CPU 上下文（也就是 CPU 寄存器和程序计数器）保存起来，然后加载新任务的上下文到这些寄存器和程序计数器，最后再跳转到程序计数器所指的新位置，运行新任务。

根据任务的不同，CPU的上下文切换可以分为以下几个场景：进程上下文切换，线程上下文切换和中断上下文切换。

进程上下文切换

我们直到Linux按照特权级别，将进程的运行空间分为内核空间和用户空间，分别对应着CPU的特权级别0和3
内核空间(特权0)：具有最高权限，可以直接访问所有资源
用户空间(特权3): 只能访问受限的资源，不能访问内存等硬件设备，必须通过系统调用陷入内核中，才能访问这些特权资源。

也就是说进程从用户态到内核态的切换，需要通过系统调用来完成，而系统调用的过程发生了CPU上下文切换。

CPU 寄存器里原来用户态的指令位置，需要先保存起来。接着，为了执行内核态代码，CPU
寄存器需要更新为内核态指令的新位置。最后才是跳转到内核态运行内核任务。而系统调用结束后，CPU寄存器需要恢复原来保存的用户态，然后再切换到用户空间，继续运行进程，所以一次系统调用的过程，发生了两次CPU上下文切换

进程上下文切换，是指从一个进程切换到另一个进程运行。
而系统调用过程中一直是同一个进程在运行
所以系统调用过程通常称为特权级别的切换，而不是上下文切换

进程上下文切换和系统调用的区别

进程是由内核来管理和调度的，进程的切换只能发生在内核态。所以，进程的上下文不仅包括了虚拟内存、栈、全局变量等用户空间的资源，还包括了内核堆栈、寄存器等内核空间的状态

进程的上下文切换比系统调用多了一步：在保存当前进程的内核状态和 CPU 寄存器之前，需要先把该进程的虚拟内存、栈等保存下来；而加载了下一进程的内核态后，还需要刷新进程的虚拟内存和用户栈

进程上下文切换对性能的影响

同时，保存上下文和恢复上下文的过程需要内核在CPU上运行才能完成，每次上下文切换都需要几十纳秒到数微秒的 CPU 时间。这个时间还是相当可观的，特别是在进程上下文切换次数较多的情况下，很容易导致 CPU 将大量时间耗费在寄存器、内核栈以及虚拟内存等资源的保存和恢复上，进而大大缩短了真正运行进程的时间。这也正是导致平均负载升高的一个重要因素。

另外，我们知道， Linux 通过 TLB（Translation Lookaside Buffer）来管理虚拟内存到物理
内存的映射关系。当虚拟内存更新后，TLB 也需要刷新，内存的访问也会随之变慢。特别是
在多处理器系统上，缓存是被多个处理器共享的，刷新缓存不仅会影响当前处理器的进程，
还会影响共享缓存的其他处理器的进程

什么时候会发生进程上下文切换

一般来说，只有在进程调度的时候，才需要切换上下文。以下这些场景会触发进程调度

1. 为了保证所有进程可以得到公平调度，CPU 时间被划分为一段段的时间片，这些时间片再被轮流分配给各个进程。这样，当某个进程的时间片耗尽了，就会被系统挂起，切换到其它正在等待 CPU 的进程运行
2. 进程在系统资源不足（比如内存不足）时，要等到资源满足后才可以运行，这个时候进程也会被挂起，并由系统调度其他进程运行。
3. 当进程通过睡眠函数 sleep 这样的方法将自己主动挂起时，自然也会重新调度
4. 当有优先级更高的进程运行时，为了保证高优先级进程的运行，当前进程会被挂起，由高优先级进程来运行。
5. 发生硬件中断时，CPU 上的进程会被中断挂起，转而执行内核中的中断服务程序。

线程上下文切换

进程和线程最大的区别在于：线程是调度的基本单位，而进程是资源拥有的基本单位。
说白了，所谓内核中的任务调度，实际上的调度对象是线程，而进程只是给线程提供了虚拟内存和全局变量等共享资源，同时线程有自己私有的栈和局部变量，寄存器等不共享的数据。

总的来说线程的上下文切换分为两种情况：

1. 前后两个线程属于不同进程，此时，因为资源不共享，等价于进程山下文切换
2. 前后两个线程属于同一个进程，此时虚拟内存和全局变量等共享资源保持不动，只需要切换线程的私有数据，寄存器等不共享的数据。

到这里我们可以发现线程上下文切换比进程上下文切换消耗得资源要更少，这也是多线程替代多进程得一个优势

中断上下文切换

其实所谓得中断就是一个电信号，当我们在使用外部硬件得时候每一个动作会触发一个电信号传递给CPU,为了快速响应硬件，**中断会打断进程得正常调度和执行，转而执行中断处理程序，响应设备事件。**在打断其他进程时，需要将进程当前的状态保存下来，在中断处理结束后，进程扔然可以恢复原来得状态。

与进程上下文切换不同，中断上下文并不涉及进程的用户态，所以，即便中断打断了一个正在处于用户态的进程（并不涉及用户态到内核态的切换），所以也不需要保存和恢复这个进程的虚拟内存，全局变量等用户态资源。中断上下文，其实只包括内核态中断服务程序执行所必须的状态，包括CPU寄存器，内核堆栈，硬件中断等参数。

对同一个 CPU 来说，中断处理比进程拥有更高的优先级，所以中断上下文切换并不会与进程
上下文切换同时发生。同样道理，由于中断会打断正常进程的调度和执行，所以大部分中断
处理程序都短小精悍，以便尽可能快的执行结束。同样的中断上下文中断也要消耗CPU,过多的中断上下文切换也会严重影响系统的性能。

小结

不管是哪些场景导致的上下文切换，都应该知道：

1. CPU上下文切换，是保证Linux系统正常工作的核心功能之一，一般情况下不需要我们特别关注
2. 但过多的上下文切换，会把CPU时间消耗在寄存器，内核栈以及虚拟内存等数据的保存和恢复上，从而缩短进程真正运行的时间，导致系统的整体性能大幅下降。