操作系统知识

211 阅读26分钟

Operating-System-Functions.png

操作系统概述

操作系统的定义:能有效地组织和管理系统中的各种软/硬资源,合理地组织计算机系统工作流程,控制程序的运行,并且向用户提供一个良好的工作环境和友好的接口

操作系统有三个重要作用:

  • 管理计算机中运行的程序和分配各种软/硬件资源
  • 为用户提供友善的人机界面
  • 为应用程序的开发和运行提供一个高效的平台

操作系统的四个特征:并发性共享性虚拟性不确定性

操作系统的功能:

  • 进程管理。实质上是对处理器的执行时间进行管理,采用多道程序等技术将CPU的时间合理的分配给每个任务,主要包括进程控制进程同步进程通信进程调度
  • 文件管理。主要包括文件存储空间管理目录管理文件的读/写管理存取控制
  • 存储管理。对主存储器空间进行管理,主要包括存储空间分配与回收存储保护地址映射(变换)主存扩充
  • 设备管理。实质上是对硬件设备的管理,包括对输入/输出设备的分配启动完成回收
  • 作业管理。包括任务界面管理人机交互图形界面语音控制虚拟现实

操作系统的分类:批处理操作系统分时操作系统实时操作系统网络操作系统分布式操作系统嵌入式操作系统微内核操作系统等。

批处理操作系统:单道批处理多道批处理(主机与外设可并行)。

分时操作系统:一个计算机系统和多个终端设备连接。分时操作系统是将CPU的工作时间划分为许多很短的时间片,轮流为各个终端的用户服务

实时操作系统:实时是指计算机对于对外来信息能够以足够快的速度进行处理,并在被控对象允许的时间范围内做出快速反应。实时系统对交互能力要求不高,但要求可靠性有保障。为了提高系统的响应时间,对随机发生的外部事件应及时作出响应并对其进行处理。

网络操作系统:是使联网计算机能方便而有效地共享网络资源,为网络用户提供各种服务的软件和有关协议的集合。功能主要包括高效可靠的网络通信;对网络中共享资源的有效管理;提供电子邮件]()文件传输共享硬盘打印机网络安全管理等服务;提供互操作能力
三种模式:集中模式客户端/服务器模式对等模式

分布式操作系统:分布式计算机系统是由多个分散的计算机经连接而成的计算机系统,系统中的计算机无主、次之分,任意两台计算机可以通过通信交换信息。通常,为分布式计算机系统配置的操作系统称为分布式操作系统。是网络操作系统的更高级形式。

微型计算机操作系统:简称微机操作系统,常用的有Windows、MacOS、Linux。

嵌入式操作系统:运行在嵌入式智能芯片环境中,对整个智能芯片以及它所操作、控制的各种部件装置等资源进行统一协调处理指挥控制
嵌入式操作系统主要特点如下:

  1. 微型化。从性能成本角度考虑,希望占用的资源和系统代码量少,如内存少、字长短、运行速度有限、能源少(用微小型电池)。
  2. 可定制。从减少成本缩短研发周期考虑,要求嵌入式操作系统能运行在不同的微处理器平台上,能针对硬件变化进行结构与功能上的配置,以满足不同应用需要。
  3. 实时性。嵌入式操作系统主要应用于过程控制数据采集传输通信多媒体信息及关键要害领域需要迅速响应的场合,所以对实时性要求较高。
  4. 可靠性系统构件模块体系结构必须达到应有的可靠性,对关键要害应用还要提供容错和防故障措施。
  5. 易移植性。为了提高系统的易移植性,通常采用硬件抽象层Hardware Abstraction Level,HAL)和板级支撑包BoardSupportPackage,BSP)的底层设计技术。

嵌入式系统初始化过程:按照自底向上、从硬件到软件的次序依次为:片级初始化板级初始化系统初始化。芯片级是微处理器的初始化。板卡级是其他硬件设备初始化。系统级初始化就是软件及操作系统初始化。

微内核操作系统:微内核,顾名思义,就是尽可能的将内核做的很小,只将最为核心必要的东西放入内核中,其他能独立的东西都放入用户进程中,这样,系统就被分为了用户态内核态
如图所示:
image.png

