操做系统知识点(可学习,可复习,可面试)

2022年05月12日 阅读数:5
这篇文章主要向大家介绍操做系统知识点(可学习,可复习,可面试),主要内容包括基础应用、实用技巧、原理机制等方面,希望对大家有所帮助。

好几天没有发博客了,这几天都在忙着学习技术栈和操做系统,最近看完了王道考研的操做系统,而且结合着其余资料对操做系统的知识点进行了如下一万多字的整理,方便本身和小伙伴儿们学习,复习,以及准备面试用。制做不易,还请各位大佬多多支持。
若是写的有什么不对或者须要改进的地方,还请大佬不吝赐教,在这里先感谢大佬。
在这里插入图片描述
如下正文开始
程序员

操做系统简介

操做系统(operating system,简称OS)是管理计算机硬件与软件资源的计算机程序。操做系统须要处理如管理与配置内存、决定系统资源供需的优先次序、控制输入设备与输出设备、操做网络与管理文件系统等基本事务。操做系统也提供一个让用户与系统交互的操做界面。web

总结下来就是:面试

  1. 负责管理协调硬件,软件等计算机资源的工做
  2. 为上层用户,应用程序提供简单易用的程序
  3. 是一种系统软件

在这里插入图片描述

操做系统的特征

  1. 并发
  2. 共享(包括互斥共享和同时共享)
  3. 虚拟(空分复用技术和时分复用技术)
  4. 异步

并发

