六、操作系统——内存管理的概念(空间的分配与回收、空间的扩充、地址转换、存储保护)

一、概述

在这里插入图片描述

二、操作系统作为系统资源的管理者,当然也需要对内存进行管理,要管些什么呢?

1. 内存空间的分配与回收

在这里插入图片描述
连续分配:指为用户进程分配的必须是一个连续的内存空间
在这里插入图片描述

1. 单一连续分配

在单一连续分配方式中,内存被分为系统区用户区。系统区通常位于内存的低地址部分,用于存放操作系统相关数据;用户区用于存放用户进程相关数据。
内存中只能有一道用户程序,用户程序独占整个用户区空间。
优点:实现简单;无外部碎片;可以采用覆盖技术扩充内存;不一定需要采取内存保护(eg:早期的PC操作系统MS-DOS)。
缺点:只能用于单用户、单任务的操作系统中;有内部碎片;存储器利用率极低。
分配给某进程的内存区域中,如果有些部分没有用上,这部分就是“内部碎片”)
在这里插入图片描述

2. 固定分区分配

20世纪60年代出现了支持多道程序的系统,为了能在内存中装入多道程序,且这些程序之间又不会相互干扰,于是将整个用户空间划分为若干个固定大小的分区在每个分区中只装入一道作业,这样就形成了最早的、最简单的一种可运行多道程序的内存管理方式。
在这里插入图片描述
1)分区大小相等:缺乏灵活性,但是很适合用于用一台计算机控制多个相同对象的场合(比如:钢铁厂有n个相同的炼钢炉,就可把内存分为n个大小相等的区域存放n个炼钢炉控制程序)
2)分区大小不等:增加了灵活性,可以满足不同大小的进程需求。根据常在系统中运行的作业大小情况进行划分(比如:划分多个小分区、适量中等分区、少量大分区)
在这里插入图片描述
操作系统需要建立一个数据结构——分区说明表,来实现各个分区的分配与回收。每个表项对应一个分区,通常按分区大小排列。每个表项包括对应分区的大小起始地址状态(是否已分配)
在这里插入图片描述
当某用户程序要装入内存时,由操作系统内核程序根据用户程序大小检索该表,从中找到一个能满足大小的、未分配的分区,将之分配给该程序,然后修改状态为“已分配”。
优点:实现简单,无外部碎片
缺点
a.当用户程序太大时,可能所有的分区都不能满足需求,此时不得不采用覆盖技术来解决,但这又会降低性能;
b.会产生内部碎片,内存利用率低。

3. 动态分区分配

动态分区分配又称为可变分区分配。这种分配方式不会预先划分内存分区,而是在进程装入内存时,根据进程的大小动态地建立分区,并使分区的大小正好适合进程的需要。因此系统分区的大小和数目是可变的。(eg:假设某计算机内存大小为64MB,系统区8MB,用户区共56MB…)
问题:
1.系统要用什么样的数据结构记录内存的使用情况?
在这里插入图片描述
2.当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?
在这里插入图片描述
3.如何进行分区的分配与回收操作?

  • 情况一:回收区的后面有一个相邻的空闲分区:两个相邻的空闲分区合并为一个
    在这里插入图片描述
    在这里插入图片描述
  • 情况二:回收区的前面有一个相邻的空闲分区:两个相邻的空闲分区合并为一个
    在这里插入图片描述
    在这里插入图片描述
  • 情况三:回收区的前、后各有一个相邻的空闲分区:三个相邻的空闲分区合并为一个
    在这里插入图片描述
    在这里插入图片描述
  • 情况四:回收区的前、后都没有相邻的空闲分区:新增一个表项
    在这里插入图片描述
    在这里插入图片描述
    动态分区分配没有内部碎片,但是有外部碎片
    内部碎片:分配给某进程的内存区域中,存在有些部分没有用上。
    外部碎片:是指内存中的某些空闲分区由于太小而难以被利用。
    在这里插入图片描述
    如上图,如果内存中空闲空间的总和本来可以满足某进程的要求,但由于进程需要的是一整块连续的内存空间,因此这些“碎片”不能满足进程的需求。可以通过紧凑(拼凑,Compaction)技术来解决外部碎片。
    问题:
  1. 回忆交换技术,什么是换入/换出?什么是中级调度(内存调度)?
    答:
    内存空间紧张时,系统将内存中某些进程暂时换出外存,把外存中某些已具备运行条件的进程换入内存(进程在内存与磁盘间动态调度)
    中级调度(内存调度),就是要决定将哪个处于挂起状态的进程重新调入内存。
  2. 思考动态分区分配应使用哪种装入方式?“紧凑”之后需要做什么处理?
    答:
    a. 装入方式应选择动态重定位动态运行时装入)。动态重定位 编译、链接后的装入模块的地址都是从0开始的。装入程序把装入模块装入内存后,并不会立即把逻辑地址转换为物理地址,而是把地址转换推迟到程序真正要执行时才进行。因此装入内存后所有的地址依然是逻辑地址。这种方式需要一个重定位寄存器的支持。
    b. “紧凑”之后我们需要把各个进程的起始地址进行修改,(进程对应的起始地址信息存放在进程的PCB当中)当进程要上CPU运行之前,会把进程的起始地址信息放到重定位寄存器(基址寄存器)里,然后再将指令中的相对地址的数值(80)+ 进程的起始地址数值(100)得到其绝对地址。如下图所示:
    在这里插入图片描述
    小结:
    在这里插入图片描述

