[金三银四] 操作系统上下文切换系列

简介: [金三银四] 操作系统上下文切换系列

478cb0db2c88434abd4bcaedd9c8b31b.png

2.11 cpu 的上下文切换

  • 什么是CPU上下文

CPU 寄存器和程序计数器是 CPU 在运行任何任务前,所必须依赖的环境,这些环境就叫做 CPU 上下文。

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

系统内核会存储切换下来的上下文信息,当此任务再次被分配给 CPU 运行时,CPU 会重新加载这些上下文,这样就能保证任务原来的状态不受影响,让任务看起来还是连续运行。

上面说到所谓的「任务」,主要包含进程、线程和中断。所以,可以根据任务的不同,把 CPU 上下文切换分成:进程上下文切换、线程上下文切换和中断上下文切换

2.12 协程的上下文切换

与熟悉的进程/线程切换类似,协程是用户自发的上下文切换和管理机制,所以也常被称为“用户态线程”。

而对于运行时的函数来讲,参数、返回值地址、函数栈、寄存器四个部分组成了运行时的全部信息,通过这些信息我们可以恢复任意函数的执行现场,我们称之为协程的上下文(context)。

也就是说,协程的上下文切换,本质上就是要保存旧的函数参数、返回值地址、函数栈以及寄存器,并加载新的函数数据,以达到新的协程运行环境跟旧的运行环境隔离,并且旧的运行环境可以恢复的目的。


2.13 线程的上下文切换

首先,线程是依托于进程而存在的,同一个进程内多个线程之间可以共享代码段、数据段以及打开的文件等资源,但每个线程各自都有一套独立的寄存器和栈,这样可以确保线程的控制流是相对独立的。

也就是说,线程的上下文切换主要分两种情况:新旧线程属于同一个进程,以及新旧进程不属于同一进程。

对于属于同一进程的两个线程的上下文切换来说,只需要切换线程私有的数据以及寄存器和栈信息即可。

对于不属于同一进程的线程上下文切换,他等同于进程的上下文切换。

2.14 进程的上下文切换

首先,进程的上下文也就是进程的运行时环境,他包含了虚拟内存、栈、全局变量等用户空间的资源,以及内核堆栈、寄存器等内核空间的资源

因为进程的运行时环境比较复杂,我们操作系统里面存在一个叫PCB(process control block),进程控制块的东西来存储进程的运行时环境。当发生进程上下文切换时,操作系统会保存旧进程的运行时数据到PCB里面,然后加载新的PCB,来达到新旧进程的运行时隔离的目的。

2.15 中断上下文切换

为了快速响应硬件的事件,中断处理会打断进程的正常调度和执行,转而调用中断处理程序,响应设备事件。而在打断其他进程时,就需要将进程当前的状态保存下来,这样在中断结束后,进程仍然可以从原来的状态恢复运行。

跟进程上下文不同,中断上下文切换并不涉及到进程的用户态。所以,即便中断过程打断了一个正处在用户态的进程,也不需要保存和恢复这个进程的虚拟内存、全局变量等用户态资源。中断上下文,其实只包括内核态中断服务程序执行所必需的状态,

包括 CPU 寄存器、内核堆栈、硬件中断参数等。

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

另外,跟进程上下文切换一样,中断上下文切换也需要消耗 CPU,切换次数过多也会耗费大量的 CPU,甚至严重降低系统的整体性能。所以,当你发现中断次数过多时,就需要注意去排查它是否会给你的系统带来严重的性能问题。

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

首先,明确一点的是,只有当进程的状态发生改变的时候,才会导致进程的上下文切换。 而导致进程状态发生改变的原因主要有以下三种:

  1. 系统调度导致

比如说,某操作系统采用时间片轮转法进程进程调度,当当前进程的时间片耗完之后,进程就从运行状态变为就绪状态,系统从就绪队列选择另外一个进程运行;

  1. 硬件中断导致

发生硬件中断时,CPU 上的进程会被中断挂起,转而执行内核中的中断服务程序;

  1. 进程主动挂起

当进程通过睡眠函数 sleep 这样的方法将自己主动挂起时,自然也会重新调度;

2.17 什么时候会发生线程的上下文切换

线程主要由六种状态,创建、运行、堵塞、等待、超时等待和结束六种状态。当线程状态改变的时候,就会发生上下文的切换。

2.18 什么时候会发生协程的上下文切换

因为协程是用户态线程,只运行在用户空间,也就是说,协程的切换并不受系统控制。所以切换由用户自己控制,由当前协程切换到其他协程由当前协程来控制。