概念:是指一个时间段中有几个程序都处于已启动运行到运行完毕之间,且这几个程序都是在同一个处理机上运行,但任一个时刻点上只有一个程序在处理机上运行。(两个或多个事件在同一时间间隔内发生,这些事情宏观上是同时发生的,但微观上是交替发生的
而并行是指:两个或多个事件在同一时刻同时发生算法

二者区别编程

  1. 概念不一样
    并发:并发是指两个或多个事件在同一时间间隔发生
    并行:并行是指两个或者多个事件在同一时刻发生。
  2. 侧重点不一样
    并发侧重于在同一实体上
    并行:并行侧重于在不一样实体上
  3. 处理不一样
    并发:并发在一台处理器上“同时”处理多个任务。
    并行:并行在多台处理器上同时处理多个任务

在这里插入图片描述

好比,你今天作了吃饭,学习,如厕这几件事
按照并发来说:你今天从早上8点学习学到了12点,从12点吃饭吃到了12点半,而后如厕了10分钟。
按照并行来说:你今天边学习边如厕边吃饭(哈哈哈哈哈哈哈,有味道的例子)
在这里插入图片描述数组

共享

概念:共享就是资源共享,指系统中的资源可供内存中多个并发执行的进程共同使用
一. 互斥共享
系统中的某些资源,虽然能够提供给多个进程使用,可是一个时间段内只容许一个进程访问该资源。
二. 同时共享
系统在的某些资源,容许一个时间段内由多个进程“同时”对它们进行访问(这里的同时仍然是宏观上的,在微观上,这些进程多是交替地访问这些资源,即分时共享)
例子
互斥共享:在你使用QQ视频聊天的同时,你不能使用微信视频聊天,由于同一时间段内摄像头只能分配给一个进程。
同时共享:当你使用QQ发送文件是,也可使用微信发送文件。宏观上,两边都在同时读取并发送文件,说明两个进程都在访问硬盘资源,并读取数据;但从微观上,两个进程是交替着访问硬盘资源的
并发和共享的关系
并发性是指系统中同时存在着多个运行的程序
共享性是指系统在的资源可供内存中多个并发执行的进程使用安全

若是失去了并发性,则系统在一个时间内只能运行一个程序,则共享性失去了存在的意义
若是失去了共享性,则QQ和微信不能同时访问硬盘资源,也就没法同时发送文件,致使没法实现并发微信

虚拟

概念:虚拟是指把一个物理上的实体变为若干逻辑上的对应物,物理实体是实际存在的,而逻辑对应物是用户感觉到的
例子:一个程序须要放入内存,并给它分配CPU才能执行。若是程序同时运行的内存>电脑内存总量,运用虚拟存储器技术,就能够同时运行网络

假设一个单核CPU同时运行六个程序,运用虚拟处理器技术,实际上只有一个单核CPU,在用户看来却有6个CPU同时为本身服务。
“时分复用技术”(微观上处理机在各个微小的时间段内交替执行)
若是没有并发性,实际虚拟性也失去了意义
在这里插入图片描述数据结构

异步

概念:异步是指在多道程序环境下,容许多个程序并发执行,但因为资源有限,资源给了其中的一道程序,因为有限没法再给其余的程序,进程的执行不是一向到底的,而是走走停停,以不可预知的速度向前推动,这就是进程的异步性。
若是失去了并发性,系统只能串行地处理各个进程,每一个进程的执行会一向到底。只有系统拥有并发性,才可能致使异步性。

所以,没有并发和共享,就谈不上虚拟和异步,所以并发和共享是操做系统的两个最基本的特征

在这里插入图片描述

处理器的两种状态

CPU的两个工做状态,也就是处理器的两种执行状态。

核心态(又叫管态,系统态):核心态是操做系统的管理程序运行时的状态,它具备较高的特权级别。当处理器处于核心态时,它能够执行全部的指令,包括各类特权指令,也可使用全部的资源,而且具备改变处理器状态的能力。
用户态(又叫目态):用户态是用户程序运行时的状态,它具备较低的特权级别。在这种状态下不能使用特权指令(此时CPU只能执行非特权指令),不能直接使用系统资源,也不能改变CPU的工做状态,而且只能访问这个用户程序本身的存储空间。

用程序状态字寄存器(PSW)中的某标志位来标识当前处理器处于什么状态(如0为用户态,1为核心态)

操做系统的体系结构

操做系统体系结构包括大内核和微内核

大内核 优势:高性能
缺点:内核代码庞大,结构混乱,难以维护
做系统的体系结构 只把最基本的功能保留在内核
微内核 优势:内核功能少,结构清晰,方便维护
缺点:须要频繁地在核心态和用户态之间切换,性能低

系统调用

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

系统调用相关处理涉及到对系统资源的管理、对进程的控制,这些功能须要执行一些特权指令才能完成,所以系统调用的相关处理须要在核心态下进行

在这里插入图片描述

在这里插入图片描述

什么是进程

进程的定义

进程的定义
程序段、数据段、PCB三部分组成了进程实体(进程映像)。通常状况下,咱们把进程实体就简称为进程,例如,所谓建立进程,实质上是建立进程实体中的PCB;而撤销进程,实质上是撤销进程实体中的PCB。注意:PCB是进程存在的惟一标志!
延伸

从不一样的角度,进程能够有不一样的定义,比较传统典型的定义有:
1.进程是程序的一次执行过程。
2.进程是一个程序及其数据在处理机上顺序执行时所发生的活动。
3.进程是具备独立功能的程序在数据集合上运行的过程,它是系统进行资源分配和调度的一个独立单位

进程的组成

进程由PCB程序段数据段三部分组成
其中各个部分的做用
1.PCB进程的管理者,操做系统所需的数据都在PCB中

其包含:
进程描述信息
进程控制和管理信息
资源分配清单
处理机相关信息

2.程序段
存放要执行的代码
3.数据段
存放程序自己运行所须要的数据

进程的特征

进程和程序是两个大相径庭的概念,相比于程序,进程拥有如下特征:

1.动态性 进程是程序的一次执行过程,是动态地产生、变化和消亡的(动态性是进程最基本的特征)
2.并发性 内存中有多个进程实体,各进程可并发执行 进程是资源分配、接受调度的基本单位
3.独立性 进程是能独立运行、独立得到资源、独立接受调度的基本单位
4.异步性 各进程按各自独立的、不可预知的速度向前推动,操做系统要提供“进程同步机制”来解决异步问题
5.结构性 每一个进程都会配置一个PCB。结构上看,进程由程序段、数据段、PCB组成

在这里插入图片描述

进程的状态

进程是程序的一次执行。在这个执行过程当中,有时进程正在被CPU处理,有时又须要等待CPU服务,可见,进程的状态是会有各类变化。为了方便对各个进程的管理,操做系统须要将进程合理地划分为几种状态。

  1. 建立态(NEW): 进程正在被建立,操做系统为进程分配资源、初始化PCB
  2. 就绪态(Ready) :已经具有运行条件,但因为没有空闲CPU,而暂时不能运行(进程已经拥有了除了虚拟机之外全部须要的资源,一旦得到了处理机,就会进入运行态开始运行程序)
  3. 运行态(Running): 占有CPU,并在CPU上运行
  4. 阻塞态(Waiting/Blocked,又称:等待态) 因等待某一事件而暂时不能运行
  5. 终止态(Terminated,又称:结束态) 进程正在从系统中撤销,操做系统会回收进程拥有的资源、撤销PCB

进程状态之间的转换
在这里插入图片描述

进程通讯

进程通讯就是指进程之间的信息交换。进程是分配系统资源的单位(包括内存地址空间),为了保证安全,一个进程不能直接访问另外一个进程的地址空间。所以各进程拥有的内存地址空间相互独立
进程通讯有三种方式:共享存储,消息传递,管道通讯。

共享存储

共享存储就是设置一个共享空间,两个进程要互斥地访问该共享空间。而共享存储有两种,一种是基于数据结构的共享,一种是基于存储区的共享。

基于数据结构的共享:好比共享空间里只能放一个长度为10的数组。这种共享方式速度慢,限制多,是一种低级通讯方式。
基于存储区的共享:在内存中画出一块共储区,数据的形式、存放位置都由进程控而不是操做系统。相比之下,这种共享方度更快,是一种高级通讯方式。
在这里插入图片描述

管道通讯

“管道”是指用于链接读写进程的一个共享文件,又名pipe文件。其实就是在内存中开辟一个大小固定的缓冲区。
在这里插入图片描述

管道通讯须要注意:

1.管道只能采用半双工通讯,某一时间段内只能实现单向的传输。若是要实现双向同时通讯,则须要设置两个管道用
2.各进程要互斥地访问管道。
3.数据以字符流的形式写入管道,当管道写满时,写进程的write()系统调用将被阻塞,等待读进程将数据取走。当读进程将数据所有取走后,管道变空,此时读进程的read()系统调用将被阻塞。
4.若是没写满,就不容许读。若是没读空,就不容许写。
5.数据一旦被读出,就从管道中被抛弃,这就意味着读进程最多只能有一个,不然可能会有读错数据的状况。

消息传递

进程间的数据交换以格式化的消息(Message)为单位。进程经过操做系统提供的“发送消息/接收消息”两个原语进行数据交换
消息传递包括直接通讯方式和间接通讯方式两种。
直接通讯方式:消息直接挂到接收进程的消息缓冲队列上
间接通讯方式:消息要先发送到中间实体(信箱)中,所以也称“信箱通讯方式”

线程和进程的关系和区别

首先先说一下什么是线程

线程定义:
线程是进程的基本执行单元,一个进程的全部任务都在线程中执行
进程是指在系统中正在运行的一个应用程序

有的进程可能须要“同时”作不少事,而传统的进程只能串行地执行一系列程序。为此,引入了“线程”,来增长并发度。
能够把线程理解为“轻量级进程”。线程是一个基本的CPU执行单元,也是程序执行流的最小单位。引入线程以后,不只是进程之间能够并发,进程内的各线程之间也能够并发,从而进一步提高了系统的并发度,使得一个进程内也能够并发处理各类任务(如QQ视频、文字聊天、传文件)。引入线程后,进程只做为除CPU以外的系统资源的分配单元。
在这里插入图片描述

关系
关系:线程是进程的基本执行单元,一个进程的全部任务都在线程中执行;进程要想执行任务,必须得有线程
区别:一、同一进程的线程共享本进程的地址空间,而进程之间则是独立的地址空间;二、同一进程内的线程共享本进程的资源,而进程间的资源是独立的

引入线程的意义

进程切换时,须要切换进程的运行环境,系统开销很大 线程间并发,若是是同一进程内的线程切换,则不须要切换进程环境,系统开销小
因此涉及到频繁的切换时,使用线程要好于进程。一样若是要求同时进行而且又要共享某些变量的并发操做,只能用线程不能用进程

线程的属性

线程是处理机调度的单位
多CPU计算机中,各个线程可占用不一样的CPU
每一个线程都有一个线程ID、线程控制块(TCB)
线程也有就绪、阻塞、运行三种基本状态
线程几乎不拥有系统资源
同一进程的不一样线程间共享进程的资源
因为共享内存地址空间,同一进程中的线程间通讯甚至无需系统干预同一进程中的线程切换,不会引发进程切换
不一样进程中的线程切换,会引发进程切换
切换同进程内的线程,系统开销很小
切换进程,系统开销较大
在这里插入图片描述

进程调度

进程调度的时机

当前运行的进程主动放弃处理机

  1. 进程正常终止
  2. 运行过程当中发生异常而终止
  3. 进程主动请求阻塞

当前运行的进程被动放弃处理机
4. 分给进程的时间片用完
5. 有更紧急的事情要处理(例如等待I/O中断)
6. 有更高优先级的进程进入就绪队列

进程调度的方式

非剥夺调度方式,又称非抢占方式。即,只容许进程主动放弃处理机。在运行过程当中即使有更紧迫的任务到达,当前进程依然会继续使用处理机,直到该进程终止或主动要求进入阻塞态。
剥夺调度方式,又称抢占方式。当一个进程正在处理机上执行时,若是有一个更重要或更紧迫的进程须要使用处理机,则当即暂停正在执行的进程,将处理机分配给更重要紧迫的那个进程

进程的调度和切换是有代价的,并非调度越频繁,并发度越高

在这里插入图片描述

进程调度的算法

先来先服务算法(FCFS)

先来先服务算法(First Come First Serve)顾名思义,此算法就体现了“先来后到”的思想,主要从“公平”的角度考虑,按照做业/进程到达的前后顺序进行服务
优势:公平,算法实现简单
缺点:排在长进程(做业)后面的短进程(做业)须要等待很长的时间,对短进程不友好,对长进程友好
例如疫情期间,某超市一次只容许一我的进入超市,而排在你前面的那我的买了不少东西,长时间不出来,而你只想买一个东西,所以对于你来讲是很不方便的
进程长期得不到服务不会致使饥饿(饥饿是指进程长时间得不到服务)
在这里插入图片描述

短做业优先算法(SJF)

短做业/进程优先算法(Short Job First),就是每次调度时选择已经到达而且估计服务时间最短的一个或多个做业/进程。
能够是非抢占式的算法,也能够是抢占式的算法
优势:平均等待时间,平均周转时间最短
缺点:不公平,对短做业/进程有利,对长做业不利。
会产生饥饿现象,若是有源源不断的短做业/进程到达,可能会使长做业长时间得不到服务,产生饥饿现象,若是一直得不到,就称长做业“饿死”。
在这里插入图片描述
在这里插入图片描述

高响应比优先算法(HRRN)

高响应比,就是综合考虑做业/进程的等待时间和要求服务的时间,在每次调度前,先计算各个做业的响应比,选择响应比最高的做业先服务
响应比=(等待时间+要求服务时间)/要求服务时间
高响应比优先算法是非抢占式的算法,所以只有当当前运行的做业主动放弃处理机时,才须要调度。
优缺点:综合考虑了等待时间和运行时间(要求服务时间)等待时间相同时,要求服务时间短的优先(SJF的优势)要求服务时间相同时,等待时间长的优先(FCFS的优势)对于长做业来讲,随着等待时间愈来愈久,其响应比也会愈来愈大,从而避免了长做业饥饿的问题
而且该算法不会致使饥饿现象
在这里插入图片描述

时间片轮转调度算法(RR)

按照各进程到达就绪队列的顺序,轮流让各个进程执行一个时间片(如100ms)。若进程未在一个时间片内执行完,则剥夺处理机,将进程从新放到就绪队列队尾从新排队。
若进程未能在时间片内运行完,将被强行剥夺处理机使用权,所以时间片轮转调度算法属于抢占式的算法。由时钟装置发出时钟中断来通知CPU时间片已到
思想:公平地、轮流地为各个进程服务,让每一个进程在必定时间间隔内均可以获得响应
优势:公平;响应快,适用于分时操做系统;
缺点:因为高频率的进程切换,所以有必定开销不区分任务的紧急程度。
不会致使饥饿现象
在这里插入图片描述
在这里插入图片描述

优先级调度算法

调度时选择优先级最高的做业/进程
思想:根据任务的紧急程度来决定处理次序
抢占式、非抢占式都有。作题时的区别在于:非抢占式只需在进程主动放弃处理机时进行调度便可,而抢占式还需在就绪队列变化时,检查是否会发生抢占。
优势:用优先级区分紧急程度、重要程度,适用于实时操做系统。可灵活地调整对各类做业/进程的偏好程度。
缺点:若源源不断地有高优先级进程到来,则可能致使饥饿
会致使饥饿
在这里插入图片描述

多级反馈队列调度算法

对其它调度算法的折中权衡
1.设置多级就绪队列,各级队列优先级从高到低,时间片从小到大
2.新进程到达时先进入第1级队列,按FCFS原则排队等待被分配时间片,若用完时间片进程还未结束,则进程进入下一级队列队尾。若是此时已是在最下级的队列,则从新放回该队列队尾
3. 只有第k级队列为空时,才会为k+1级队头的进程分配时间片度 用于进程调度
抢占式的算法
对各种型进程相对公平(FCFS的优势);每一个新到达的进程均可以很快就获得响应(RR的优势);短进程只用较少的时间就可完成(SPF的优势);没必要实现估计进程的运行时间(避免用户做假);可灵活地调整对各种进程的偏好程度,好比CPU密集型进程、I/O密集型进程(拓展:能够将因I/O而阻塞的进程从新放回原队列,这样1/O型进程就能够保持较高优先级)
会致使饥饿现象
在这里插入图片描述
在这里插入图片描述

进程同步和进程互斥

咱们把一个时间段内只容许一个进程使用的资源称为临界资源。许多物理设备(好比摄像头、打印机)都属于临界资源。此外还有许多变量、数据、内存缓冲区等都属于临界资源。
进程同步
进程同步是进程间共同完成一项任务时直接发生相互做用的关系。为进程之间的直接制约关系。在多道环境下,这种进程间在执行次序上的协调是必不可少的。
进程互斥
对临界资源的访问,必须互斥地进行。互斥,亦称间接制约关系。进程互斥指当一个进程访问某临界资源时,另外一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源以后,另外一个进程才能去访问临界资源。

进程互斥的四个部分

do{
   
   
entry section; //进入区 检查是否能够进入临界区,若能进入,须要“上锁”
critical section; //临界区 访问临界资源的代码
exit section; //退出区 “解锁”
remainder section //剩余区 其他代码部分
}while(true)

进程互斥须要的原则
为了实现对临界资源的互斥访问,同时保证系统总体性能,须要遵循如下原则:
1.空闲让进。临界区空闲时,能够容许一个请求进入临界区的进程当即进入临界区;
2.忙则等待。当已有进程进入临界区时,其余试图进入临界区的进程必须等待;
3. 有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿);
4.让权等待。当进程不能进入临界区时,应当即释放处理机,防止进程忙等待。

