操作系统——内存管理(面试准备)

news2024/11/15 11:05:43

虚拟内存

单片机没有操作系统,每次写完代码,都需要借助工具把程序烧录进去,这样程序才能跑起来。
另外,单片机的CPU是直接操作内存的物理地址。

在这里插入图片描述
在这种情况下,想在内存中同时运行两个程序是不可能的,如果第一个程序在2000的位置写入新值,将擦掉第二个程序放在相同位置上的内容,所以同时运行两个程序是根本不通的,会立刻崩溃。

操作系统如何解决

这里的关键问题是这两个程序都引用了绝对物理地址,这是我们最需要避免的。

我们可以把进程使用的地址隔离开来,让操作系统为每个进程分配一套独立的虚拟地址,人人都有,大家只操作自己的地址,互不干涉。
但是有个前提是每个进程都不能访问物理地址,至于虚拟地址最终怎么落到物理内存里,对进程来说是透明的,由操作系统安排。

在这里插入图片描述
操作系统会提供一种机制,将不同的虚拟地址和不同内存的物理地址映射起来。
如果程序要访问虚拟内存的时候,由操作系统转换成不同的物理地址,这样不同的进程运行的时候,写入的是不同的物理地址,这样就不会冲突了。

  • 我们程序使用的内存地址叫做虚拟内存地址
  • 存在硬件空间地址叫做物理内存地址

操作系统引入虚拟内存,进程将持有的虚拟地址通过CPU芯片中的内存管理单元MMU的映射关系,转换变成物理地址,再通过物理地址访问内存。

在这里插入图片描述
操作系统如何管理虚拟地址和物理地址之间的关系呢?

内存分段

程序由若干个逻辑分段组成,如可由代码分段、数据分段。栈段、堆段组成。不同的段有不同的属性,就用分段的形式把这些段分离出来。

分段机制下的虚拟地址由两部分组成,段选择因子和段内偏移量。

  • 段选择因子保存在段寄存器里面,段选择因子里面最重要的是段号,用作段表的索引。段表里保存的是这个段的基地址、界限和特权等级。
  • 段内偏移量位于0和段界限之间,如果段内偏移量是合法的,就将段基地址加上段内偏移量得到物理内存地址。

内存分段的缺点:

  • 内存碎片的问题。
  • 内存交换的效率低的问题。

我们来看这样一个例子。我现在手头的这台电脑,有 1GB 的内存。我们先启动一个图形渲染程序,占用了 512MB 的内存,接着启动一个 Chrome 浏览器,占用了 128MB 内存,再启动一个 Python 程序,占用了 256MB 内存。这个时候,我们关掉 Chrome,于是空闲内存还有 1024 - 512 - 256 = 256MB。按理来说,我们有足够的空间再去装载一个 200MB 的程序。但是,这 256MB 的内存空间不是连续的,而是被分成了两段 128MB 的内存。因此,实际情况是,我们的程序没办法加载进来。

内存交换
我们可以把Python程序占用的256MB内存写到硬盘上,然后再从硬盘上读回来到内存里面。不过读回来的时候,我们不再把它加载到原来的位置,而是紧紧跟在那已经被占用了的 512MB 内存后面。这样,我们就有了连续的 256MB 内存空间,就可以去加载一个新的 200MB 的程序。

如果自己安装过Linux操作系统,应该遇到过分配一个swap硬盘分区的问题。这块分出来的磁盘空间,就是专门给Linux操作系统进行内存交换用的。

虚拟内存、分段,再加上内存交换,看起来似乎已经解决了计算机同时装载运行很多个程序的问题。不过,你千万不要大意,这三者的组合仍然会遇到一个性能瓶颈。硬盘的访问速度要比内存慢很多,而每一次内存交换,我们都需要把一大段连续的内存数据写到硬盘上。所以,如果内存交换的时候,交换的是一个很占内存空间的程序,这样整个机器都会显得卡顿。为了解决内存分段的内存碎片和内存交换效率低的问题,就出现了内存分页。

内存分页

分段的好处是能产生连续的内存空间,但是会出现内存碎片和内存交换的空间太大的问题。

要解决这些问题,那么就要想出能少出现一些内存碎片的办法。另外,当需要进行内存交换的时候,让需要交换写入或者从磁盘装载的数据更少一点,这样就可以解决问题了。这个办法,也就是内存分页(Paging)。

分页是把整个虚拟和物理内存空间切成一段段固定尺寸的大小。这样一个连续并且尺寸固定的内存空间,称为页,Linux下,每一页为4KB。

