从操作系统角度了解内存管理

一.内存管理

1.主要功能

内存管理的主要功能有:

  • 内存空间的分配与回收。由操作系统完成主存储器空间的分配和管理,使程序员摆脱存储分配的麻烦,提高编程效率。
  • 地址转换。在多道程序环境下,程序中的逻辑地址与内存中的物理地址不可能一致, 因此存储管理必须提供地址变换功能,把逻辑地址转换成相应的物理地址。
  • 内存空间的扩充。利用虚拟存储技术或自动覆盖技术,从逻辑上扩充内存。
  • 内存共享。指允许多个进程访问内存的同一部分。例如,多个合作进程可能需要访问同一块数据,因此必须支持对内存共享区域进行受控访问。
  • 存储保护。保证各道作业在各自的存储空间内运行,互不干扰。

在进行具体的内存管理之前,需要了解进程运行的基本原理和要求。

2.补充

内存管理就是就是围绕这五个方面展开的。

二.程序运行的过程

1.过程

创建进程首先要将程序和数据装入内存。将用户源程序变为可在内存中执行的程序,通常需
要以下几个步骤:
编译。由编译程序将用户源代码编译成若干目标模块。
链接。由链接程序将编译后形成的- -组目标模块及它们所需的库函数链接在- -起,形成一个完整的装入模块。
装入。由装入程序将装入模块装入内存运行。

2.个人理解

  • 编译:把你写的代码各模块编译成对应的机器语言。
  • 链接:把各个模块链接到一起形成一个装入模块,在这个时候形成逻辑地址。
  • 装入:装入模块(可执行文件)进入内存,这个时候逻辑地址变成物理地址。

3.链接方式

程序的链接有三种方式:

  • (1)静态链接:
    在程序运行之前,先将各目标模块及它们所需的库函数链接成-一个完整的装配模块,以后不再拆开。将几个目标模块装配成一个装入模块时,需要解决两个问题:①修改相对地址,编译后的所有目标模块都是从0开始的相对地址,当链接成- -个装入模块时要修改相对地址。②变换外部调用符号,将每个模块中所用的外部调用符号也都变换为相对地址。
  • (2)装入时动态链接:
    将用户源程序编译后所得到的- -组目标模块,在装入内存时,采用边装入边链接的方式。其优点是便于修改和更新,便于实现对目标模块的共享。
  • (3)运行时动态链接:
    对某些目标模块的链接,是在程序执行中需要该目标模块时才进行的。凡在执行过程中未被用到的目标模块,都不会被调入内存和被链接到装入模块上。其优点是能加快程序的装入过程,还可节省大量的内存空间。

4.装入方式

内存的装入模块在装入内存时,同样有以下三种方式:

  • (1)绝对装入
    绝对装入方式只适用于单道程序环境。在编译时,若知道程序将驻留在内存的某个位置,则编译程序将产生绝对地址的目标代码。绝对装入程序按照装入模块中的地址,将程序和数据装入内存。由于程序中的逻辑地址与实际内存地址完全相同,因此不需对程序和数据的地址进行修改。另外,程序中所用的绝对地址,可在编译或汇编时给出,也可由程序员直接赋予。而通常情况下在程序中采用的是符号地址,编译或汇编时再转换为绝对地址。

  • (2)可重定位装入
    在多道程序环境下,多个目标模块的起始地址通常都从0开始,程序中的其他地址都是相对于起始地址的,此时应采用可重定位装入方式。根据内存的当前情况,将装入模块装入内存的适当位置。在装入时对目标程序中指令和数据地址的修改过程称为重定位,又因为地址变换通常是在进程装入时一次完成的,故称为静态重定位

    当一个作业装入内存时,必须给它分配要求的全部内存空间,若没有足够的内存,则无法装
    入。此外,作业一旦进入内存,整个运行期间就不能在内存中移动,也不能再申请内存空间。

  • (3)动态运行时装入
    也称动态重定位。程序在内存中若发生移动,则需要采用动态的装入方式。装入程序把装入模块装入内存后,并不立即把装入模块中的相对地址转换为绝对地址,而是把这种地址转换推迟到程序真正要执行时才进行。因此,装入内存后的所有地址均为相对地址。这种方式需要一个重定位寄存器的支持。