2. 内存空间的扩充:利用操作系统的虚拟性

在这里插入图片描述
早期的计算机内存很小,比如IBM推出的第一台PC机最大只支持1MB大小的内存。因此经常会出现内存大小不够的情况。
后来人们引入了覆盖技术,用来解决“程序大小超过物理内存总和”的问题。

  1. 覆盖技术:
    覆盖技术的思想:将程序分为多个段(多个模块)。常用的段常驻内存,不常用的段在需要时调入内存。内存中分为一个“固定区”和若干个“覆盖区”。需要常驻内存的段放在“固定区”中,调入后就不再调出(除非运行结束)不常用的段放在“覆盖区”,需要用到时调入内存,用不到时调出内存。
    在这里插入图片描述
    在这里插入图片描述
    这种覆盖技术的实现必须由程序员声明覆盖结构,操作系统完成自动覆盖。
    缺点:对用户不透明,增加了用户编程负担。
    覆盖技术只用于早期的操作系统中,现在已成为历史。
  2. 交换技术
    交换(对换)技术的设计思想:内存空间紧张时,系统将内存中某些进程暂时换出外存,把外存中某些已具备运行条件的进程换入内存(进程在内存与磁盘间动态调度)
    在这里插入图片描述
    中级调度(内存调度),就是要决定将哪个处于挂起状态的进程重新调入内存。
    暂时换出外存等待的进程状态为挂起状态挂起态,suspend
    挂起态又可以进一步细分为就绪挂起阻塞挂起两种状态。
    在这里插入图片描述问题?
    1.应该在外存(磁盘)的什么位置保存被换出的进程?
    2.什么时候应该交换?
    3.应该换出哪些进程?

答:

  1. 具有对换功能的操作系统中,通常把磁盘空间分为文件区对换区两部分。文件区主要用于存放文件,主要追求存储空间的利用率,因此对文件区空间的管理采用离散分配方式对换区空间只占磁盘空间的小部分,被换出的进程数据就存放在对换区。由于对换的速度直接影响到系统的整体速度,因此对换区空间的管理主要追求换入换出速度,因此通常对换区采用连续分配方式(学过文件管理章节后即可理解)。总之,对换区的I/O速度比文件区的更快
  2. 交换通常在许多进程运行且内存吃紧时进行,而系统负荷降低就暂停。例如:在发现许多进程运行时经常发生缺页,就说明内存紧张,此时可以换出一些进程;如果缺页率明显下降,就可以暂停换出。
  3. 可优先换出阻塞进程;可换出优先级低的进程;为了防止优先级低的进程在被调入内存后很快又被换出,有的系统还会考虑进程在内存的驻留时间。
    (注意:将进程换成内存中时,并不是把这个进程相关的所有数据都换出到外存中,操作系统为了保持对这些换出到外存中的进程的管理,而且PCB中记录了换出进程在外存中的位置信息,所以PCB会常驻内存,不会被换出外存)
    在这里插入图片描述

