《计算机操作系统》重点知识笔记整理(一)_Barry Yan的博客-程序员ITS304_计算机操作系统笔记

技术标签: 操作系统  漫谈编程基础  深耕计算机基础  

《计算机操作系统》重点知识总结1(1-4章)

注意:

​    这篇总结文档参考的配套书籍为《计算机操作系统》(第四版) 相关知识点关联的页码可能只与本书配套。

说明:

​     由于时间关系,该总结的部分知识点可能有所疏落或存在错误,请认真研读不要盲目学习,读者如有补充或问题更正请联系作者[[email protected]],作者将会表示感谢!

​    最后,希望尊重作者劳动成果,该文档仅供学习交流使用,请大家转载时注明出处,Thanks!

第一章 操作系统引论

1 操作系统的定义(P9):

​ 操作系统是一组能有效的组织和管理计算机硬件和软件资源,合理的对各类作业进行调度,以及方便用户使用的程序的集合

2 操作系统的基本特征(P14):

并发共享、虚拟、异步

3 并发和并行(P14):

并发:两个或多个事件在同一时间间隔内发生。

并行:两个或多个事件在同一时刻发生。

4 操作系统的五大功能(P18):

(1)处理机管理功能

(2)存储器管理功能

(3)设备管理功能

(4)文件管理功能

(5)提供与用户之间的接口


第二章 进程的描述与控制

1 程序并发执行时的特征(P38):

(1)间断性

(2)失去封闭性

(3)不可再现性

扩展:

程序顺序执行时的特性:①顺序性 ②封闭性 ③可再现性

2 进程的定义(P39):

进程实体 = 程序段 + 相关数据段 + 进程控制块(PCB)

(1)进程是程序的一次执行

(2)进程是一个程序及其数据在处理机上顺序执行时所发生的活动

(3)进程是具有独立功能的程序在一个数据集合上运行的过程,它是系统进行资源分配和调度的一个独立单位。

总结:进程是进程实体的运行过程,是系统进行资源分配和调度的一个独立单位。

扩展:

进程的特性:①动态性 ②并发性 ③独立性 ④异步性 ⑤结构性 (可不写)

3 进程的基本状态和转换(P40):

进程的三种基本状态:就绪(Ready)状态、执行(Running)状态、阻塞(Block)状态

在这里插入图片描述

常见问题:

当n个进程并发执行时,在单处理机中:

处于就绪状态的最多n-1个,最少0

处于阻塞状态的最多n个,最少0

处于执行状态的最多1个,最少0

4 进程间的制约关系(P52):

(1)直接制约(同步关系):
​ 某些应用程序,为了完成某个任务而建立了两个或多个进程(源于进程间的合作)。
​ 关于直接制约关系的举例:
在这里插入图片描述

(2)间接制约(互斥关系):

​ 多个程序并发执行时,由于共享系统资源(如CUP、I/O设备等)而导致这些并发执行的程序之间形成相互的制约的关系。

​ 关于间接制约关系的两个举例:
在这里插入图片描述

5 *同步机制遵循的原则(P55):

(1)空闲让进

(2)忙则等待

(3)有限等待

(4)让权等待

6 信号量—记录型信号量(P58):

记录型信号量是一种不存在“忙等”现象的进程同步机制。

typedef struct{
    
    int value; //资源个数
    struct process_control_block *list;  //阻塞队列
}semaphore;

wait(semaphore *S){
      
    S->value--; //S->value初值表示系统中某类资源的数目,称为资源信号量
    if(S->value<0){
    
        //自我阻塞
        block(S->list);
    }
}

signal(semaphore *S){
    
    S->value++;
    if (S->value <= 0){
    
        //唤醒,将S->list链表的第一个等待线程唤醒
        wakeup(S->list);
    }
}

有兴趣看代码实现的同学可以读下这篇文章:https://blog.csdn.net/Mr_YanMingXin/article/details/118104845

7 信号量—互斥信号量(P61):

A用完B用,A和B就是互斥

semaphore mutex = 1;

Pa(){
    
    while(1){
    
        wait(mutex);
        临界区;
        signal(mutex);
        剩余区;
    }
}

Pb(){
    
    while(1){
    
        wait(mutex);
        临界区;
        signal(mutex);
        剩余区;
    }
}

8 信号量的(应用)—实现前驱关系(P61):