动态重定位的优点:可以将程序分配到不连续的存储区;在程序运行之前可以只装入部分代
码即可投入运行,然后在程序运行期间,根据需要动态申请分配内存;便于程序段的共享。

三.其他功能

1.内存保护

确保每个进程都有一个单独的内存空间。内存分配前,需要保护操作系统不受用户进程的影.响,同时保护用户进程不受其他用户进程的影响。内存保护可采取两种方法: .

  • 1)在CPU中设置一-对上、下限寄存器,存放用户作业在主存中的下限和上限地址,每当
    CPU要访问一个地址时,分别和两个寄存器的值相比,判断有无越界。
  • 2)采用重定位寄存器(又称基地址寄存器)和界地址寄存器(又称限长寄存器)来实现这种保护。重定位寄存器含最小的物理地址值,界地址寄存器含逻辑地址的最大值。内存管理机构动态地将逻辑地址与界地址寄存器进行比较,若未发生地址越界,则加上重定位寄存器的值后映射成物理地址,再送交内存单元。

2.内存共享

并不是所有的进程内存空间都适合共享,只有那些只读的区域才可以共享。可重入代码又称纯代码,是一种允许多个进程同时访问但不允许被任何进程修改的代码。但在实际执行时,也可以为每个进程配以局部数据区,把在执行中可能改变的部分复制到该数据区,这样,程序在执行时只需对该私有数据区中的内存进行修改,并不去改变共享的代码。

3.内存空间的扩充

交换技术主要在不同进程( 或作业)之间进行,而覆盖则用于同一个程序或进程中。对于主.存无法存放用户程序的矛盾,现代操作系统是通过虚拟内存技术来解决的,覆盖技术则已成为历史;而交换技术在现代操作系统中仍具有较强的生命力。

四.内存分配

1.连续分配方式

1.单一连续分配

内存在此方式下分为系统区和用户区,系统区仅供操作系统使用,通常在低地址部分:在用户区内存中,仅有一道用户程序,即整个内存的用户空间由该程序独占。这种方式的优点是简单、无外部碎片,无须进行内存保护,因为内存中永远只有一道程序。缺点是只能用于单用户、单任务的操作系统中,有内部碎片,存储器的利用率极低。

2.固定分区分配

固定分区分配是最简单的一种多道程序存储管理方式,它将用户内存空间划分为若干固定大
小的区域,每个分区只装入一道作业。当有空闲分区时,便可再从外存的后备作业队列中选择适
当大小的作业装入该分区,如此循环。在划分分区时有两种不同的方法。

  • 分区大小相等。程序太小会造成浪费,程序太大又无法装入,缺乏灵活性。
  • 分区大小不等。划分为多个较小的分区、适量的中等分区和少量大分区。

3.动态分区分配

又称可变分区分配,它是在进程装入内存时,根据进程的实际需要,动态地为之分配内存,并使分区的大小正好适合进程的需要。因此,系统中分区的大小和数目是可变的。

在进程装入或换入主存时,若内存中有多个足够大的空闲块,则操作系统必须确定分配哪个
内存块给进程使用,这就是动态分区的分配策略。考虑以下几种算法:

  • 1)首次适应(First Fit) 算法。空闲分区以地址递增的次序链接。分配内存时,从链首开始
    顺序查找,找到大小能满足要求的第一-个空闲分区分配给作业。
  • 2)邻近适应(NextFit) 算法。又称循环首次适应算法,由首次适应算法演变而成。不同之
    处是,分配内存时从上次查找结束的位置开始继续查找。
  • 3)最佳适应(Best Fit)算法。空闲分区按容量递增的次序形成空闲分区链,找到第-一个能
    满足要求且最小的空闲分区分配给作业,避免“大材小用”。
  • 4)最坏适应(Worst Fit) 算法。空闲分区以容量递减的次序链接,找到第- -个能满足要求的,
    即最大的分区,从中分割一部分 存储空间给作业。