进程管理

进程的组成:进程控制块(PCB,Process Control Block)(唯一标志)程序(描述程序要做什么)数据(存放进程执行时所需数据)

进程的状态:
三态图:

stateDiagram-v2

运行 --> 阻塞: 等待某事件
阻塞 --> 就绪: 等待的事件发生
就绪 --> 运行: 调度
运行 --> 就绪: 时间片到

五态图:

stateDiagram-v2

新建 --> 就绪: 创建进程
就绪 --> 运行: 调度
运行 --> 阻塞: 等待某事件
运行 --> 就绪: 时间片到
运行 --> 终止: 终止进程
阻塞 --> 就绪: 等待的事件发生

前趋图:用来表示哪些任务可以并行执行,哪些任务有顺序关系,如图:
image.png
此图可以确定任务间的并行任务间的先后顺序

进程资源图:用来表示进程资源之间的分配和请求关系。
如图所示:
image.png
P代表进程,R代表资源,R方框中有几个圆球就表示有几个这种资源,在上图中,R1指向P1,表示R1有一个资源已经分配给了P1,P1指向R2,表示P1还需要请求一个R2资源才能执行。

  1. 阻塞节点:某进程所请求的资源已经全部分配完毕,无法获取所需资源,该进程被阻塞了无法继续。如上图中P2。
  2. 非阻塞节点:某进程所请求的资源还有剩余,可以分配给该进程继续运行。如上图中P1、P3。

当一个进程资源图中所有进程都是阻塞节点时,即陷入死锁状态。
进程资源图的化简方法:先看系统还剩下多少资源没分配,再看有哪些进程是不阻塞的,接着把不阻塞的进程的所有边都去掉,形成一个孤立的点;再把系统分配给这个进程的资源回收回来,这样,系统剩余的空闲资源便多了起来,接着又去看看剩下的进程有哪些是不阻塞的,然后又把它们逐个变成孤立的点;最后,所有的资源和进程都变成孤立的点。

互斥和同步并非反义词,互斥表示一个资源在同一时间内只能由一个任务单独使用,需要加锁,使用完后解锁才能被其他任务使用。同步表示两个任务可以同步执行,只不过速度上有差别,需要速度上匹配,不存在资源是否单独或者共享的问题。

信号量操作:

  • 临界资源:各个进程间需要互斥方式对其进行共享的资源,即在某一时刻只能被一个进程使用,该进程释放后又可以被其他进程使用。
  • 临界区:每个进程中访问临界资源的那段代码。
  • 信号量:一种特殊的变量。

信号量操作的两类信号量:

  • 互斥信号量,对临界资源采用互斥访问,使用互斥信号量后其他进程无法访问,初值为1。
  • 同步信号量,对共享资源的访问控制,初值是共享资源的个数。

信号量操作的P(Passeren,荷兰语,相当于英语Pass)操作和V(Verhoog,荷兰语,相当于英语Incremnet)操作:都是原子操作,用来解释进程间的同步互斥原理,PV操作原理如图:
image.png
例如在生产者和消费者的问题中,生产者生产一个商品S,而后要申请互斥的使用该仓库,即首先需要执行互斥信号量P(SO),申请到仓库独立使用权后,再判断仓库是否有空闲(信号量S1),执行P(S1),若结果大于等于0,表示仓库有空闲,再将S放入仓库中,此时仓库商品数量(信号量S2)增加1,即执行V(S2)操作,使用完毕后,释放互斥信号量V(SO)。对于消费者,首先也需要执行互斥信号量P(S0),申请到仓库独立使用权后,再判断仓库中是否有商品,执行P(S2),若结果大于等于0,表示有商品,可以取出,此时造成了一个结果,即仓库空闲了一个,执行V(S1)操作,使用完毕后,释放互斥信号量V(SO)。因此,执行P操作是主动的带有判断性质的-1,执行V操作是被动的因为某操作产生的+1。