​ 设有两个并发执行的进程P1和P2。P1中有语句S1;P2中有语句S2,我们希望在S1执行之后再执行S2,为实现这种前驱关系,只需进程P1和P2共享一个公用信号量S,并赋予其初值为0,将signal(S)操作放在语句S1的后面,而在S2语句的前面插入wait(S)操作,即

​ 在进程P1中,用S1;signal(S)

​ 在进程P2中,用wait(S);S2

​ 由于S被 初始化为0,这样若先执行S2必为阻塞,只有在进程P1执行完S1;signal(S)操作后使S变为1是,P2进程才能成功执行语句S2。

9 线程(P81):

引入线程后:资源分配还是进程,但是资源调度变为了线程

前言:

引入进程–>为了多个程序并发执行,提高资源利用率和吞吐量。
引入线程–>为了减少程序在并发执行时所付出的时空开销,使系统具有更好的并发性。

定义:

线程是进程的一个实体,是独立调度的一个基本单位。


第三章 处理机调度与死锁

1 三级调度(P92):

(1)低级调度:

[最基本的调度,在多道批处理、分时和实时的三种类型的OS中必须配置] 又称为进程调度或短程调度,调度对象为进程,主要功能是根据某种算法,决定就绪队列中的哪个进程应获得处理机,并由分派程序将处理机分配给被选中的进程。

(2)中级调度:

​ 又称为内存调度,主要目的是提高系统内存的利用率和系统的吞吐量,实际上就是存储管理器中的对换功能。

(3)高级调度:

[主要用于多道批处理系统] 又称为长程调度或作业调度,调度对象为作业,主要功能是根据某种算法,决定将外存中处于后备队列中的哪几个作业调入内容,为他们创建进程、分配必要的资源,并将其放入队列。

小扩展:

运行频率 : 低级调度 > 中级调度 > 高级调度

2 调度算法(P96):

(1)先来先服务(FCFS):

​ 最简单的调度算法,可用于作业调度和进程调度,主要思想就是按照作业到达的先后顺序来进行调度

(2)短作业优先(SJF):

​ 根据作业的时间长短来决定作业的优先级,时间越短优先级越高,作业的长短是指作业要求的运行时间决定,从后背队列中选择时间短的优先执行。

  • 优点
    提高系统吞吐量,有效降低平均等待时间。
  • 缺点
    ​ 必须预知作业的时间;对长作业不利;无法实现人机交互;未考虑作业的紧急程度;

(3)优先级调度算法(PSA):

核心在于确定作业的优先级,可用于进程调度和作业调度,使用该算法进行作业调度时需要事先在外部定义好该作业的优先级。

(4)高响应比调度算法(HRRN):

​ 既考虑作业的运行时间,又考虑作业的等待时间,设置优先级为动态,规律为:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-N25ogi93-1623676559259)(操作系统复习.assets/image-20210610222138278.png)]

3 死锁(P112):

产生死锁的必要条件:

(1)互斥条件

(2)请求和保持条件

(3)不可抢占条件

(4)循环等待条件

预防死锁:

(1)破坏“请求和保持条件”

(2)破坏“不可抢占”条件

(3)破坏“循环等待”条件

4 *银行家算法(P120)

银行家算法—避免死锁(P122):

什么是银行家算法?

[百度百科]:在银行中,客户申请贷款的数量是有限的,每个客户在第一次申请贷款时要声明完成该项目所需的最大资金量,在满足所有贷款要求时,客户应及时归还。银行家在客户申请的贷款数量不超过自己拥有的最大值时,都应尽量满足客户的需要。在这样的描述中,银行家就好比操作系统,资金就是资源,客户就相当于要申请资源的进程。它以银行借贷系统的分配策略为基础,判断并保证系统的安全运行.

银行家算法的数据结构:

(1)可利用资源向量Available

​ 是个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K,则表示系统中现有R类资源K个。

(2)最大需求矩阵Max

​ 这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要R类资源的最大数目为K。

(3)分配矩阵Allocation

​ 这也是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得R类资源的 数目为K。

(4)需求矩阵Need

​ 这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要R类资源K个,方能完成其任务。

如图所示:
在这里插入图片描述
避免死锁的核心方法和流程图:

Need [ i, j ] = Max [ i , j ] - Allocation [ i , j ]

解释一下:就是让需求等于已经分配的加上再向操作系统请求的,比如对于P0进程,该公式换算后的结果就是