首次适应算法最简单,通常也是最好和最快的。不过,首次适应算法会使得内存的低地址部分出现很多小的空闲分区,而每次分配查找时都要经过这些分区,因此增加了开销。

邻近适应算法试图解决这个问题。但它常常导致在内存空间的尾部(因为在- -遍扫描中,内存前面部分使用后再释放时,不会参与分配)分裂成小碎片。通常比首次适应算法要差。

最佳适应算法虽然称为“最佳”,但是性能通常很差,因为每次最佳的分配会留下很小的难以利用的内存块,会产生最多的外部碎片。

最坏适应算法与最佳适应算法相反,它选择最大的可用块,这看起来最不容易产生碎片,但是却把最大的连续内存划分开,会很快导致没有可用的大内存块,因此性能也非常差。

2.非连续分配方式

非连续分配方式根据分区的大小是否固定,分为分页存储管理和分段存储管理。在分页存储管理中,又根据运行作业时是否要把作业的所有页面都装入内存才能运行,分为基本分页存储管理和请求分页存储管理。

1.基本分页存储管理

基本分页存储管理是指将主存和辅存分成若干个大小相等的页,以页为单位进行数据的读写和存储。在基本分页存储管理中,每个进程都有自己的页表,用于记录该进程的逻辑地址与物理地址之间的映射关系。

当进程需要访问某个逻辑地址时,首先通过页表将逻辑地址转换成物理地址,并判断该物理地址是否已经在主存中。如果该物理地址所对应的页不在主存中,则发生缺页中断,操作系统负责将该页从辅存中调入主存,更新页表,并重新执行该指令。如果该物理地址所对应的页已经在主存中,则直接访问该页并执行相应的操作。

基本分页存储管理可以提高内存的利用率,使得多个进程可以同时共享主存。但是在实现过程中,需要考虑到页面置换算法、页表的管理以及缺页中断的处理等问题。

2.基本分段存储管理

基本分段存储管理是指将主存和辅存分成若干个大小不等的段,以段为单位进行数据的读写和存储。在基本分段存储管理中,每个进程都有自己的段表,用于记录该进程的逻辑地址与物理地址之间的映射关系。

当进程需要访问某个逻辑地址时,首先根据该地址所属的段,在段表中查找该段的物理地址,并计算出物理地址偏移量。然后将物理地址偏移量加上段的物理地址,得到最终的物理地址,并执行相应的操作。

在基本分段存储管理中,不同的进程可以共享相同的段,从而减少了内存的浪费。但是在实现过程中,需要考虑到段的分配、段的保护、段表的管理以及地址转换等问题。同时,由于段的大小不同,因此还需要考虑段的碎片化问题。

3.基本段页式存储管理

基本段页式存储管理是指将主存和辅存分成若干个大小不等的段和页,以段和页为单位进行数据的读写和存储。在基本段页式存储管理中,每个进程都有自己的段表和页表,用于记录该进程的逻辑地址与物理地址之间的映射关系。

当进程需要访问某个逻辑地址时,首先根据该地址所属的段,在段表中查找该段所对应的页表的物理地址,并计算出该地址所对应的页的物理地址。然后在页表中查找该页的物理地址,并计算出物理地址偏移量。最后将物理地址偏移量加上页的物理地址,得到最终的物理地址,并执行相应的操作。

在基本段页式存储管理中,可以实现不同进程之间的空间隔离和内存共享,从而提高了内存的利用率。但是在实现过程中,需要考虑到段的分配、段的保护、页表的管理、页面置换算法以及缺页中断的处理等问题。同时,由于段的大小不同,也会带来段的碎片化问题。

五.虚拟内存的管理方式

1.结构图

2.请求分页式存储管理

请求分页式存储管理是基于基本分页存储管理的一种改进,它可以提高页面置换算法的效率,并减少缺页中断的次数。在请求分页式存储管理中,每个进程所占用的物理页面数量并不是固定的,而是根据进程的实际需要来动态地进行分配。