2.19 为什么会有CPU的上下文切换

CPU上下文切换的本质原因,就是为了利用有限的CPU资源,去运行更多的任务,从而提高系统的吞吐量。

比如说,Linux 是一个多任务操作系统,它支持远大于 CPU 数量的任务同时运行。当然,这些任务实际上并不是真的在同时运行,而是因为系统在很短的时间内,将 CPU 轮流分配给它们,造成多任务同时运行的错觉。

而在每个任务运行前,CPU 都需要知道任务从哪里加载、又从哪里开始运行,也就是说,需要系统事先帮它设置CPU 寄存器和程序计数器。


相关文章
|
小程序
小程序模版|保险小程序模版源码
小程序模版|保险小程序模版源码
580 0
|
10月前
|
并行计算 PyTorch 算法框架/工具
《 PyTorch 2.3革新:torch.compile自动生成CUDA优化内核全解》
torch.compile是PyTorch 2.3推出的革命性功能,通过即时编译(JIT)技术优化模型运行速度。它借助TorchDynamo提取计算图,并通过TorchInductor生成高度优化的CUDA内核,充分发挥GPU并行计算能力。支持默认、reduce-overhead和max-autotune三种模式,分别适用于不同性能需求场景。尽管在复杂模型或动态计算图中可能面临挑战,但通过调整参数或结合其他优化技术,仍可显著提升性能。这一工具极大简化了CUDA代码优化流程,为深度学习开发提供了强大支持。
597 10
|
存储 NoSQL 安全
保障安全与可扩展性:Redis安全设置与集群扩展
本篇深入探讨了Redis的安全性设置以及构建可扩展的Redis集群的方法。我们首先介绍了如何通过设置密码、禁用危险命令和限制访问来加强Redis的安全性。进一步地,我们讨论了如何进行访问控制和权限管理,以确保只有授权用户可以访问和操作Redis。
1068 2
保障安全与可扩展性:Redis安全设置与集群扩展
|
人工智能 文字识别 API
moonshot-v1-vision-preview:月之暗面Kimi推出多模态视觉理解模型,支持图像识别、OCR文字识别、数据提取
moonshot-v1-vision-preview 是月之暗面推出的多模态图片理解模型,具备强大的图像识别、OCR文字识别和数据提取能力,支持API调用,适用于多种应用场景。
1907 6
moonshot-v1-vision-preview:月之暗面Kimi推出多模态视觉理解模型,支持图像识别、OCR文字识别、数据提取
|
弹性计算 自然语言处理 Ubuntu
OS Copilot-操作系统智能助手-Linux新手小白的福音
OS Copilot是由阿里云推出的操作系统智能助手,专为Linux新手设计,支持自然语言问答、辅助命令执行等功能,极大提升了Linux系统的使用效率。用户只需通过简单的命令或自然语言描述问题,OS Copilot即可快速提供解决方案并执行相应操作。例如,查询磁盘使用量等常见任务变得轻松快捷。此外,它还支持从文件读取复杂任务定义,进一步简化了操作流程。虽然在某些模式下可能存在小问题,但总体上大大节省了学习和操作时间,提高了工作效率。
456 2
OS Copilot-操作系统智能助手-Linux新手小白的福音
|
安全 搜索推荐 大数据
大数据与智慧城市:数据驱动的城市管理
【10月更文挑战第31天】在信息技术飞速发展的今天,大数据成为推动智慧城市转型的核心驱动力。本文探讨了大数据在智慧交通、环保、安防、医疗和政务等领域的应用,揭示了数据驱动的城市管理带来的深刻变革,同时分析了面临的数据安全、隐私保护和数据孤岛等挑战,并展望了大数据在智慧城市建设中的未来前景。
1196 3
|
Kubernetes 监控 程序员
kubernetes部署metrics-server
原有的kubernetes容器监控服务heapster,从kubernetes 1.11版本开始逐渐退休,新的监控服务是metrics-server
1727 0
kubernetes部署metrics-server
|
Prometheus 监控 数据可视化
性能测试:主流性能监控工具介绍
Linux系统中,`vmstat`和`top`提供基本监控;Nmon是实时性能分析工具,轻量且功能丰富;Collectd+InfluxDB+Grafana组合用于系统数据收集、存储和可视化;Prometheus+Grafana则提供灵活的监控和定制化仪表板。这些工具帮助企业监控系统性能,及时发现和解决问题。
Beckoff的EtherCAT从站代码架构解析
Beckoff的EtherCAT从站代码架构解析