操作系统|进程和线程的上下文以及他们的上下文切换具体流程?

进程和线程已经是老生常谈的问题了,现在那么他们是如何进行切换的呢?他们之间的切换有什么区别呢?如果你不懂的话,就让我们一起来探讨一下吧!

进程上下文切换(context switch)

进程到底由哪些部分组成?

首先我们要弄懂,进程到底是由哪些部分构成的。

进程是由进程控制块(process control block)<灵魂>和程序<躯体>共同组成。

PCB

对linux系统来说,PCB就是 task_struct 结构体,这个结构体非常大,这个结构体有一个指针 void *stack; ,它指向进程的内核栈(kernel stack)。这个结构体还有一个成员叫 void *mm 指向这个进程的地址空间(3G,包括了代码段、数据段、堆、栈)。

在一个在linxu系统中内核栈和一个叫做 thread_info 的结构体是在一起的,这里不做深度讨论。

另外PCB中包含的重要内容我们也必须要点出来,这就是以下两块:

代表进程运行环境的CPU中的register

对于一个正在运行的进程,它的重要内容还有包含CPU寄存器所包含的这个进程的相关的环境和信息。
主要有:

  • 基址寄存器(Base Register): 指示进程地址空间的起始地址。
  • 界限寄存器(Limit Register): 指示进程地址空间的大小。

理论上PCB应该包含这些信息,但是在实际环境中,PCB并不会保存该信息,只有当该进程成为了下降进程,CPU中的register就会保存在内存栈中,PCB中会有一个指针指向该信息,这个内存块也就是后文所说的的寄存器上下文

页表或段表

该进程应该还有一个页表来帮助这个进程从逻辑地址映射到物理地址。

但需要注意的是,理论上讲PCB中应该保存这些信息,但实际上linxu中PCB并不会保存这些信息。他会被保存在内核栈和其他地方

程序

程序作为躯体,他到底是个啥?其实就是我们所说的地址空间:
在这里插入图片描述
32位系统下,该地址空间有1G属于内核空间,3G属于用户空间。

进程自身的上下文由哪些部分组成

我们谈到进程的上下文切换,那么它的上下文是由哪些部分构成的呢?

  • 进程的物理实体(进程的地址空间)和支持进程运行的环境(可以认为是PCB和内核栈、寄存器等等)一起合称为进程的上下文

那么我们为了理清整个进程上下文切换的过程,现在把进程的上下文进行细分:

  • 用户级上下文:也就是用户空间信息,也就是刚才我们图中展示的3G的用户空间。
  • 系统级上下文也就是我们的内核空间信息,包括了我们之前讲的PCB及其指向的内核栈的信息。包括了进程标识信息、线程现场信息、进程控制信息等等。
  • 寄存器上下文也被称为硬件上下文和进程的线程信息,在程序运行时,其存起上下文在CPU的reg中,当进程成为下降进程,该上下文会作为系统级上下文的现场信息。

好了现在我们一起来整理一下进程的上下文切换

在发生进程上下文切换时,操作系统把下降进程的寄存器上下文保存到该进程自身的系统级上下文的现场信息中,此时用户级上下文地址空间和系统级上下文地址空间一起构成了一个进程的整个存储器印象

把下降进程的上下文保存下来,把上升进程曾经被保存过的上下文重新放到CPU中,这就叫做上下文切换。

何时发生进程上下文切换?

处于运行态占据CPU的只可能是一个进程「理论上是这样的,实际上linux操作系统将运行态和就绪态都算作运行态」,调度算法将该运行态的进程踢出CPU或者它主动自己出去「成为block态」,然后把另外一个进程从就绪队列(ready态)拿进到CPU,一旦达成了“那个进程出来,那个进程进去”的决定,那么这个时候就要发生进程的上下文切换。

我们把踢出CPU的进程成为下降进程,把从就绪态被调入CPU的进程称为上升进程

那么下面我们总结一下何时发生进程上下文的切换:

主要来说就是由于进程状态的变化导致了进程的上下文切换,详细来说有以下两点,

  • 可能是自身的原因,比如说等待资源、启动IO。
    代码示例:
int main () {
	...
	char c = getchar(); //在这里从运行态-》阻塞态
	printf("%c\n", c);
	...
	return 0;
}
  • 也可能是外部原因被剥夺CPU:主要是时钟中断,也就是给其他程序运行机会。这是被分时系统,也就是所谓的CPU时间片资源,强制剥夺CPU。这个时候进程状态从运行态到就绪态。

下降进程的现场和断点保存在哪里?是PCB吗?

我们知道,一旦发生线程上下文切换,我们就需要把下降进程的现场(即代表这个进程运行状态的通用寄存器)和断点(PC寄存器,PC一定会指向当前进程执行指令的下一条指令,也就是这个进程即将执行的指令的位置意味着一旦该进程回到CPU,它将从该条指令开始执行)进行保存。