具体来说,当一个进程需要申请一页新的物理页面时,操作系统会进行以下步骤:

  1. 首先搜索空闲物理页面池,查找是否有空闲的物理页面可供使用。
  2. 如果没有空闲的物理页面,则采用页面置换算法将一个已经驻留在主存中但未被使用的页替换出去,释放其物理页面,以供当前进程使用。
  3. 如果已经找到了空闲的物理页面,则将该页面分配给当前进程,并在进程的页表中记录该页面的映射关系。

通过动态地分配物理页面,请求分页式存储管理可以避免浪费物理内存的情况发生,并且可以根据进程的实际需要来动态地分配物理内存,从而提高了内存的利用率。同时,请求分页式存储管理还可以根据不同的页面置换算法,如FIFO和LRU等,来选择最优的页面置换策略,从而减少缺页中断的次数,提高系统的性能。

3.请求分页式存储管理流程图

4.补充

在计算机组成原理中,也涉及到虚拟内存这一知识点,在那里我有详细解释,这里就不赘述了。

点我了解虚拟存储技术

六.声明

本文是从操作系统角度了解的内存管理,可以结合从计算机组成原理一起观看效果更佳。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

React--Component组件浅析

目录 一 前言二 什么是React组件?三 二种不同 React 组件1 class类组件2 函数组件 四 组件通信方式五 组件的强化方式六 总结 一 前言 在 React 世界里,一切皆组件,我们写的 React 项目全部起源于组件。组件可以分为两类,一类是类…

Redis---集群

目录 一、集群的介绍 1.1 为什么需要集群呢? 1.2 什么是集群? 1.2 集群能干什么呢? 二、集群的算法之分片&槽位slot 2.1 什么是槽位slot? 2.2 分片 2.3 使用槽位和分片的优势 2.4 slot 槽位映射的三种算法 1、哈…

《深入浅出WPF》学习笔记

文章目录 相关资源前言WPF 学习笔记环境配置WPF基础:一个WPF程序是如何启动的xmal文件和cs文件是如何连接的如何确定启动页面xmal文件如何引用别的文件如何引用 WPF是如何创建元素,改变元素的WPF的元素创建和简单属性赋值WPF的树形界面Xmal属性赋值为什么…

内网安全:代理技术详解

目录 代理技术实验所用网络拓扑图及说明 代理技术 SOCK协议 使用代理技术的原因 正向代理与反向代理 实战一:MSF代理通讯 实验原理说明 一. Meterpreter建立路由 二. MSF建立节点 三. 建立代理到MSF上 实战二:CS代理通讯 实验原理说明 一. …

【MYSQL篇】Update语句原理详解

文章目录 前言缓冲池Buffer PoolInnoDB 内存结构redo logundo logBinlog 总结 前言 前面的文章我们已经对MySQL的查询语句的执行流程进行了说明,感兴趣的可以去看看: 【MySQL篇】Select语句原理详解 本篇文章我们来聊聊 MySQL更新语句的执行原理。更新…

从0到1精通自动化测试,pytest自动化测试框架,doctest测试框架(十四)

一、前言 doctest从字面意思上看,那就是文档测试。doctest是python里面自带的一个模块,它实际上是单元测试的一种。 官方解释:doctest 模块会搜索那些看起来像交互式会话的 Python 代码片段,然后尝试执行并验证结果 doctest测试…

spring mvc架构模式概述

三层架构: pojo,bean,domain是一个意思,表示实体类 dao表示操作数据库的那个类,一般是一张表一个

Redis主从架构、数据同步原理、全量同步、增量同步

目录 专栏导读一、Redis主从架构二、数据同步原理三、全量同步的流程三、可以从以下几个方面来优化Redis主从就集群四、全量同步和增量同步区别?五、什么时候执行全量同步?六、什么时候执行增量同步?七、超卖问题 大家好,我是哪吒…

Gitlab保护分支与合并请求

目录 引言 1、成员角色指定 1、保护分支设置 2、合并请求 引言 熟悉了Git工作流之后,有几个重要的分支,如Master(改名为Main)、Develop、Release分支等,是禁止开发成员随意合并和提交的,在此分支上的提交和推送权限仅限项目负责…

机器视觉初步6-1:基于梯度的图像分割