3. 地址转换:负责程序的逻辑地址与物理地址的转换

在这里插入图片描述

4. 内存保护:保证各进程在各自存储空间内运行,互不干扰

内存保护可采取两种方法:

  • 方法一:在CPU中设置一对上、下限寄存器,存放进程的上、下限地址。进程的指令要访问某个地址时,CPU检查是否越界
    在这里插入图片描述
    在这里插入图片描述
  • 方法二:采用重定位寄存器(又称基址寄存器)和界地址寄存器(又称限长寄存器)进行越界检查。重定位寄存器中存放的是进程的起始物理地址。界地址寄存器中存放的是进程的最大逻辑地址
    在这里插入图片描述
    在这里插入图片描述

三、总结

在这里插入图片描述

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

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

相关文章

计算机软件无形资产机械工具,考前秘籍,无形资产的定义及确认

原标题:考前秘籍,无形资产的定义及确认考查导向:每年考3分左右;比较简单,重要程度一般;建议与“固定资产”一章一起类比学习,效果更佳,效率更高。近三年主要考点:(1)无形…

一些iOS笔试题目

1.什么是arc?(arc是为了解决什么问题诞生的?) 首先解释ARC: automatic reference counting自动引用计数。 ARC几个要点: 在对象被创建时 retain count 1,在对象被release时 retain count -1.当retain count…

LeetCode 2151. 基于陈述统计最多好人数(状态压缩)

文章目录1. 题目2. 解题1. 题目 游戏中存在两种角色: 好人:该角色只说真话。坏人:该角色可能说真话,也可能说假话。 给你一个下标从 0 开始的二维整数数组 statements ,大小为 n x n ,表示 n 个玩家对彼…

七、操作系统——动态分区分配算法(详解)

一、引入 动态分区分配算法:在动态分区分配方式中,当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配? 二、首次适应算法(First Fit) 算法思想:每次都从低地址开始查找,…

2015前端生态发展回顾(转)

引用苏宁前端架构师的一个总结作为开篇 编程技术及生态发展的三个阶段 最初的时候人们忙着补全各种API,代表着他们拥有的东西还很匮乏,需要在语言跟基础设施上继续完善然后就开始各种模式,标志他们做的东西逐渐变大变复杂,需要更好…

LeetCode 2154. 将找到的值乘以 2

文章目录1. 题目2. 解题1. 题目 给你一个整数数组 nums ,另给你一个整数 original ,这是需要在 nums 中搜索的第一个数字。 接下来,你需要按下述步骤操作: 如果在 nums 中找到 original ,将 original 乘以 2 &#…

网际控制报文协议ICMP(Internet Control Message Protocol)(详解)