进程调度方式:指当有更高优先级进程到来时如何分配CPU。分为可剥夺不可剥夺两种,可剥夺指当有更高优先级进程到来时,强行将正在运行进程的CPU分配给高优先级进程;不可剥夺是指高优先级进程必须等待当前进程自动释放CPU。

进程调度在某些操作系统中,一个作业从提交到完成需要经历三级调度。

  1. 高级调度:又称为长调度作业调度接纳调度,它决定处于输入池的哪个后备作业可以调入主系统做好运行的准备,成为一个或一组就绪进程。在系统中一个作业只需要经过一次高级调度。
  2. 中级调度:又称为中程调度兑换调度,它决定处于交换区中的哪个就绪进程可以调入内存,以便直接参与对CPU的竞争。
  3. 低级调度:又称为短程调度进程调度,它决定处于内存中的哪个进程可以占用CPU。低级调度是操作系统中最活跃、最重要的调度程序,对系统的影响很大。

调度算法:
image.png

  • 先来先服务FCFS:先到达的进程优先分配CPU。用于宏观调度
  • 时间片轮转:分配给每个进程CPU时间片,轮流使用CPU,每个进程时间片大小相同,很公平,用于微观调度
  • 优先级调度:每个进程都拥有一个优先级,优先级大的先分配CPU
  • 多级反馈调度:时间片轮转优先级调度结合而成,设置多个就绪队列1,2,3.…n,每个队列分别赋予不同的优先级,分配不同的时间片长度;新进程先进入队列1的末尾,按FCFS原则,执行队列1的时间片;若未能执行完进程,则转入队列2的末尾,如此重复。

死锁问题:当一个进程在等待永远不可能发生的事件时,就会产生死锁,若系统中有多个进程处于死锁状态,则会造成系统死锁。
死锁产生的四个必要条件:资源互斥每个进程占有资源并等待其他资源释放系统不能剥夺进程资源进程资源图是一个环路
死锁产生后,解决措施是打破四大条件:死锁预防死锁避免死锁检测死锁解除

  • 死锁预防:采用某种策略限制并发进程对于资源的请求,破坏死锁产生的四个条件之一,使系统任何时刻都不满足死锁的条件。
  • 死锁避免:一般采用银行家算法来避免,银行家算法,就是提前计算出一条不会死锁的资源分配方法,才分配资源,否则不分配资源,相当于借贷,考虑对方还得起才借钱,提前考虑好以后,就可以避免死锁。
  • 死锁检测:允许死锁,但是系统定时运行一个检查死锁的程序,若检测到系统中发生死锁,则设法加以解除。
  • 死锁解除:即死锁发生后的解除方法,如强制剥夺资源,撤销进程等。

死锁资源计算:系统内有 n 个进程,每个进程都需要 R 个资源,那么其发生死锁的最大资源数为n * ( R - 1 )。其不发生死锁的最小资源数为n * ( R - 1 ) + 1。

传统的进程有两个属性:可拥有资源的独立单位可独立调度和分配的基本单位

为什么引入线程:是进程在创建撤销切换中,系统必须为之付出较大的时空开销,故在系统中设置的进程数目不宜过多,进程切换的频率不宜太高,这就限制了并发程度的提高。引入线程后,将传统进程的两个基本属性分开,线程作为调度和分配的基本单位,进程作为独立分配资源的单位。用户可以通过创建线程来完成任务,以减少程序并发执行时付出的时空开销。

线程是进程中的一个实体,是被系统独立分配调度的基本单位。 线程基本上不拥有资源,只拥有一点运行中必不可少的资源(如程序计数器、一组寄存器和栈),它可与同属一个进程的其他线程共享进程所拥有的全部资源,例如进程的公共数据、全局变量、代码、文件等资源,但不能共享线程独有的资源,如线程的栈指针等标识数据。

资源分配图化简法
信号量机制
看完了进程同步与互斥机制,我终于彻底理解了 PV 操作
进程调度的原理和算法探析
面试官:什么是死锁?怎么排查死锁?怎么避免死锁?

存储管理

存储器结构:寄存器-高速缓存Cache-主存-外存

地址重定位:将逻辑地址转换为主存物理地址的过程,分为静态重定位(在程序装入内存时就完成了转换)、动态重定位(边运行边转换)两种。