把基于梯度的图像分割单独拿出来。 文章目录 一、图像梯度相关算子的原理1. Sobel算子2. Prewitt算子3. Roberts算子 二、python和halcon算子实现1.python实现2.halcon实现 基于梯度的图像分割方法利用像素之间的梯度信息来进行图像分割。 梯度 1是图像中像素灰度值变化最快的…

Unity Android打包成Apk之后 紫屏 无内容

打包成Apk之后 打开游戏 过完logo是紫色的屏幕什么都没有 解决方法: 打开项目的目录: 删除除了 .vscode assets package 之外的所有文件夹 然后重新打开就可以了

kettle架构图

2、架构说明 1)最底层的是kettle的核心引擎层,相关的jar在lib目录下。 2)中间是开发层,在开发阶段我们接触最多的就是通过spoon进行开发,通过Spoon.bat或者spoon.sh即可启动客户端,开发文件调试之前要先保…

一篇文章带你从入门都入土 Kafka 消息中间件(原理+代码)

目录 一、Kafka定义 二、消息队列 三、Kafka基础架构图 四、安装Kafka 4.1 为每台服务器下载Kafka并解压 4.2 查看目录结构 4.3 为每台服务器修改配置文件server.properties 4.4 为每台服务器配置Kafka环境变量 4.5 启动zookeeper集群 4.6 启动Kafka集群 4.7 关闭Ka…

河道垃圾自动识别监测算法 opencv

河道垃圾自动识别监测系统通过pythonopencv网络模型技术,河道垃圾自动识别监测算法对水面上的垃圾进行自动识别,一旦发现垃圾污染将自动发出警报。OpenCV基于C实现,同时提供python, Ruby, Matlab等语言的接口。OpenCV-Python是OpenCV的Python…

SpringBoot03:yaml配置注入

目录 一、yaml语法学习 1、配置文件 2、yaml概述 3、yaml基础语法 3.1、字面量:普通的值【数字、布尔值、字符串】 3.2、对象、Map(键值对) 3.3、行内写法: 3.4、数组(list、set) 二、注入配置文件 1、yaml注入配置文件…

App Inventor 2 语音交互机器人Robot,使用讯飞语音识别引擎

应用介绍 App Inventor 2 语音识别及交互App。识别语言指令并控制机器人运动,主要用到语音识别器及文本朗读器组件,语音识别相关开发最佳入门。代码逻辑简单,App交互性及趣味性非常强~ 视频预览 语音Robot教程(难度系数&#xf…

html通过web3JS 获取当前连接的区块链信息和账号信息

前面 我们讲了 MetaMask和ganache的配置安装 并用 MetaMask管理ganache的启动的虚拟区块链 那么 我们现在也完全可以写一个网页来做这个东西的管理 您可以先查看文章web3.js获取导入做一个导入了 web3的html文件 首先我们可以来试着 获取 自己当前是在哪个区块的 getBlockNum…

5.6.1 端口及套接字

5.6.1 端口及套接字 传输层的作用是在通信子网提供服务的基础之上为它的上层也就是应用进程提供端到端的传输服务,通信子网是由用作信息交换的网络节点和通信线路所组成的独立的数据通信系统。它承担着全网的数据传输、转接和加工变换等通信处理工作。如图 通信子网…

stm32f103c8t6移植U8g2

U8g2代码下载: https://github.com/olikraus/u8g2 1,准备一个正常运行的KEIL5 MDK模板 2,下载u8g2的源码和 u8g2的STM32实例模板 源码: https://github.com/olikraus/u8g2 STM32实例模板: https://github.com/nikola-v/u8g2_template_stm32f…

PHP 基础知识

目录 PHP基础 2 PHP代码标记 2 PHP注释 2 PHP语句分隔符 2 PHP变量 3 常量 3 数据类型 4 流程控制 6 文件 7 函数 9 闭包 11 常用系统函数 12 错误处理 13 错误显示设置 15 字符串类型 17 字符串相关函数 19 数组 21 遍历数组 22 数组的相关函数 25 PHP基础 PHP是一种运行在服务…