进程互斥的软件实现方法

  1. 单标志法 :两个进程在访问完临界区后会把使用临界区的权限转交给另外一个进程。也就是说每一个进程进入临界区的权限只能被另外一个进程赋予。
    该算法能够实现“同一时刻最多容许一个进程访问临界区”,若是一个进程一直不访问临界区,那么虽然临界区空闲,可是另外一个进程没法访问临界区。
    缺点:违背了“空闲让进原则”
  2. (1) 双标志先检查法
    双标志先检查法
    设置一个布尔型的数组,数组中的每一个元素用来标记各个进程是否想进入临界区。
    可能会出现两个进程同时想访问临界区的现象
    缺点:违背了“忙则等待”原则
    (2)双标志后检查法
    后检查法是对先检查法的改进,若是一个进程想要访问临界区,就会先“上锁”,而后再“检查”避免两个进程同时访问临界区的现象
    此算法可能会致使两个进程都没法进入临界区的现象。
    缺点:虽然解决了“忙则等待问题”,可是违背了“空闲让进”和“有限等待”原则,若是各个进程长期没法访问资源,可能会致使“饿死”现象。
  3. Peterson算法
    双标志后检查法中,两个进程都想访问临界区,可能致使都没法访问资源的状况,而Peterson算法能够解决这个问题,若是双方都想进入临界区,那么一个进程就能够主动让对方先进入临界区
    优缺点:Peterson算法遵循空闲忙进,忙则等待,有限等待三个原则,但依然没有遵循让权等待的原则
    在这里插入图片描述