虚拟地址与物理地址之间通过页表来映射。

页表实际上存储在CPU的内存管理单元(MMU)中,于是CPU可以直接通过MMU,找出要实际访问的物理内存地址。

当进程要访问的虚拟地址在页表中查不到时,系统会产生一个缺页异常,进入系统内核空间分配物理内存,更新进程页表,最后返回用户空间,恢复进程的运行。

分页怎么解决分段的内存碎片、内存交换效率低的问题?

由于内存空间都是预先划分好的,也就不会像分段会产生间隙非常小的内存,采用了分页,释放的内存都是以页为单位释放的,也就不会产生给进程使用的小内存。

如果内存空间不够,操作系统会把其它正在运行的进程中最近没使用的内存页面给释放掉,也就是暂时写作硬盘上,称为换出。一旦需要的时候,再加载进来,称为换入。

一次性写入磁盘的只有少数的一个页或者几个页,不会花太多时间,内存交换的效率也就相对较高。

分页方式使得我们在加载程序的时候,不再需要一次性把程序加载到物理内存中。我们完全可以在进行虚拟内存和物理内存的页之间的映射之后,并不真地把页加载到物理内存里,而是只在程序运行时,需要用到对应虚拟内存页里面的指令和数据时,再加载到物理内存里面去。

分页机制下,虚拟地址分为两部分,页号和页内便宜,页号作为页表的索引,页表包含物理页每页所在物理内存的基地址,这个基地址与页内偏移的组成就形成了物理内存地址。

对于一个内存地址转换,其实也就三个步骤:

  • 把虚拟内存地址,切分成页号和偏移量。
  • 根据页号,从页表里面,查询对应的物理页号。
  • 直接拿物理页号,加上前面的偏移量,就得到了物理内存地址。

简单分页

因为操作系统可以同时运行非常多的进程,也就意味着页表会非常庞大。

在32位的环境下,虚拟地址空间有4GB,假设一个页的大小是4KB,那么大概需要100万个页,每个页表项需要4个字节大小存储,那么共需要4MB的内存存储页表。

这4MB大小的页表,看起来也不是很大。但是要知道每个进程都有自己的虚拟地址空间,也就说都有自己的页表。

那么100个进程,就需要400MB的内存来存储页表,这是非常大的内存了,更别说64位的环境了。

多级页表

要解决上面的问题,就需要采用一种叫做多级页表的解决方案。

对于单页表的实现方式,在32位和页大小4KB的环境下,一个进程的页表需要装下100多万个页表项,并且每个页表项占用4字节大小,于是每个页表占用4MB大小的空间。

我们把这个100多万个页表项的单级页表再分页,将页表分为1024个页表(二级页表),每个表(二级页表)中包含1024个页表项,形成二级分页。

为什么多级分页比普通分页更节省内存?

分了二级页表,映射4GB地址空间就需要4KB(一级页表)+4MB(二级页表)的内存,这样占用空间不是更大了吗?

当然如果4GB的虚拟地址全部映射到了物理内存上,二级分页占用空间确实更大了,但是,我们不会为一个进程分配那么多内存。

每个进程都有4GB的虚拟地址空间,而对于大多数程序来说,其使用到的空间远未达到4GB,因为会存在部分对应的页表项都是空的,根本没有分配,对于已分配的页表项,如果存在最近一定时间未访问的页表,在物理内存紧张情况下,操作系统会将页面换出到硬盘,也就是说不会占用物理内存。

如果使用了二级分页,一级页表就可以覆盖整个4GB的虚拟地址空间,如果某一个一级页表的页表项没有被用到,就不需要创建这个页表项对应的二级页表了,即可以在需要时创建二级页表。

程序局部性原理

程序在运行时,对数据的访问往往呈现出局部性特征,即在一段时间内,程序的大部分执行都集中在程序的某一部分,并且这段代码所引用的数据也大多位于相邻的内存区域。

程序局部性原理可以分为两种形式:

  • 时间局部性:在程序执行过程中,如果某个指令或数据已经被访问过,那么在不久之后,该指令或数据很可能再次被访问。例如,在循环体内,同一组指令和数据会被反复执行多次。
  • 空间局部性:某个存储单元被访问过,那么在不久之后,其相邻的存储单元也很可能被访问,例如,数组中的相邻元素通常会被连续访问。

根据程序局部性原理,计算机体系结构中设计了多级缓存、虚拟存储器等技术,操作系统中设计了页面调度、LRU缓存替换算法等机制。