一、回顾下TCP/IP协议栈 二、ICMP(Internet Control Message Protocol)协议概述 三、ICMP协议的组成 四、ICMP差错报告报文(5种): 终点不可达:当路由器或主机不能交付数据报时就向源点发送终点不可达报文。(无法交付&…

王道考研学习笔记IP数据报格式IP数据报分片(超详细)

一、回顾TCP/IP协议栈 二、IP数据报格式 记忆方法: TCP是面向连接的服务,面向连接就非常6。而UDP是不面向连接的,数据就非常容易被“遗弃”(17)。因为如果不建立连接,这个链路是不太可靠的,所以…

LeetCode 2155. 分组得分最高的所有下标(前缀和)

文章目录1. 题目2. 解题1. 题目 给你一个下标从 0 开始的二进制数组 nums &#xff0c;数组长度为 n 。 nums 可以按下标 i&#xff08; 0 < i < n &#xff09;拆分成两个数组&#xff08;可能为空&#xff09;&#xff1a;numsleft 和 numsright 。 numsleft 包含 nu…

强基计划对计算机,你对报考强基计划怎么看?

原标题&#xff1a;你对报考强基计划怎么看&#xff1f;提起“强基计划”&#xff0c;可能是近期高三家长们、考生们提到最多的话题了&#xff0c;尤其是高校的强基计划招生章程发布之后&#xff0c;关于“强基计划”的咨询量明显上升了许多&#xff0c;那么对于今年第一年实施…

路由算法及路由协议(详解)

一、路由算法 最佳路由&#xff1a;“最佳”只能是相对于某一种特定要求下得出的较为合理的选择而已。 二、路由算法的分类 三、分层次的路由选择协议 为什么要采用分层次的路由选择协议呢&#xff1f; 因特网规模很大许多单位不想让外界知道自己的路由选择协议&#xff0c;…

LeetCode 2156. 查找给定哈希值的子串(字符串哈希)

文章目录1. 题目2. 解题1. 题目 给定整数 p 和 m &#xff0c;一个长度为 k 且下标从 0 开始的字符串 s 的哈希值按照如下函数计算&#xff1a; hash(s,p,m)(val(s[0])∗p0val(s[1])∗p1...val(s[k−1])∗pk−1)modmhash(s,p,m) (val(s[0])*p^0 val(s[1])*p^1...val(s[k-1])…

二维码扫描利用ZBar实现

上次是根据系统的属性自己封装的一个二维码扫描&#xff0c;这次给大家介绍一下基于ZBar集成的类似于QQ二维码扫描界面的二维码扫描的效果。 最下方配有效果图哦&#xff01; 首先&#xff0c;需要引入ZBar第三方库文件&#xff1a; ZBarSDK libqrencode 其次&#xff0c;利用Z…

十二、一篇文章帮助你快速读懂MySQL索引(B树、B+树详解)

2. 索引 2.1 索引概述 MySQL官方对索引的定义为&#xff1a;索引&#xff08;index&#xff09;是帮助MySQL高效获取数据的数据结构&#xff08;有序&#xff09;。在数据之外&#xff0c;数据库系统还维护者满足特定查找算法的数据结构&#xff0c;这些数据结构以某种方式引…

LeetCode 2157. 字符串分组(状态压缩+位运算+图的遍历)

文章目录1. 题目2. 解题1. 题目 给你一个下标从 0 开始的字符串数组 words 。 每个字符串都只包含 小写英文字母 。words 中任意一个子串中&#xff0c;每个字母都至多只出现一次。 如果通过以下操作之一&#xff0c;我们可以从 s1 的字母集合得到 s2 的字母集合&#xff0c;…

JavaScript+ Canvas开发趣味小游戏《贪吃蛇》

一、效果展示 二、《贪吃蛇》基本实现思路 蛇头部分蛇身体部分&#xff1a;采用对象形式来存储坐标&#xff0c;并将每个坐标对象放到一个snake数组中&#xff0c;方便使用。设置每个方格宽度30px,高度30px&#xff0c;画布高度600px&#xff0c;宽度600px。 a.新蛇头newHead等…

LeetCode 2160. 拆分数位后四位数字的最小和

文章目录1. 题目2. 解题1. 题目 给你一个四位 正 整数 num 。请你使用 num 中的 数位 &#xff0c;将 num 拆成两个新的整数 new1 和 new2 。 new1 和 new2 中可以有 前导 0 &#xff0c;且 num 中 所有 数位都必须使用。 比方说&#xff0c;给你 num 2932 &#xff0c;你拥…

我的世界怎么设置服务器维护中,我的世界服务器

发布时间&#xff1a;2016-08-26我的世界游戏中我们会遇到关于服务器的问题,怎么对服务器进行重启呢?今天跟大家介绍的这款我的世界工具是一款比较实用的辅助,可以检测服务器状态,而且有查找问题和快速重启服务器的功能,需要的小伙伴请看看下面的我的世界服务器怎么 ...标签&a…

LeetCode 2161. 根据给定数字划分数组

文章目录1. 题目2. 解题1. 题目 给你一个下标从 0 开始的整数数组 nums 和一个整数 pivot 。 请你将 nums 重新排列&#xff0c;使得以下条件均成立&#xff1a; 所有小于 pivot 的元素都出现在所有大于 pivot 的元素 之前 。所有等于 pivot 的元素都出现在小于和大于 pivot …

一、人工智能数学基础——线性代数

01 向量空间 1.1定义和例子 1.2向量及其运算 1.3向量组的线性组合 1.4向量组的线性相关性 02 内积和范数 2.1内积的定义 2.2范数的定义 2.3内积的几何解释 03矩阵和线性变换 3.1定义和例子 3.2线性变换 线性空间中的运动&#xff0c;被称为线性变换。线性空间中的一个向量变…