操作系统运行机制

news2024/11/24 17:39:59

文章目录

  • 操作系统运行机制
    • 特权指令VS非特权指令
    • 内核态VS用户态
    • 中断和异常
      • 内中断(异常)
      • 外中断
      • 中断机制基本原理
      • 中断处理过程
    • 系统调用
      • 系统调用和库函数的区别
      • 为什系统调用时必须的?
      • 什么功能需要用到系统调用
      • 系统调用的过程
      • 小结
    • 操作系统内核


操作系统运行机制

特权指令VS非特权指令

“指令”就是CPU能识别、执行的命令,和Linux的命令不一样,Linux的命令是交互式的命令行,也就是前面所提到的联机命令接口

应用程序:普通程序员写的就是普通“应用程序”,应用程序只能使用非特权指令,如:加法指令、减法指令等

内核程序:比如windows或者是苹果公司写的操作系统内核,由很多内核程序组成操作系统内核。操作系统内核作为“管理者”,有时会让CPU执行一些“特权指令”,这些指令影响巨大,只允许“管理者”操作。这些操作系统内核程序具有原子性

在CPU设计和生产的时候就划分了特权指令和非特权指令,因此CPU执行一条指令前就能判断出指令类型。

内核态VS用户态

CPU有两种状态:内核态用户态

  • 处于内核态时,说明此时正在运行的是内核程序,此时可以执行特权指令
  • 处于用户态时,说明此时正在运行的是应用程序,此时只能执行非特权指令

在CPU中有一个寄存器叫做程序状态字寄存器(PSW),其中有个二进制位,用1和0分别表示内核态和用户态。

在这里插入图片描述

CPU在什么时候会进行切换状态?

  1. 在刚开机的时候,操作系统要进行初始化,此时CPU处于内核态,操作系统内核程序先上CPU运行
  2. 开机完成后,用户可以启动某个应用程序
  3. 操作系统内核程序在合适的时候会主动让出CPU,让该应用程序上CPU上运行(此时操作系统内核在让出CPU之前,会用一条特权指令把PSW的标志位设置为用户态
  4. 应用程序运行在用户态

在这里插入图片描述

  1. 假设此时有黑客在应用程序中植入了一条特权指令,企图破坏操作系统
  2. CPU发现接下来要执行的这条指令是特权指令,但是自己此时又处于用户态
  3. 这个非法事件会引发一个中断信号CPU检测到中断信号后,会立即变为核心态,并停止运行当前的应用程序,转而运行处理中断信号的内核程序)
  4. 中断使操作系统再次夺回CPU的控制权
  5. 操作系统会对引发中断的事件进行处理,处理完了再把CPU使用权交给别的应用程序

在这里插入图片描述

也就是说:

内核态到用户态的转换:执行一条特权指令,修改PSW的标志位为“用户态”,这个动作意味着操作系统将主动让出CPU使用权

用户态到内核态:由中断引发,硬件自动完成转换过程,触发中断信号意味着操作系统将强行夺回CPU的使用权。除了非法使用特权指令之外,但凡需要操作系统介入的地方,都会触发中断信号访管指令仅能在用户态下使用,执行访管指令可以将用户态转变为核心态

中断和异常

CPU上会运行两种程序,一种是操作系统内核程序(整个系统的管理者),一种是应用程序

中断是让操作系统夺回CPU使用权的唯一途径,如果没有中断机制,一旦应用程序上CPU运行,CPU就会一直运行这个应用程序。

内中断(异常)

内中断:内中断也被称为异常、陷入(trap),与当前执行的指令有关,中断信号来源于CPU内部

比如说CPU执行一条非法指令就发生内中断,比如说企图在用户态执行特权指令,或者说执行除法时发现除数为0,都会引发一个中断信号。

又比如说有时候应用程序向请求操作系统内核的服务,此时会执行一条特殊的指令(陷入指令),该指令会引发一个内部中断信号,再由处理中断信号的内核程序来处理这个中断信号。所谓的系统调用就是由陷入指令完成的。

内中断其实是在CPU内部执行的指令发生了异常,比如地址越界、算数溢出,而且异常不能被屏蔽,一旦出现应该立即处理

外中断