进程互斥的硬件实现方法

  1. 中断屏蔽方法
    利用“开中断关中断指令”实现
    即某进程开始访问临界区到结束访问临界区为止都不容许被中断,也就不能发生进程切换,避免了两个进程同时访问临界区的状况
    优势:简单、高效
    缺点:不适用于多处理机;只适用于操做系统内核进程,不适用于用户进程(由于开/关中断指令只能运行在内核态,这组指令若是能让用户随意使用会很危险)

  2. TestAndSet指令
    简称TS指令,也有地方称为TestAndSetLock指令,或TSL指令。
    TSL指令是用硬件实现的,执行的过程不容许被中断,只能一鼓作气
    相比软件实现方法,TSL指令把“上锁”和“检查”操做用硬件的方式变成了一气响成的原于操做。
    优势:实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞;适用于多处理机环境
    缺点:不知足“让权等待”原则,暂时没法进入临界区的进程会占用CPU并循环执行TSL指令,从而致使“忙等”

  3. Swap指令
    有的地方也叫Exchange指令,或简称XCHG指令。Swap指令是用硬件实现的,执行的过程不容许被中断,只能一鼓作气
    逻辑上来看Swap和TSL并没有太大区别,都是先记录下此时临界区是否已经被上锁(记录在old变量上),再将上锁标记lock设置为true,最后检查old,若是old为false则说明以前没有别的进程对临界区上锁,则可跳出循环,进入临界区。
    优势:实现简单,无需像软件实现方法那样严格检查是否会有逻辑漏洞;适用于多处理机环境
    缺点:不知足“让权等待”原则,暂时没法进入临界区的进程会占用CPU并循环执行TSL指令,从而致使“忙等”