分区存储管理:就是整存,将某进程运行所需的内存整体一起分配给它,然后再运行。

分区存储管理的三种方式:固定分区可变分区可重定位分区

固定分区静态分区方法,将主存分为若干个固定的分区,将要运行的作业装配进去,由于分区固定,大小和作业需要的大小不同,会产生内部碎片。

可变分区动态分区方法,主存空间的分区是在作业转入时划分,正好划分为作业需要的大小,这样就不存在内部碎片,但容易将整片主存空间切割成许多块,会产生外部碎片。
可变分区算法见图(根据分配前的内存情况,还需要分配 9K 空间给作业4),如下:
579d19ed3f994ff890a2ee2180b0b83d.png

  • 首次适应法:按内存地址顺序从头查找,找到第一个大于等于 9K 空间的空闲块,即切割 9K 空间分配给进程。
  • 最佳适应法:将内存中所有空闲内存块按从小到大排序,找到第一个大于等于9K空间的空闲块,切割分配,这个将会找到与 9K 空间大小最相近的空闲块。
  • 最差适应法:和最佳适应法相反,将内存中空闲块空间最大的,切割9K空间分配给进程,这是为了预防系统中产生过多的细小空闲块
  • 循环首次适应法:按内存地址顺序查找,找到第一个大于等于 9K 空间的空闲块,而后若还需分配,则找下一个,不用每次都从头查找,这是与首次适应法不同的地方。

可重定位分区:可以解决碎片问题,移动所有已经分配好的区域,使其成为一个连续的区域,这样其他外部细小的分区碎片可以合并为大的分区,满足作业要求。只在外部作业请求空间得不到满足时进行。

分页存储管理:如果采用分区存储,都是整存会出现一个问题,即进程运行所需内存大于系统内存时,就无法将整个进程一起调入内存,因此无法运行,若要解决此问题,就需要采用段页式存储管理,页式存储是基于可变分区提出的

逻辑页分为页号页内地址,页内地址就是物理偏移地址,而页号并非与物理块号按序对应,需要查询页表,才能得知页号对应的物理块号,再用物理块号加上物理偏移地址才能得出真正运行时的物理地址。如图所示:
image.png

分页存储管理的优点:利用率高碎片小分配及管理简单
分页存储管理的缺点:增加系统开销可能产生抖动现象

地址表示与转换:物理地址和逻辑地址的业内偏移地址是一样的,只需要求出页号和物理块号之间的对应关系,首先需要求出页号的位数,得出页号,再去页表里查询其对应的物理块号,使用此物理块号和页内偏移地址的组合,就能得到物理地址。

分页存储管理的地址组成:页地址 + 页内偏移地址;(页地址在高位,页内偏移地址在低位)。

分页存储管理的物理地址:物理块号 + 页内偏移地址
分页存储管理的逻辑地址:页号 + 页内偏移地址

页内置换算法:

  • 最优算法OPT:理论上的算法,无法实现,是在进程执行完后进行的最佳效率算法,用来让其他算法比较差距。原理是选择未来最长时间内不被访问的页面置换,这样可以保证未来执行的都是马上要访问的。
  • 先进先出FIFO:先调入内被的页先被置换淘汰,会产生抖动现象,即分配的页数越多,缺页率可能个越多(即效率越低)。
  • 最近最少使用LRU:在最近的过去,进程执行过程中,过去最少使用的页面被置换淘汰,根据局部性原理,这种方式效率高,且不会产生抖动现象,使用大量计数器,但是没有LFU多。

页面置换算法淘汰原则:优先淘汰最近未访问的,而后淘汰最近未被修改的页面

快表:是一块小容量的相联存储器,由快速存储器组成,按内容访问,速度快,并且可以从硬件上保证按内容并行查找,一般用来存放当前访问最频繁的少数活动页面的号码。快表是将页表存于Cache中,慢表是将页面存于内存上。慢表需要访问两次内存才能取出页,而快表是访问一次Cache和一次内存,所以更快。