外中断:与当前执行的指令无关,中断信号来源于CPU外部

比如说:时钟中断(由时钟部件发来的中断信号),通过这个时钟中断信号就可以时间多道程序并发运行。假设时钟部件每50ms会发送一条中断指令。

有两个应用程序分别在运行,需要执行对应指令。假设程序1的指令现在CPU上执行,执行了两条指令后已经50ms了,此时时钟部件就会向CPU发送一个中断信号,这个中断信号是和CPU无关的,也就是说是在CPU外部的.

在这里插入图片描述

当CPU检测到一个中断信号后,它就会先暂定此时正在执行的应用程序,然后去执行一个处理时钟中断的内核程序,所以CPU就会对时钟中断信号进行处理,同时从用户态转换为内核态。

在这里插入图片描述

在内核态下CPU开始执行这个内核程序来处理刚才时钟部件发送的中断信号,这个内核程序执行的过程当中发现应用程序1刚刚已经执行了50ms的时间了,为了公平起见,于是这个内核程序就会把CPU的使用权交给第二个程序。

此时就又会切换为用户态,第二个应用程序就开始执行对应指令。

在这里插入图片描述

但第二个应用程序执行了一系列指令之后,如果又过了50ms,那么时钟部件则又会给CPU发送一个中断信号,和上面类似就又会切换成内核态,同时执行对应于的内核程序,又会发现程序2已经执行了50ms了就又会把CPU的使用权交给程序1。

这样就实现了应用程序的并发执行

除此之外还有来自一些输入输出设备发来的中断信号,比如说打印机。比如说world这个应用程序请求打印机的打印服务,那么打印机输出完成之后就会向CPU发送中断信号,来通知CPU的任务已经完成,接下来CPU会使用相对应的内核程序来对这个中断信号进行处理。这些都是CPU外部的中断,和CPU内部没有关系。CPU在每条指令执行完毕之后,都会例行的检查一下是否有外部中断需要处理。

在这里插入图片描述

中断机制基本原理

CPU会根据不同的中断信号,需要用不同的中断处理程序来处理。当CPU检测到中断信号后,会根据中断信号的类型去查询中断向量表,以此来找到相应的中断处理程序在内存中的存放位置,中断处理程序运行在内核态的。

在这里插入图片描述

中断处理过程

  1. 关中断:CPU响应后中断后,首先要保护程序的现场状态,在保护现场的过程中,CPU不应响应更高级中断源的中断请求。否则若现场保存不完整,在中断服务程序后,也就不能正确地恢复并继续执行先行程序
  2. 保存断点:为保证中断服务程序执行完毕后,能正确返回到原来程序,必须将原来的程序的断点(程序计数器)保存起来
  3. 引出中断服务程序:取出中断服务程序的入口地址送入程序技术器PC
  4. 保存线程和屏蔽字:进入中断服务后,首先要保存现场,现场信息一般是指程序状态字寄存器PSWR和某些通用寄存器的内容
  5. 开中断:允许更高级中断请求得到响应
  6. 执行中断服务程序:中断请求目的
  7. 关中断:保证在恢复现场和屏蔽字恢复到原理的状态
  8. 恢复现场和屏蔽字:中断服务程序的最后一条指令,通常是一条中断返回指令,使其返回到原程序的断点处,以便继续执行原程序。

系统调用

操作系统作为用户和计算机硬件直接的接口,需要向上提供一些简单易用的服务。主要包括命令接口,其中,程序接口由一组系统调用组成。

应用程序可以通过系统调用请求获得操作系统内核的服务,这个过程会发送用户态和内核态的切换

系统调用和库函数的区别

普通应用程序可以直接进行系统调用,也可以使用库函数。有的库函数涉及到系统调用(创建文件),有的不涉及(获取最大值)。

编程语言,向上提供库函数,有时候会将系统调用封装成库函数,以影藏系统调用的一些细节,是程序员编程更加方便。

操作系统,向上提供系统调用,使得上层程序能请求内核的服务。

在这里插入图片描述

为什系统调用时必须的?