页表缓存TLB

多级页表虽然解决了空间上的问题,但是虚拟地址到物理地址的转换就多了几道转换的工序,这显然就降低了这两个地址转换的速度,也就是带来了时间上的开销。

程序是有局部性的,即在一段时间内,整个程序的执行仅限于程序中某一部分。相应地,执行所访问的存储空间也局限于某个内存区域。

我们利用这一特性,把最常访问的几个页表项存储到访问速度更快的硬件,于是计算机科学家们,就在CPU芯片中,加入了一个专门存放程序最常访问的页表项的Cache,这个Cache就是TLB,通常称为页表缓存,转址旁路缓存、快表等。

在 CPU 芯片里面,封装了内存管理单元(Memory Management Unit)芯片,它用来完成地址转换和 TLB 的访问与交互。有了 TLB 后,那么 CPU 在寻址时,会先查 TLB,如果没找到,才会继续查常规的页表。TLB 的命中率其实是很高的,因为程序最常访问的页就那么几个。

Linux内存管理

在Linux操作系统中,虚拟地址空间的内部又被分为内核空间和用户空间两部分。

在这里插入图片描述
32位系统的内核空间占用1G,位于最高处,剩下的3G是用户空间。

内核空间与用户空间的区别:

  • 进程在用户态时,只能访问用户空间内存;
  • 只有进入内核态时,才可以访问内核空间的内存。

虽然每个进程都有自己的虚拟内存,但是每个虚拟内存中的内核地址,其实关联的都是相同的物理内存。
进程切换到内核态后,就可以很方便地访问内核内存空间。

在这里插入图片描述

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

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

相关文章

JavaFx+MySql学生管理系统

前言: 上个月学习了javafx和mysql数据库,于是写了一个学生管理系统,因为上个月在复习并且有一些事情,比较忙,所以没有更新博客了,这个项目页面虽然看着有点简陋了,但是大致内容还是比较简单的,于是现在跟大家分享一下我的学生管理系统,希望对这方面有兴趣的同学提供一些帮助 &a…

浪潮服务器内存物理插槽位置

浪潮服务器内存物理插槽位置 如下图所示

在iPhone / iPad上轻松模拟GPS位置 AnyGo for Mac

在iPhone / iPad上轻松模拟GPS位置 AnyGo for Mac AnyGo for Mac是一款专为Mac电脑用户设计的虚拟定位工具。它可以模拟你的GPS位置,让你的设备显示你在任何世界上的任何地方。无论你是想在游戏中虚拟移动,还是在社交媒体上分享虚拟的旅行照片&#xff0…

基于SpringBoot+MySQL的租房项目+文档

💗博主介绍💗:✌在职Java研发工程师、专注于程序设计、源码分享、技术交流、专注于Java技术领域和毕业设计✌ 温馨提示:文末有 CSDN 平台官方提供的老师 Wechat / QQ 名片 :) Java精品实战案例《700套》 2025最新毕业设计选题推荐…

05 以物品与用户为基础个性化推荐算法的四大策略

《易经》:“九二:见龙在田,利见大人”。九二是指阳爻在卦中处于第二位,见龙指龙出现在地面上,开始崭露头角,但是仍须努力,应处于安于偏下的位置。 本节是模块二第一节,模块二讲解传…

从业务架构到应用架构技术剖析

从业务架构到应用架构 4A架构理论,一个企业级架构框架,将企业架构(EA)划分为四大核心领域,每个领域都聚焦于组织的不同维度。该理论提供了一种结构化的设计和理解企业运作方式的方法,确保技术解决方案能…

前端面试题53(在vue中history与hash区别)

在Vue.js应用中,路由(routing)是管理应用程序中不同页面(视图)的重要部分。Vue Router提供了两种路由模式来管理URL:hash模式和history模式。下面详细介绍这两种模式的区别: 1. Hash 模式 原理…

如何在idea安装git,使用gitee?

一、什么是git,git与gitee、GitHub的关系? 1.什么是git? Git 是一个开源的分布式版本控制系统,用于企业项目中程序员协同开发。 2.git与gitee、GitHub的关系是什么? git :Git是一种版本控制系统&#x…

Linux:NFS共享存储

目录 一、NFS基本概述 二、NFS共享文件实验 2.1、安装nfs和rpcbind软件 2.2、修改配置文件设置共享 2.3、创建共享目录 ​编辑 2.4、开启服务 2.5、客户端验证共享目录可访问 三、tcpdump命令 3.1、概述 3.2、简单表达 3.3、过滤规则 ​编辑 3.4、tcpdump常见参数…