信号量机制

信号量就是一个变量,能够用一个信号量来表示系统中某种资源的数量。
wait(S)=P,原语和signal(S)=V,这是是咱们本身写的函数,一般称这两个原语为P,V操做,括号里的信号量S就是函数调用时传入的参数。
使用PV操做须要把P(S),V(S)的位置放正确,而且PV操做必须成对出现。

死锁

在这里插入图片描述

哲学家进餐问题

哲学家就餐问题能够这样表述,假设有五位哲学家围坐在一张圆形餐桌旁,作如下两件事情之一:吃饭,或者思考。吃东西的时候,他们就中止思考,思考的时候也中止吃东西。而每一个哲学家的左右两边仅有一根筷子,吃饭时,必须同时得到左右两只筷⼦才能吃饭(先得到左边,再得到右边)。
若五位哲学家同时饥饿⽽各⾃拿起了左边的筷⼦,这使五个信号量 chopstick 均为 0,当他们试图去拿起右边的筷⼦时,都将因⽆筷⼦⽽⽆限期地等待下去,便可能会引发死锁。

在这里插入图片描述

死锁,饥饿,死循环的区别

死锁、饥饿、死循环的区别
死锁:各进程互相等待对方手里的资源,致使各进程都阻塞,没法向前推动的现象。
饥饿:因为长期得不到想要的资源,某进程没法向前推动的现象。好比:在短进程优先(SPF)算法中,如有源源不断的短进程到来,则长进程将一直得不处处理机,从而发生长进程“饥饿”,甚至会致使长进程“饿死”。
死循环:某进程执行过程当中一直跳不出某个循环的现象。有时是由于程序逻辑bug致使的,有时是程序员故意设计的。
共同点:都是进程没法顺利向前推动的现象(故意设计的死循环除外)
在这里插入图片描述