所以下降进程自然要保存他的线程和断点。保存在哪里呢?理论上我们认为应该保存在PCB上,但是由于PCB不够大,所以在实际操作系统中,下降进程的现场和断点没有完全保存在PCB里面。

再看一下之前讲过的图,原来下降进程的现场和断点,也就是我们的寄存器信息是存储在内核栈中,PCB中有一个指针会指向该信息。

当进程在运行态的时候,寄存器上下文信息在CPU寄存器中。

用户栈和内核栈(中断栈)「论述了上下文切换的完整过程」

之前我们提到过下降进程的现场和断点没有完全保存在PCB里面。因为他还有一部分被保存在了内核栈(也叫中断栈)里面。那么什么是内核栈?什么是中断栈呢?

在开始这一节之前,我们之前谈论过:
进程的上下文切换主要是由于进程状态的变化导致,那么这个变化是由什么导致的呢?答案就是中断。站在系统的角度来看,没有中断就不可能导致上下文切换。

好了有了这个概念我们在讨论该话题

综合我们上文所说的,我们知道用户栈在用户空间的虚拟内存中,其包含了用户级上下文,
内核栈在内核空间,内核栈保存着系统级上下文。

也就是说,我们需要明确:每个进程都有两个栈。

好了,剩下的切换流程,可以直接移步蒋剑老师视频的10'54
进程上下文切换讲解_2

线程的上下文和上下文切换

可以直接去看阿布老师视频:
【CPU眼里的:线程切换 | 上下文 | 线程调度】

区别

其实整个过程没啥区别,主要根据被打断的程序主体和时机的不同,他们会被细分成线程上下文、进程上下文、中断上下文。名称虽多,但他们都是一样的配方、一样的味道

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/671074.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

thingsboard物联网平台快速入门教程

第一步&#xff0c;搭建服务器 使用我已经建好的服务器&#xff0c;thingsboard测试账号,租户管理员账号&#xff0c;物联网测试平台-CSDN博客 第二步&#xff0c;创建一个设备&#xff0c;获取设备Token 用租户管理员账户登录&#xff0c;左侧找到实体->设备&#xff0c…

无法拒绝!GPT-4o 完美适配安卓手机,畅享丝滑体验

无法拒绝&#xff01;GPT-4o 完美适配安卓手机&#xff0c;畅享丝滑体验 前言 人工智能的飞速发展&#xff0c;给我们的生活带来了前所未有的便利。作为AI技术的代表之一&#xff0c;GPT凭借其强大的自然语言处理能力&#xff0c;已经成为许多用户日常生活和工作中的得力助手…

模拟集成电路(6)----单级放大器(共源共栅级 Cascode Stage)

模拟集成电路(6)----单级放大器&#xff08;共源共栅级 Cascode Stage&#xff09; 大信号分析 对M1 V x ≥ V i n − V T H 1 V x V B − V G S 2 V B ≥ V i n − V T H 1 V G S 2 V_{x}\geq V_{in}-V_{TH1}\quad V_{x}V_{B}-V_{GS2}\\V_{B}\geq V_{in}-V_{TH1}V_{GS2} Vx…

Mybatis项目创建 + 规范

文章目录 一、相关概念Mybatis1.1 什么是Mybatis1.1 如何实现简化JDBC 二、如何创建 Mybatis 项目2.1 创建SpringBoot项目 加载依赖2.2 准备数据库 以及 对象的映射2.3 配置数据库连接池2.4 使用Mybatis操作数据库2.5 单元测试 三、其他3.1 数据库与Java对象的映射规则 ---- 结…

【MySQL】Linux安装MySQL

一、center OS环境准备 为了在Linux系统中查看MySQL5.8与8.0版本的区别 我们要准备两个虚拟机&#xff0c;需要的软件&#xff1a;VMware和CentOS7 因为博主之前在学习redis的时候已经安装过一个虚拟机了&#xff0c;所以我就直接克隆了一个CentOS2.0 修改mac地址&#xff0…

基于C#使用ACCESS数据库时遇到的问题记录

一、32位版本Office与64位AccessDatabaseEngine共存安装方法 1. 使用winrar、7zip等软件将AccessDatabaseEngine_X64.exe解压缩&#xff0c;得到AceRedist.msi和files14.cat2个文件 2. 下载Orca MSI编辑修改工具。安装后&#xff0c;使用Orca打开AceRedist.msi&#xff0c;找到…

在iPhone上恢复已删除的Safari历史记录的最佳方法

您是否正在寻找恢复 iPhone 上已删除的 Safari 历史记录的最佳方法&#xff1f;好吧&#xff0c;这篇文章提供了 4 种在有/无备份的情况下恢复 iPhone 上已删除的 Safari 历史记录的最佳方法。现在按照分步指南进行操作。 iPhone 上的 Safari 历史记录会被永久删除吗&#xff1…

爱德蒙得洛希尔:深耕亚洲市场,开启中国投资新篇章!