0 0 1 2 = 0 0 4 4 - 0 0 3 2 就可以根据任意两个变量计算出第三个变量

核心算法的流程图:
在这里插入图片描述

算法原理:

[百度百科]:我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。

​ 为保证资金的安全,银行家规定:

(1) 当一个顾客对资金的最大需求量不超过银行家现有的资金时就可接纳该顾客;

(2) 顾客可以分期贷款,但贷款的总数不能超过最大需求量;

(3) 当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款可推迟支付,但总能使顾客在有限的时间里得到贷款;

(4) 当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资金.

操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源,否则就推迟分配。当进程在执行中继续申请资源时,先测试该进程本次申请的资源数是否超过了该资源所剩余的总量。若超过则拒绝分配资源,若能满足则按当前的申请量分配资源,否则也要推迟分配。

例题:

在银行家算法中,若出现下述资源分配情况:
在这里插入图片描述
(1)当前系统状态是否安全?

(2)如果进程P2提出请求Request2(1,1,2,2)后,系统能否将资源分配给它?

解答:

(1)安全,安全序列为[P0,P3,P1,P2,P4]

(2)不能,理由如下:

假设将(1,1,2,2)分配给Request2,则P2进程仍然需要Need(1,2,3,4),此时系统剩余可用Available(0,5,0,0),不能满足任何进程的需要,所以分配给Request2为不安全行为。

PS Java实现银行家算法:https://blog.csdn.net/Mr_YanMingXin/article/details/117996596

第四章 存储器管理

1 程序的装入(P132)

(1)绝对装入方式

[只适用于单道程序环境] 用户程序经过编译之后,会产生一个绝对的地址(物理地址)的目标代码(模块/装入模快),绝对装入程序就可以按照装入模快的地址将程序和数据装入内存,装入内存之后,程序的相对地址(逻辑地址)和实际内存地址(物理地址)完全相同,所以不需要地址转换。

(2)可重定位装入方式(静态重定位)

[主要适用于多道程序环境,不需要硬件支持] 根据内存的具体情况将装入模快装入到内存适当的位置,而且会使装入模块的内存的地址(逻辑地址)和实际装入内存后的物理地址不同。地址变换在进程装入时一次性完成,以后不再改变,所以叫做静态重定位。
在这里插入图片描述
(3)动态运行时的装入方式(动态重定位)

[目前主流,主要用于多道程序环境,需要硬件支持] 把装入模块装入内存后,并不立即把装入模块中的逻辑地址转换为物理地址,而是等到该程序真正的执行的时候再进行地址的转换。因此装入内存后的地址仍然都是逻辑地址。

2 *连续分配的分区管理方式(P135)

(1)单一连续分配

[单道程序环境下适用,最简单的分配方式] 把内存分为系统区和用户区两个部分,系统区只给OS(系统)适用,通常放在内容的低址部分。在用户区部分,仅装有一道用户程序(独占)。这样的方式成为单一连续存储方式。

(2)固定分区分配

[分区个数固定,可运行多道程序] 将这个用户空间化成若干个固定大小的区域,每个分区只装入一道作业,于是就形成了多道程序的分区存储管理方式。

(3) 动态分区分配

​ **[分区个数、大小都可变]**又称为可变分区分配,就是根据进程的实际需要,动态的为之分配内存。

(4)*基于顺序搜索的动态分区分配

  • 首次适应(FF)算法:

​ 核心思想:将空闲分区链以地址递增的次序进行链接,分配内存时从头部开始查找,直到找到一个大小能满足要求的空闲分区为止。

  • 循环首次适应(NF)算法

​ 核心思想:将空闲分区链以地址递增的次序进行链接,分配内存时从上次找到空闲分区的下一个分区开始查找,直到找到一个大小能满足要求的空闲分区为止。

  • 最佳适应(BF)算法

​ 核心思想:将空闲分区按空间从小到大进行排序,依此进行查找(避免大材小用),知道找到满足要求的空闲分区。

  • 最坏适应(WF)算法

​ 核心思想:将空闲分区按空间从大到小进行排序,总是挑选一个最大的空闲分区,从中分配一部分空间给作业使用。

3 分页存储管理方式(P148)

分页存储管理的基本方法

1.页面和物理块:

(1)页面:

​ 分页存储管理将进程的逻辑地址空间分成若干个页,并为各页加以编号,从0开始。把内存的物理空间分成若干个块,同样加以编号从0开始。为进程分配内存时,以块为单位,将进程的若干个页分别装入到多个可以不相邻接的物理块中。由于进程最后一页通常装不满一块,则剩余页面叫做“页内碎片”。
在这里插入图片描述
(2)页面大小:

​ 页面大小应选择适中,并且应该是2的N次幂,通常为1KB~8KB

2.地址结构:
在这里插入图片描述
说明:如上图可知,地址长度为32位,其中011为页内地址,即每页大小为4KB(2的12次方),1231位为页号,即地址空间最多有1M页(2的20次方)

计算:对于某种特定的机器,其地址结构是一定的,若给定一个逻辑空间中的地址为A,页面大小为L,则页号P和页内地址d可由公式计算:
在这里插入图片描述
例如页面大小L为1KB,逻辑空间A为2170B,由上式可求得页号P=2170/1024取整为2,页内地址d=2170对1024取余结果为122.

3.页表和地址映射:

页表作用:实现从页号到物理块号的地址映射。
在这里插入图片描述

4 分段存储管理方式(P155)

目的:为了满足用户在编程和使用上的多方面要求。

地址结构:

在分段存储管理中,作业的地址空间被划分成若干个段,每个段定义了一组逻辑信息。
在这里插入图片描述
在该地址结构中,允许一个作业最长有64K个段,每个段的最大长度为64KB。

段表:

在分段管理中,系统为每个进程分段分配一个连续的分区,就需要为每个进程建立一张映射表,称为“段表”。

该表记录了该段在内存中的起始地址(“基址”)和段的长度,作用是用于实现逻辑段到物理内存区的映射。
在这里插入图片描述

5 段页式存储管理方式(P160)

基本原理:

先将用户的程序分成若干个段,再把每个段分成若干个页,并为每个段赋予一个段名。

地址结构:
在这里插入图片描述
地址变换过程:
在这里插入图片描述
缺点:

一条指令的执行需要三次访问内存。


下一篇:https://blog.csdn.net/Mr_YanMingXin/article/details/117990261

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/Mr_YanMingXin/article/details/117912913

智能推荐

IJCAI 2021 医药AI必读论文推荐_DrugAI的博客-程序员ITS304

论文名称AMA-GCN: Adaptive Multi-layer Aggregation Graph Convolutional Network for Disease Predicti...

关于NRF52810 实现按键的长按及单双击_n_miller的博客-程序员ITS304

NRF52810 实现按键的长按及单双击在做nordic nrf52810的芯片的项目中要用到按键的长按以及单双击,实现的过程主要是通过库文件的一些函数,对一些要用到的函数内容进行稍加改动完成的,库文件为bsp.c文件,下面主要是实现的流程:1.首先我们要对按键进行配置app_button_cfg_t app_buttons[BUTTONS_NUMBER] = {{BSP_BUTTON_0,false,BUTTON_PULL,bsp_button_event_handler},};这里只是对BUT

测试计划与测试方案的区别_柠 檬没我萌的博客-程序员ITS304_测试计划和测试方案的区别

一、测试计划:对测试全过程的组织、资源、原则等进行规定和约束,并制定测试全过程各个阶段的任务及时间进度安排,提出对各项任务的评估、风险分析和需求管理。二、测试方案: 描述需要测试的特性、测试的方法、测试环境的规划、测试工具的设计和选择、测试用例的设计方法、测试代码的设计方案。三、测试计划是组织管理层面的文件,从组织管理的角度对一次测试活动进行规划四、测试方案是技术层面的文档,从技术的角度一次测试活动进行规划五、测试计划要明确的内容:1、明确测试组织的组织形式a、测试组织和其他部门关系,责任

记录几篇很好的技术文章_汤米粥的博客-程序员ITS304

码上积木 https://my.oschina.net/u/2979541启动优化 https://my.oschina.net/u/2979541/blog/4810536Android各版本迭代信息 https://my.oschina.net/u/2979541/blog/4805458

三相逆变器双pi控制器参数如何调节_单相逆变电源的电压双闭环矢量控制新方法,解决传统方案的不足..._weixin_39989215的博客-程序员ITS304