段式存储管理:将进程空间分为一个个段,每段也有段号和段内地址,与页式存储不同的是,每段物理大小不同,分段是根据逻辑整体分段的,因此,段表也与页表的内容有所不同,页表中直接是逻辑页号对应物理块号,段表有段长和基址两个属性,才能确定一个逻辑段在物理段中的位置。
image.png

段式存储管理优点:多道程序共享内存,各段程序修改互不影响。 段式存储管理缺点:内存利用率低,内存碎片浪费大。
地址表示:其中段内偏移不能超过该段号对应的段长,否则越界错误,而此地址对应的真正物理地址应该是:段号对应的基地址 + 段内偏移

分段与分页存储管理的区别:分页是根据物理空间划分,每页大小相同;分段是根据逻辑空间划分,每段是个完整的功能,便于共享,但是大小不同。

段页式存储管理对进程空间先分段,后分页。
优点:空间浪费小存储共享容易存储保护容易能动态链接
缺点:由于管理软件的增加复杂性和开销也随之增加需要的硬件以及占用的内容也有所增加使得执行速度大大下降。 具体原理图和优缺点如下:
image.png

分区存储管理
分页存储管理机制
页面分配策略和页面置换算法 段式存储管理、段页式存储管理

设备管理

设备:是计算机系统外界交互的工具,具体负责计算机与外部的输入/输出工作,所以常称为外部设备(简称外设)。在计算机系统中,将负责管理设备输入/输出的机构称为I/O系统。因此,I/O系统由设备控制器通道(具有通道的计算机系统)、总线I/O软件组成。

设备分类:

  • 按数据组织:块设备,字符设备
  • 按功能分类:输入设备,输出设备,存储设备,网络联网设备,供电设备等
  • 按资源分配角度:独占设备,共享设备,虚拟设备等
  • 按照数据传输速率:低速设备,中速设备,高速设备

设备管理的任务是保证在多道程序环境下,当多个进程竞争使用设备时,按一定的策略分配管理各种设备,控制设备的各种操作,完成I/O设备主存之间的数据交换。

设备管理的主要功能是动态地掌握并记录设备的状态设备分配和释放缓冲区管理实现物理I/O设备的操作提供设备使用的用户接口及设备的访问和控制。

I/O设备管理软件的所有层次及每一层功能:
image.png

虚设备和SPOOLING(外围设备联机操作,Simultaneous Peripheral Operation On-Line)技术:一台实际的物理设备,例如打印机,在同一时间只能由一个进程使用,其他进程只能等待,且不知道什么时候打印机空闲,此时,极大的浪费了外设的工作效率。引入SPOOLING技术,就是在外设上建立两个数据缓冲区,分别称为输入井输出井,这样,无论多少进程,都可以共用这一台打印机,只需要将打印命令发出,数据就会排队存储在缓冲区中,打印机会自动按顺序打印,实现了物理外设的共享,使得每个进程都感觉在使用一个打印机,这就是物理设备的虚拟化。如下图所示:
image.png

I/O 设备管理软件

文件管理

文件:具有符号名在逻辑上具有完整意义的一组相关信息项的合集。

信息项:构成文件内容的基本单位,可以是一个字符,也可以是一个记录,记录可以等长,也可以不等长。一个文件包括文件体文件说明。文件体是文件真实的内容。文件说明是操作系统为了管理文件所用到的信息,包括文件名文件内部标识文件的类型文件存储地址文件的长度访问权限建立时间访问时间等。

文件管理系统:操作系统中实现文件统一管理的一组软件相关数据的集合,专门负责管理和存取文件信息的软件机构,简称文件系统。文件系统的功能包括按名存取统一的用户接口并发
访问和控制安全性控制优化性能差错恢复

文件的类型:

  • 按文件性质和用途:系统文件库文件用户文件
  • 按信息保存期限:临时文件档案文件永久文件
  • 按文件保护方式:只读文件读/写文件可执行文件不保护文件
  • UNIX系统的文件分类:普通文件目录文件设备文件(特殊文件)

文件的逻辑结构:

  • 有结构的记录式文件。它是由一个以上的记录构成的文件,故又称为记录式文件
  • 无结构的流式文件。它是由一串顺序字符流构成的文件