死锁产生的必要条件

产生死锁必须同时知足一下四个条件,只要其中任一条件不成立,死锁就不会发生。
互斥条件只有对必须互斥使用的资源的争抢才会致使死锁(如哲学家的筷子、打印机设备)。像内存、扬声器这样能够同时让多个进程使用的资源是不会致使死锁的(由于进程不用阻塞等待这种资源)。
不剥夺条件:进程所得到的资源在未使用完以前,不能由 其余进程强行夺走,只能主动释放。
请求和保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源又被其余有,此时请 求进程被阻塞,但又对本身已有的资源保持不放。
循环等待条件:存在一种进程资源的循环等待链,链中的每个进程已得到的资源同时被下一个进程所请求。
注意!发生死锁时必定有循环等待,可是发生循环等待时未必死锁循环等待是死锁的必要不充分条件
若是同类资源数大于1,则即便有循环等待,也未必发生死锁。但若是系统中每类资源都只有
一个,那循环等待就是死锁的充分必要条件了。

何时会发生死锁

1.对系统资源的竞争。各进程对不可剥夺的资源(如打印机)的竞争可能引发死锁,对可剥夺的资源(CPU)的竞争是不会引发死锁的。
2.进程推动顺序非法。请求和释放资源的顺序不当,也一样会致使死锁。例如,并发执行的进程P一、
P2分别申请并占有了资源R一、R2,以后进程P1又紧接着申请资源R2,而进程P2又申请资源R1,二者会由于申请的资源被对方占有而阻塞,从而发生死锁。
3. 信号量的使用不当也会形成死锁。如生产者-消费者问题中,若是实现互斥的P操做在实现同步的
P操做以前,就有可能致使死锁。(能够把互斥信号量、同步信号量也看作是一种抽象的系统资
源)
总之,对不可剥夺资源的不合理分配,可能致使死锁。
在这里插入图片描述