Redis分布式锁在高并发环境下的超卖问题

先看这样一段代码,购买商品,扣减库存的逻辑代码 当用户下单,并且调用扣减库存的接口时,先判断商品库存是否还有,因为是秒杀场景下,太多请求都打到数据库,可能会导致数据库崩溃,所以…

[leetcode] largest-divisible-subset 最大整除子集

. - 力扣&#xff08;LeetCode&#xff09; class Solution { public:vector<int> largestDivisibleSubset(vector<int>& nums) {int len nums.size();sort(nums.begin(), nums.end());// 第 1 步&#xff1a;动态规划找出最大子集的个数、最大子集中的最大整…

Djngo项目创建的准备工作【5】

【 一 】搭建纯净模式 核心就是 在安装完drf之后记得在app里面注册rest_framework, # django 默认很多app--》很多表auth 6个表session 表content-type表 # django很多中间件 ​ # 以后我们的项目&#xff0c;可能不用这些东西---》由于带了内置app&#xff0c;这些表就会创建…

MaxViT : 多轴Vision Transformer

本文提出了一种高效、可扩展的多轴注意力模型,该模型包括两个方面:局部注意力被阻塞和全局注意力被扩张。这些设计选择允许在任意输入分辨率下的全局-局部空间交互,只有线性复杂度。还通过有效地将注意力模型与卷积混合在一起,提出了一个新的架构元素,并相应地提出了一个简…

IAR全面支持芯驰科技E3系列车规MCU产品E3119/E3118

中国上海&#xff0c;2024年7月11日 — 全球领先的嵌入式系统开发软件解决方案供应商IAR与全场景智能车芯引领者芯驰科技宣布进一步扩大合作&#xff0c;最新版IAR Embedded Workbench for Arm已全面支持芯驰科技的E3119/E3118车规级MCU产品。IAR与芯驰科技有着悠久的合作历史&…

强化学习实战3:Sarsa 与 Q-Learning 算法求解迷宫问题

前置知识 首先实验环境依然是我们之前说的迷宫环境&#xff0c;然后是一些基本术语&#xff0c;应该都是比较熟悉的&#xff1a; 强化学习的算法大概有两类&#xff0c;一类是策略迭代&#xff08;讲究的是策略 Π &#xff09;&#xff0c;还有一类是价值迭代&#xff0c;也就…

电脑 DNS 缓存是什么?如何清除?

DNS&#xff08;Domain Name System&#xff0c;域名系统&#xff09;是互联网的重要组成部分&#xff0c;负责将人类易记的域名转换为机器可读的 IP 地址&#xff0c;从而实现网络通信。DNS 缓存是 DNS 系统中的一个关键机制&#xff0c;通过临时存储已解析的域名信息&#xf…

lnmp+DISCUZ+WORDPRESS

lnmpDISCUZWORDPRESS lnmpDISCUZ&#xff08;论坛的一个服务&#xff09; l&#xff1a;linux操作系统 n&#xff1a;nginx前端页面的web服务 php&#xff1a;动态请求转发的中间件 mysql&#xff1a;数据库 保存用户和密码以及论坛的相关内容 mysql8.0.30安装&#xff1a…

微信综合购物商城小程序ui模板源码

微信电商小程序前端页面&#xff0c;综合购物商城ui界面模板。主要功能包含&#xff1a;电商主页、商品分类、购物车、购物车结算、我的个人中心管理、礼券、签到、新人专享、专栏、商品详情页、我的订单、我的余额、我的积分、我的收藏、我的地址、我的礼券等。这是一款非常齐…

单相整流-TI视频课笔记

目录 1、单相半波整流 1.1、单相半波----电容滤波---超轻负载 1.2、单相半波----电容滤波---轻负载 1.3、单相半波----电容滤波---重负载 2、全波整流 2.1、全波整流的仿真 2.2、半波与全波滤波的对比 3、全桥整流电路 3.1、全波和全桥整流对比 3.2、半波全波和全桥…

【Linux杂货铺】2.进程优先级

1.进程优先级基本概念 进程优先级是操作系统中用于确定进程调度顺序的一个指标。每个进程都会被分配一个优先级&#xff0c;优先级较高的进程会在调度时优先被执行。进程优先级的设定通常根据进程的重要性、紧急程度、资源需求等因素来确定。操作系统会根据进程的优先级来决定进…