文件的物理结构是指文件的内部组织形式,即文件在物理存储设备上的存放方法,包括:

  • 连续结构。连续结构也称顺序结构,它将逻辑上连续的文件信息(如记录)依次存放在连续编号的物理块上。只要知道文件的起始物理块号和文件的长度,就可以很方便地进行文件的存取。
  • 链接结构。链接结构也称串联结构,它是将逻辑上连续的文件信息(如记录)存放在不连续的物理块上,每个物理块设有一个指针指向下一个物理块。因此,只要知道文件的第一个物理块号,就可以按链指针查找整个文件。
  • 索引结构。在采用索引结构时,将逻辑上连续的文件信息(如记录)存放在不连续的物理块中,系统为每个文件建立一张索引表。索引表记录了文件信息所在的逻辑块号对应的物理块号,并将索引表的起始地址放在与文件对应的文件目录项中。
  • 多个物理块的索引表。索引表是在文件创建时由系统自动建立的,并与文件一起存放在同一文件卷上。根据一个文件大小的不同,其索引表占用物理块的个数不等,一般占一个或几个物理块。

索引文件结构:如下图所示,系统中有 13 个索引节点,0-9 为直接索引,即每个索引节点存放的是内容,假设每个物理盘大小为4KB,共可存4KB * 10=10KB数据;10 号索引节点为一级间接索引节点,大小为4KB,存放的并非直接数据,而是链接到直接物理盘块的地址,假设每个地址占 4B,则共有 1024 个地址,对应1024个物理盘,可存1024 * 4KB = 4098KB数据。二级索引节点类似,直接盘存放一级地址,一级地址再存放物理盘块地址,而后链接到存放数据的物理盘块,容量又扩大了一个数量级,为1024 * 1024 * 4KB数据。
image.png

文件控制块包含:基本信息类存取控制信息类使用信息类

  • 基本信息类:文件名文件的物理地址文件长度文件块数
  • 存取信息控制类:文件的存取权限,像UNIX用户分为文件主同组用户一般用户三类,这三类用户的读/写执行RWX权限。
  • 使用信息类:文件建立日期最后一次修改日期最后一次访问的日期当前使用的信息(如打开文件的进程数、在文件上的等待队列)等

文件控制块的有序集合称为文件目录: 相对路径:是从当前路径开始的路径。 绝对路径]:是从根目录开始的路径。 全文件名 = 绝对路径 + 文件名。 要注意,绝对路径和相对路径是不加最后的文件名的,只是单纯的路径序列。

树形结构主要是区分相对路径和绝对路径,如下图所示:
image.png

文件存储空间管理:文件的存取方法是指读/写文件存储器上的一个物理块的方法。

通常有顺序存取随机存取两种方法:

  • 顺序存取方法。对文件中的信息按顺序依次进行读/写
  • 随机存取方法。对文件中的信息可以按任意的次序随机地读/写

文件存储空间的管理:

  • 空闲区表。将外存空间上的一个连续的未分配区域称为“空闲区”。操作系统为磁盘外存上的所有空闲区建立一张空闲表,每个表项对应一个空闲区,适用于连续文件结构。
  • 位示图。这种方法是在外存上建立一张位示图(Bitmap),记录文件存储器的使用情况。每一位对应文件存储器上的一个物理块,取值0和1分别表示空闲和占用。
  • 空闲块链。每个空闲物理块中有指向下一个空闲物理块的指针,所有空闲物理块构成一个链表,链表的头指针放在文件存储器的特定位置上(如管理块中),不需要磁盘分配表,节省空间。每次申请空闲物理块只需根据链表的头指针取出第一个空闲物理块,根据第一个空闲物理块的指针可找到第二个空闲物理块,依此类推。
  • 成组链接法。例如,在实现时系统将空闲块分成若干组,每100个空闲块为一组,每组的第一个空闲块登记了下一组空闲块的物理盘块号和空闲块总数。假如某个组的第一个空闲块号等于0,意味着该组是最后一组,无下一组空闲块。