东北大学信息科学与工程学院、潞安集团司马煤业有限公司的研究人员宋崇辉、徐涛、王振环、刁乃哲、陈宏志,在2019年第16期《电工技术学报》上撰文(论文标题为“单相逆变电源电压双闭环矢量控制方法”),针对单相逆变电源提出一种电压双闭环矢量控制方法。该方法将单相电路拓展成三相电路,由逆变电源输出电压延拓出另两相电压,将其合成电压矢量,电压外环将电压矢量在同步旋转坐标系下进行闭环控制,实现输出电压在稳态下...

20条编程经验_小俭同学的博客-程序员ITS304

1. 估算解决问题所需要的时间。不要怕,承认吧!我曾见过一些程序员为了解决一个特殊问题而坐在显示器前面8小时。为自己定一个时间限制吧,1小时、30分钟或甚至15分钟。如果在这期间你不能解决问题,那就去寻求帮助,或到网上找答案,而不是尝试去做“超级堆码员”。2. 编程语言是一种语言,只是一种语言。随着时光推移,只要你理解了一种语言的原理,你会发现各种语言之间的相似之处 。你所选择的语言,你应该...

随便推点

ofbiz项目编译及idea启动_东泽312的博客-程序员ITS304_ofbiz启动

idea2021版启动ofbiz项目1 进入项目根目录2 通过ant清理项目3 通过ant编译项目4 需要确保编译成功5 idea引入ofibz项目记录下来idea是如何导入和启动ofbiz项目的1 进入项目根目录2 通过ant清理项目3 通过ant编译项目4 需要确保编译成功5 idea引入ofibz项目确认下根路径没有问题几个要修改的地方添加vm选项-server -XX:PermSize=512M -XX:MaxPermSize=1024m编译完成后

linux 内存清理/释放命令_程序员面试经验分享的博客-程序员ITS304_linux内存清理命令

在Linux系统下,我们一般不需要去释放内存,因为系统已经将内存管理的很好。但是凡事也有例外,有的时候内存会被缓存占用掉,导致系统使用SWAP空间影响性能,此时就需要执行释放内存(清理缓存)的操作了。Linux系统的缓存机制是相当先进的,他会针对dentry(用于VFS,加速文件路径名到inode的转换)、Buffer Cache(针对磁盘块的读写)和Page Cache(针对文件inode的...

MDC机床监控与数据采集系统 数控机床采集解决方案 2020_杭州乐芯科技的博客-程序员ITS304_机床数据采集系统

MDC机床监控与数据采集系统 (国内自主知识产权产品)MDC是一套实时的机床数据采集系统,是领先的机床监控与数据采集系统。MDC 提供强大的机床数据实时采集功能,可以显示所有机床的实时状态以及生产完成情况。MDC可提供强大的数据分析能力,可以给您提供机床利用率、机床故障分布等上百种统计图表,可准确地分析出各种生产瓶颈原因、预测机床故障趋势等。...

QT的基础知识总结_黑企鹅的博客-程序员ITS304

QWidet类继承自QObject类和QPaintDecice类。— QOBject是所有支持QT对象模型的的基类— QPaintDevice是QT中所有可绘制组件的基类Qwidget是所有用户组件的父类Qwidget能够回执自己和处理用户的输入Qwidget是所有窗口组件的抽象Qt中的每一个窗口都是一个QWidgetQwidget类对象常作为父组件或顶级组件使

java drag_【java】 分类栏的滑动drag遇到的问题_abduhader的博客-程序员ITS304

滑动分类,使用drag方法。遇到的问题:滑动的代码段能执行成功,但是实际手机上是没有执行滑动操作的。drag其他地方又能生效,比如主页的标签滑动。尝试的办法:1、使用uirecorder录制工具尝试滑动标签,提示操作成功,但是没有执行滑动操作。2、以为是位置没有写对,用app-inspector检查了位置,在代码运行后的命令行里也检查过对应的位置,确定是没有问题的。3、macaca-client-...

19Go语言——包和包管理工具_读不懂的答案的博客-程序员ITS304

包和包管理工具文章目录包和包管理工具1、包简介1.1 工作空间1.2 源文件1.3 包命名和声明1.4 main 包2、导包2.1 两种方式2.2 包的别名2.3 简洁模式2.4非导入模式(匿名导入)2.5 导包的路径2.6 远程导入3、初始化 init4、文档4.1 生成文档规范4.2 给文档添加示例函数5、包管理工具5.1 依赖管理快速了解5.2 Vendor 机制引入5.2.1 官方dep...

推荐文章

热门文章

相关标签