如何预防死锁

  1. 破坏互斥条件
    互斥条件:只有对必须互斥使用的资源的争抢才会致使死锁
    将临界资源改造为可共享使用的资源(如SPOOLing技术)
    缺点:可行性不高,不少时候没法破坏互斥条件
  2. 破坏不剥夺条件
    不剥夺条件:进程所得到的资源在未使用完以前,不能被其余进程强行夺走,只能主动释放
    方案一,申请的资源得不到知足时,当即释放拥有的全部资源破坏不剥夺条件
    方案二,申请的资源被其余进程占用时,由操做系统协助剥夺(考虑优先级)
    缺点:实现复杂;剥夺资源可能致使部分工做失效;反复申请和释放致使系统开销大;可能致使饥饿
  3. 破坏请求和保持条件
    运行前分配好全部须要的资源,以后一直保持
    缺点:资源利用率低;可能致使饥饿
  4. 破坏循环等待条件
    给资源编号,必须按编号从小到大的顺序申请资源
    缺点:不方便增长新设备;会致使资源浪费;用户编程麻烦

什么是安全序列

所谓安全序列,就是指若是系统按照这种序列分配资源,则每一个进程都能顺利完成。只要能找出一个安全序列,系统就是安全状态。固然,安全序列可能有多个。
若是分配了资源以后,系统中找不出任何一个安全序列,系统就进入了不安全状态。这就意味着以后可能全部进程都没法顺利的执行下去。固然,若是有进程提早归还了一些资源,那系统也有可能从新回到安全状态,不过咱们在分配资源以前老是要考虑到最坏的状况。
**

若是系统处于安全状态,就必定不会发生死锁。若是系统进入不安全状态,就可能发生死锁(处于不安全状态未必就是发生了死锁,但发生死锁时必定是在不安全状态)

**
在这里插入图片描述

文章到这里就先结束了,有些没有涉及到的知识还会在后续的文章中补充。
以上文章中若是有什么不对的,不合理的地方或者须要改进的地方,还请大佬留言指正
制做不易,还望各位大佬多多支持哟~~~
在这里插入图片描述