生活场景:去学校打印店打印论文,你点击了 Word 的“打印”选项,打印机开
始工作。
你的论文打印到一半时,另一位同学点击了了 浏览器的的“打印”按钮,开始打印他
自己的论文。
如果两个进程可以随意地、并发地共享打印机资源,会发生什么情况?
两个进程并发运行,打印机设备交替地收到WPS和Wrd 两个进程发来的打印请
求,结果两篇论文的内容混杂在一起了…

在这里插入图片描述

解决方法:由操作系统内核对共享资源进行统一的管理,并向上提供**“系统调用”**,用户进程想要使用打印机这种共享资源,只能通过系统调用向操作系统内核发出请求。内核会对各个请求进行协调处理。

什么功能需要用到系统调用

应用程序通过系统调用请求操作系统的服务。而系统中的各种共享资源都由操作系统内核统一掌管,因此凡是与共享资源有关的操作(如存储分配、I/O操作、文件管理等)都必须通过系统调用的方式向操作系统内核提出服务请求,由操作系统内核代为完成。这样可以保证系统的稳定性和安全性,防止用户进行非法操作。

系统调用的过程

假设有一个应用程序在执行一些指令,此时这个CPU在用户态,但这个应用程序想要执行系统调用的指令的时候,就需要用传参数的指令给CPU的寄存中传递一些必要的参数,传递的参数可能会有多条,主要看的是这个系统调用需要传递几个参数。操作系统会根据传递的参数来判断应用程序到底需要哪种类型的服务

在这里插入图片描述

当这些参数都放入CPU的寄存器之后,应用程序就会执行一条特殊的指令,叫做陷入指令。而这个陷入指令的执行会引发一个内中断信号,CPU在检测到这个内中断信号后返现这个信号是trap指令发出的,此时就会先暂停这个应用程序,再去执行处理陷入指令的内核程序,而这个程序就是系统调用入口程序,而这个程序是操作系统内核程序,CPU就会转换为内核态进行运行。

在这里插入图片描述

而这个系统调用入口程序,就会检查CPU寄存器中的参数,来判断应用程序需要哪种类型的系统调用。

在这里插入图片描述

知道应用程序需要执行哪种类型的系统调用程序后,操作系统就会去执行对应的系统调用程序。

小结

  1. 陷入指令是非特权指令,它是在用户态执行的,执行陷入指令后意味着应用程序把CPU的使用权主动的交还给了操作系统的内核,用这样的方式来请求操作系统的内核服务。
  2. 所以陷入指令执行之后,就会触发一个内中断,然后CPU会切换为内核态,转向的去执行一个处理系统调用的内核程序。
  3. 等这个内核程序执行完毕后,就会返回到原来的应用程序接着往下执行。
  4. 发出系统调用请求是在用户态,而对系统调用的相应的处理是在核心态下进行。
  5. 陷入指令就是trap指令/访管指令

操作系统内核

像时钟管理、中断处理这样的功能是在操作系统内核中完成的,而所谓的原语指的就是在运行过程中不能打断的,即使在运行的过程中有外部中断信号过来了,CPU仍然会先把原语执行完成再去处理中断信号。

像Centos和乌班图的开发团队,其主要工作是实现非内核的功能,它们发行的操作系统,其实都是使用的Linux内核。

在这里插入图片描述

内核是操作系统最基本、最核心的部分。实现操作系统内核功能的那些程序就是内核程序

大内核:如下图,把所有功能都包含在操作系统当中的就是大内核

微内核:如下图,如果内核中只是保留与硬件最接近的这些部分,就是小内核

在这里插入图片描述

需要注意的如果采用的是微内核的这种方式,不处于内核中的功能是运行在用户态,处于内核中的功能是运行在内核态的。这就会对系统的性能照成影响。

举个例子:

假设有一个应用程序想要请求操作系统的服务,这个服务的处理同时涉及到进程管理、存储管理和设备管理。

如果是大内核,只需要两次的状态转换,而微内核则需要6次的状态转换。

在这里插入图片描述

需要注意的是内核态和用户态之间的切换是会有开销的,需要消耗一定的系统资源和时间,频繁的进行内核态和用户态的切换是会降低系统性能的


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

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

相关文章

防火墙的技术(NAT NAT-Server 策略路由 ) 第二十课