爱德蒙得洛希尔资产管理&#xff08;法国&#xff09;有限公司&#xff08;以下简称“爱德蒙得洛希尔”&#xff09;是一家具有悠久历史和全球业务网络的金融企业&#xff0c;由洛希尔家族于1953年在法国巴黎创立。作为一家主要从事私人银行和资产管理业务的金融集团&#xff0…

Mybatis编写SQL

文章目录 一、用注解编写1.1 增普通增加获取自增ID 1.2 删和改1.3 查单表查询多表查询 二、用xml编写2.1 使用xml的流程2.2 增普通增加获取自增ID 2.3 删 和 改2.4 查 三、#{} 和 ${}3.1 #{} 、${}3.1 预编译 SQL 、即时编译SQL 两种写法是可以同时存在的 一、用注解编写 1.1 …

【已解决】HtmlWebpackPlugin.getHooks is not a function

安装下面的依赖&#xff0c;获得 html-webpack-plugin 的 beta 版本 npm i html-webpack-pluginnext --save此问题在github上有讨论&#xff1a;https://github.com/facebook/create-react-app/issues/5465

网络报文协议头学习

vxlan&#xff1a;就是通过Vxlan_header头在原始报文前面套了一层UDPIP&#xff08;4/6&#xff09;Eth_hdr 需求背景&#xff1a;VXLAN&#xff1a;简述VXLAN的概念&#xff0c;网络模型及报文格式_vxlan报文格式-CSDN博客 如果服务器作为VTEP&#xff0c;那从服务器发送到接…

Java对象的揭秘

前言 作为一个 Java 程序员&#xff0c;我们在开发中最多的操作要属创建对象了。那么你了解对象多少&#xff1f;它是如何创建&#xff1f;如何存储布局以及如何使用的&#xff1f;本文将对 Java 对象进行揭秘&#xff0c;以及讲解如何使用 JOL 查看对象内存使用情况。 本文是基…

云计算如何助力金融科技企业实现高效运营

一、引言 随着信息技术的飞速发展,云计算作为一种新兴的计算模式,正在逐渐改变着传统金融行业的运营模式。金融科技企业作为金融行业的重要组成部分,面临着日益增长的业务需求和技术挑战。在这一背景下,云计算凭借其弹性扩展、高可用性、低成本等优势,成为金融科技企业实…

VisualSVN Server/TortoiseSVN更改端口号

文章目录 概述VisualSVN Server端更改端口号TortoiseSVN客户端更改远程仓库地址 概述 Subversion&#xff08;SVN&#xff09;是常用的版本管理系统之一。部署在服务器上的SVN Server端通常会在端口号80&#xff0c;或者端口号443上提供服务。其中80是HTTP访问方式的默认端口。…

SSM牙科诊所管理系统-计算机毕业设计源码98077

目 录 摘要 1 绪论 1.1研究目的与意义 1.2国内外研究现状 1.3ssm框架介绍 1.4论文结构与章节安排 2 牙科诊所管理系统系统分析 2.1 可行性分析 2.1.1 技术可行性分析 2.1.2 经济可行性分析 2.1.3 法律可行性分析 2.2 系统功能分析 2.2.1 功能性分析 2.2.2 非功能…

制作ChatPDF之后端Node搭建(三)

后端Node搭建 接上篇:制作ChatPDF之前端Vue搭建&#xff08;二&#xff09; 项目结构 下面是项目的结构图&#xff0c;包括前端 (Vue.js) 和后端 (Node.js) 的项目结构。 pdf-query-app/ ├── frontend/ │ ├── public/ │ │ ├── index.html │ ├── sr…

Python3 match-case 语句

前言 本文主要介绍match-case语句与switch-case的区别&#xff0c;及match-case语句的基本用法。 文章目录 前言一、switch-case 和match-case的区别二、match-case的基本用法1、可匹配的数据类型2、多条件匹配3、通配符匹配 一、switch-case 和match-case的区别 C语言里面s…

C++20实战之channel

C20实战之channel 继前面两节的直播&#xff0c;讲解了thread、jthread、stop_token、stop_source、stop_callback、cv、cv_any等的用法与底层实现&#xff0c;那么如何基于这些知识实现一个小项目呢&#xff1f; 于是引出了这篇&#xff0c;写一个channel出来。 注&#xff1a…

Python-算法编程100例-双指针(入门级)

1、盛水最多的容器 from typing import Listclass Solution:def maxArea(self, height: List[int]) -> int:# 双指针初始化l 0r len(height) - 1max_area 0# 循环终止条件while l < r:# 指针调整条件if height[l] < height[r]:# 指针调整前计算中间值max_area max…

FreeRTOS基础(四):静态创建任务

上一篇博客&#xff0c;我们讲解了FreeRTOS中如何动态创建任务&#xff0c;那么这一讲&#xff0c;我们从实战出发&#xff0c;规范我们在FreeRTOS下的编码风格&#xff0c;掌握静态创建任务的编码风格&#xff0c;达到实战应用&#xff01; 目录 一、空闲任务和空闲任务钩子…