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

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

进程上下文切换(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眼里的:线程切换 | 上下文 | 线程调度】

区别

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

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

数据字典笔记

文章目录 数据库字典表字典主表字典明细表数据库字典表刷新 静态类字典表静态map实现字典表dict类dictUtils类 字典表的正向和反向、及什么时候正向&#xff0c;什么时候反向 数据字典在研发中必不可少。 例如&#xff1a; 删除状态 0未删除 1已删除 默认0 字典表每个项目都会用…

VsCode编译调试Suricata

原理&#xff1a; Suricata 源码说到底也是一个makefile项目&#xff0c;Code 是绝对可以编译的&#xff0c;本质上还是模拟 make 命令&#xff0c;然后使用GDB调试c程序。 有一个视频: https://www.bilibili.com/video/BV1Aw4m1U7Mo/?vd_sourceb6d10e8288ab2f9afe2227a9444…

JDK的Dockerfile

openjdk(https://openjdk.org/) 也可以用微软的 https://learn.microsoft.com/zh-cn/java/openjdk/download#openjdk-17 使用debian系统 FROM openjdk:17-slim MAINTAINER xxxENV SCM_PARAMS"" ENV JAVA_OPTS"$JAVA_OPTS -Dspring.profiles.activedev -Djava…

GPT-4o vs. GPT-4 vs. Gemini 1.5 性能评测,谁更胜一筹!

OpenAI 最近推出了 GPT-4o&#xff0c;OpenAI有一次火爆了&#xff0c;其图像、音频、视频的处理能力非常强。 最令人印象深刻的是&#xff0c;它支持用户与 ChatGPT 实时互动&#xff0c;并且能够处理对话中断。 而且&#xff0c;OpenAI 免费开放了 GPT-4o API 的访问权限。…

什么是 浅比较 什么 是 深比较

在编程中&#xff0c;特别是处理对象和数组等复合数据类型时&#xff0c;我们经常需要比较两个数据结构是否相等。浅比较&#xff08;Shallow Comparison&#xff09;和深比较&#xff08;Deep Comparison&#xff09;是两种常见的比较方法&#xff0c;它们在处理这种比较时有着…

finebi或者finereport发邮件

我们二次开发中&#xff0c;如果想利用产品自带的发邮件的功能&#xff0c;来发送自己的邮件内容。 首先 决策系统中邮件相关信息要配置好之后&#xff1a; 这里配好了发件人&#xff0c;以及默认发件人后&#xff0c; private void sendEmail(String content,String subject)…

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

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

WebSocket详解与封装工具类

一、前言 在我们了解websocket之前&#xff0c;不妨先想想这几个问题&#xff1a; websocket是什么&#xff1f;websocket有什么好处和特点&#xff1f;为什么要用到websocket&#xff1f;什么情况下会用到websocket&#xff1f; 好了&#xff0c;带着这几个疑问一起来了解一…

163.二叉树:二叉树的最小深度(力扣)

代码解决 /*** Definition for a binary tree node.* struct TreeNode {* int val;* TreeNode *left;* TreeNode *right;* TreeNode() : val(0), left(nullptr), right(nullptr) {}* TreeNode(int x) : val(x), left(nullptr), right(nullptr) {}* Tre…

海南省三支一扶报名照上传失败?别忘了这

一、海南三支一扶报名照上传失败的2个原因 1.未按要求使用浏览器&#xff1a;请使用IE浏览器&#xff08;IE8以上版本&#xff09;、Chrome(谷歌浏览器&#xff09;或 Firefox&#xff08;火狐&#xff09;浏览器 来使用本系统&#xff0c;360浏览器等其他浏览器请使用极速模式…

C语言编程中的问号:深入解析三元运算符与条件编译

C语言编程中的问号&#xff1a;深入解析三元运算符与条件编译 在C语言编程的广阔天地中&#xff0c;问号&#xff08;?&#xff09;这一看似简单的符号&#xff0c;实则蕴含着丰富的内涵和多样的用法。它既可以作为三元运算符的一部分&#xff0c;用于在代码中实现条件判断&a…

数电课设:电动机转速测量控制电路

电动机转速测量控制电路设计 摘要 本文设计的电动机转速测量控制电路通过数字电路核心实现对电机转速的测量和显示。与市面上基于单片机的电机转速测量相比&#xff0c;该电路无需要注重复杂的软件设计&#xff0c;功耗小&#xff0c;稳定性高&#xff0c;实现了更好的底层封装…

C语言编程电子印章:技术与应用的深度探索

C语言编程电子印章&#xff1a;技术与应用的深度探索 在数字化时代&#xff0c;电子印章以其高效、便捷的特性逐渐取代了传统的物理印章。而C语言&#xff0c;作为一种基础且强大的编程语言&#xff0c;为电子印章的开发提供了强大的技术支持。本文将从四个方面、五个方面、六…

如何组织我的 Python 代码

编写代码更像是一门艺术&#xff0c;而不是一门科学。编写精炼、合乎逻辑且强大的工程解决方案对于解决问题非常重要。然而&#xff0c;似乎存在一个重大挑战&#xff1a;让这些解决方案全面且易读。 本文的重点是如何最好地组织 Python 类&#xff0c;使其既可读又整洁。Pyth…

pdf文件太大如何变小,苹果电脑压缩pdf文件大小工具软件

压缩PDF文件是我们在日常办公和学习中经常会遇到的需求。PDF文件由于其跨平台、保持格式不变的特点&#xff0c;被广泛应用于各种场合。然而&#xff0c;有时候我们收到的PDF文件可能过大&#xff0c;不便于传输和存储&#xff0c;这时候就需要对PDF文件进行压缩。下面&#xf…

针对硅基氮化镓高电子迁移率晶体管(GaN-HEMT)的准物理等效电路模型,包含基板中射频漏电流的温度依赖性

来源&#xff1a;Quasi-Physical Equivalent Circuit Model of RF Leakage Current in Substrate Including Temperature Dependence for GaN-HEMT on Si&#xff08;TMTT 23年&#xff09; 摘要 该文章提出了一种针对硅基氮化镓高电子迁移率晶体管&#xff08;GaN-HEMT&…

【Java数据结构】详解LinkedList与链表(四)

&#x1f512;文章目录&#xff1a; 1.❤️❤️前言~&#x1f973;&#x1f389;&#x1f389;&#x1f389; 2.什么是LinkedList 3.LinkedList的使用 3.1LinkedList的构造方法 3.2LinkedList的其他常用方法介绍 addAll方法 subList方法 LinkedList的常用方法总使…

网络I/O模型

网络I/O模型 同步I/O阻塞I/O非阻塞I/OI/O多路复用select函数接口示例 poll函数接口示例 poll 和 select 的区别epoll原理&#xff1a;示例 Reactor单 Reactor 单进程 / 线程&#xff1b;单 Reactor 多线程 / 进程&#xff1b;多 Reactor 多进程 / 线程&#xff1b; 异步I/O 同步…

歌声合成算法流程和基于lstm的算法实例

歌声合成(Singing Voice Synthesis, SVS)是一项复杂的任务,旨在生成具有自然音质和情感的歌声。实现这种效果的算法通常涉及多个步骤,包括音高预测、音素时长预测、声学特征生成和波形生成等。基于LSTM(Long Short-Term Memory)网络的歌声合成算法是其中一种常见的方法。…

【吊打面试官系列】Java高并发篇 - 什么是自旋 ?

大家好&#xff0c;我是锋哥。今天分享关于 【什么是自旋 &#xff1f;】面试题&#xff0c;希望对大家有帮助&#xff1b; 什么是自旋 &#xff1f; 很多 synchronized 里面的代码只是一些很简单的代码&#xff0c;执行时间非常快&#xff0c;此时等待的线程都加锁可能是一种不…