防火墙的技术(NAT NAT-Server 策略路由 ) 第二十课 环境的准备工作 1 配置如图所示的所有的IP地址 1 配置IIP地址 2 配置防火墙中的基本配置 防火墙的默认管理口的ip地址 <USG6000-ISP-LOCAL>display current-configuration 2023-10-28 02:54:08.620 !Software Ver…

YugaByteDB -- 全新的 “PostgreSQL“ 存储层

文章目录 0 背景1 架构1.1 Master1.2 TServer1.3 Tablet 2 读写链路2.1 DDL2.2 DML2.3 事务 3 KEY 的设计4 Rocksdb 在 YB 中的一些实践总结 0 背景 YugaByteDB 的诞生也是抓住了 spanner 推行的NewSQL 浪潮的尾巴&#xff0c;以 PG 生态为基础 用C实现的 支持 SQL 以及 CQL 语…

Linux多核CPU启动内核调试(详细)总结

目录 一、综述二、调试流程简介2.1 大体流程2.2 spin-table简介 三、uboot和内核配置3.1 uboot配置3.2 timer配置3.3 GIC中断配置3.4 驱动确认3.5 SMP配置3.6 内核config配置 四、其他相关链接1、[交叉编译linux内核总结](https://blog.csdn.net/Luckiers/article/details/1245…

Apache服务的搭建与配置(超详细版)

前言 Apache是一种常见的Web服务器软件&#xff0c;广泛用于Linux和其他UNIX操作系统上。它是自由软件&#xff0c;可以通过开放源代码的方式进行自由分发和修改。Apache提供了处理静态和动态内容的能力&#xff0c;而且还支持多种编程语言和脚本&#xff0c;如PHP、Python和P…

Doremy‘s Connecting Plan(cf 906 div2)

Doremy生活在一个由编号从1到n的n个城市组成的国家&#xff0c;第二个城市居住着ai人。它可以被建模为具有n节点的无向图。最初&#xff0c;图形中没有边。现在Doremy想要使图连通。 要做到这一点&#xff0c;她可以在i和j之间添加一条边,并且满足以下条件 其中S是当前在i或j的…

分类预测 | Matlab实现KOA-CNN-BiGRU-selfAttention多特征分类预测(自注意力机制)

分类预测 | Matlab实现KOA-CNN-BiGRU-selfAttention多特征分类预测&#xff08;自注意力机制&#xff09; 目录 分类预测 | Matlab实现KOA-CNN-BiGRU-selfAttention多特征分类预测&#xff08;自注意力机制&#xff09;分类效果基本描述程序设计参考资料 分类效果 基本描述 1.M…

基于UDP/TCP的网络通信编程实现

小王学习录 今日鸡汤Socket套接字基于UDP来实现一个网络通信程序DatagramSocket类DatagramPacket类基于UDP的服务器端代码基于UDP的客户端代码基于TCP来实现一个网络通信程序ServerSocket类Socket类基于TCP的服务器端代码基于TCP的客户端代码优化之后的服务器端代码补充TCP长短…

RabbitMQ学习04

文章目录 发布确认1. 发布确认的原理2. 发布确认的策略2.1.开启发布确认的方法2.2.单个确认2.3.批量确认发布2.4.异步确认发布2.5.如何处理异步未确认消息2.6 总结&#xff1a; 发布确认 1. 发布确认的原理 生产者将信道设置成 confirm 模式&#xff0c;一旦信道进入 confirm …

Spring Cloud Alibaba 教程 Fegin 篇

Spring Cloud Alibaba 教程 | Feign 篇 写在前面的话&#xff1a; 本笔记在参考网上视频以及博客的基础上&#xff0c;只作为个人学习笔记&#xff0c;如有侵权联系删除&#xff0c;谢谢&#xff01; 1、Feign替代RestTemplate ​ 1.1 引入依赖 <!-- Feign 客户端依赖 --&…

StringBuffer类提供针对字符的操作方法

StringBuffer类是Java中用于操作字符串的一个类&#xff0c;提供了许多针对字符的操作方法&#xff0c;例如&#xff1a; append()&#xff1a;用于在字符串末尾添加字符或字符串。 insert()&#xff1a;用于在字符串的指定位置插入字符或字符串。 delete()&#xff1a;用于删…

Spring中简单的获取Bean对象(对象装配)

获取Bean对象也叫做对象装配&#xff0c;是把对象取出来放到某个类中&#xff0c;有时候也叫对象注入&#xff01; 对象装配&#xff08;对象注入&#xff09;更加简单的读取Bean&#xff08;是从Spring容器中读取某个对象放到当前类里面&#xff09;的实现方法有以下3种&…

06 MIT线性代数-线性无关,基和维数Independence, basis, and dimension

1. 线性无关 Independence Suppose A is m by n with m<n (more unknowns than equations) Then there are nonzero solutions to Ax0 Reason: there will be free variables! A中具有至少一个自由变量&#xff0c;那么Ax0一定具有非零解。A的列向量可以线性组合得到零向…

【AD9361 数字接口CMOS LVDSSPI】C 并行数据之LVDS

接上一部分&#xff0c;AD9361 数字接口CMOS &LVDS&SPI 目录 一、LVDS模式数据路径和时钟信号LVDS模式数据通路信号[1] DATA_CLK[2] FB_CLK[3] Rx_FRAME[4] Rx_D[5&#xff1a;0][5] Tx_FRAME[6]Tx_D[5&#xff1a;0][7] ENABLE[8] TXNRX系列 二、LVDS最大时钟速率和信…

附录B 其他第三方软件移植(FTP、OpenSSH、GDB)

目录 开发板 FTP 服务器移植与搭建vsftpd 源码下载vsftpd 移植vsftpd 服务器测试配置vsftpd添加新用户Filezilla 连接测试 开发板 OpenSSH 移植与使用OpenSSH 简介OpenSSH 移植OpenSSH 源码获取移植zlib 库移植openssl 库移植openssh 库 openssh 设置openssh 使用ssh 登录scp 命…

opencv4.x通过cmake编译带cuda

首选确定目标&#xff0c;需要编译的是opencv4.5.5带第三方库&#xff0c;带cuda的版本&#xff0c;使用vs编译器&#xff0c;编译releasedebug版本。 需要先安装好cmake cuda cudnn等基础依赖&#xff0c;并且确保安装好vs的编译器&#xff0c;并且大小版本都符合实际要求。 …

【C++的OpenCV】第十四课-OpenCV基础强化(三):Mat元素的访问之data和step属性

&#x1f389;&#x1f389;&#x1f389; 欢迎来到小白 p i a o 的学习空间&#xff01; \color{red}{欢迎来到小白piao的学习空间&#xff01;} 欢迎来到小白piao的学习空间&#xff01;&#x1f389;&#x1f389;&#x1f389; &#x1f496; C\Python所有的入门技术皆在 我…

信息系统项目管理师教程 第四版【第4章-信息系统管理-思维导图】

信息系统项目管理师教程 第四版【第4章-信息系统管理-思维导图】

由一个单例模式引发的思考-holder类方式

前言&#xff1a; 最近在看《Java并发编程实践》&#xff0c;里面提到了一种实现单例模式的方式&#xff0c;并大致说明了机制&#xff0c;但仍不是很清晰&#xff0c;今日有空&#xff0c;查阅相关书籍&#xff0c;尝试解释其中道理。 单例模式&#xff1a; 单例模式是一种常…

队列(8.6)

目录 2.队列 2.1队列的概念及结构 2.2队列的实现 2.2.1初始化队列 2.2.2队尾入队列 2.2.3队头出队列 2.2.4获取队列头部元素 2.2.5 销毁队列 3.栈和队列面试题 225. 用队列实现栈 - 力扣&#xff08;LeetCode&#xff09; 232. 用栈实现队列 - 力扣&#xff08;LeetC…

【送书福利-第二十一期】《ChatGPT进阶:提示工程入门》

&#x1f60e; 作者介绍&#xff1a;我是程序员洲洲&#xff0c;一个热爱写作的非著名程序员。CSDN全栈优质领域创作者、华为云博客社区云享专家、阿里云博客社区专家博主、前后端开发、人工智能研究生。公粽号&#xff1a;程序员洲洲。 &#x1f388; 本文专栏&#xff1a;本文…