虚拟内存和物理内存的直观理解(概念、区别与联系)_虚拟内存和物理内存的区别-程序员宅基地

技术标签: 虚拟内存  计算机网络  物理内存  

基本概念

操作系统中有虚拟内存与物理内存的概念。
首先理解一下什么叫物理内存?什么叫虚拟内存?

  • 物理内存是指由于安装内存条而获得的临时储存空间。主要作用是在计算机运行时为操作系统和各种程序提供临时储存。常见的物理内存规格有256M、512M、1G、2G等,当物理内存不足时,可以用虚拟内存代替。

  • 虚拟内存是计算机系统内存管理的一种技术。它使得应用程序认为它拥有连续可用的内存(一个连续完整的地址空间),它通常是被分隔成多个物理内存碎片,还有部分暂时存储在外部磁盘存储器上,在需要时进行数据交换。

在虚拟内存出现之前,程序寻址用的都是物理地址,因此程序能寻址的范围是有限的,具体程序可以寻址的范围有多大取决于CPU的地址线条数。比如在32位平台下,寻址的范围是2^32也就是4G,并且这是固定的,如果没有虚拟内存,且每次开启一个进程都分配出来4G的物理内存,就会出现很多问题:

  • 因为物理内存是有限的,当有多个进程要执行的时候,对每个进程都要分配4G内存,很显然你内存若小一点,这很快就分配完了,于是没有得到分配资源的进程就只能等待。当一个进程执行完后,再将等待的进程装入内存。这种频繁的装入内存的操作是很没效率的。
  • 由于指令都是直接访问物理内存的,那么进程就可以修改其他进程的数据,甚至会修改内核地址空间的数据,这是我们不想看到的。
  • 因为内存是随机分配的,所以程序运行的地址也是不正确的。

为了解决上述问题,于是就出现了虚拟内存。

深入理解

一个进程运行时会被分配4G的虚拟内存。 进程有了虚拟内存后,每个进程都认为自己拥有4G的内存空间,当然这只是每个进程认为的。但实际上,虚拟内存对应的实际物理内存,可能只对应的分配了一点点的物理内存,实际使用了多少内存,就会对应多少物理内存。

进程得到的这4G虚拟内存是一个连续的地址空间(这也只是进程认为),而实际上,它的数据是存储在多个物理内存碎片的,还有一部分存储在外部磁盘存储器上,在需要时将数据交换进物理内存。

进程开始要访问一个地址,它可能会经历下面的过程

  1. 进程每次要访问地址空间上的某一个地址时,都需要把地址翻译为实际物理内存地址。
  2. 所有进程共享一整块物理内存,每个进程只把自己目前需要访问的虚拟地址空间映射到物理内存上。
  3. 进程需要知道哪些虚拟内存地址空间上的数据在物理内存上,哪些不在(可能这部分存储在磁盘上),若在物理内存上存在,则需要进一步知道数据存储在物理内存上的具体位置,这都需要通过页表来记录。
  4. 页表的每一个表项分两部分,第一部分记录此页是否在物理内存上,第二部分记录物理内存页的地址(如果在的话)。
  5. 当进程访问某个虚拟地址的时候,就会先去看页表,如果发现对应的数据不在物理内存上,就会发生缺页异常。
  6. 缺页异常的处理过程,操作系统立即阻塞该进程,并将硬盘里对应的页换入内存,然后使该进程就绪,如果内存已经满了,没有空地方了,那就找一个页覆盖,至于具体覆盖的哪个页,就需要看操作系统的页面置换算法是怎么设计的了。
关于页面置换算法(重要)

页置换采用如下方法:如果没有空闲帧,那么就查找当前没有使用的帧,将其释放。
(1)查找所需页在磁盘上的位置
(2)查找一个空闲帧

a,如果有空闲帧,那么就使用它,

b,如果没有,使用页置换算法选择一个牺牲帧

c,将牺牲帧的内容写到磁盘上,改变页表和帧表

(3)将所需页读入空闲帧,改变页表和帧表

(4)重新启动程序。

常见的页置换算法:

(I)FIFO页置换

最先进入的页被置换。

需要注意的是FIFO页置换会有一种特殊现象——Belady异常:对有的页置换算法,页错误率可能随着所分配的帧数的增加而增加。FIFO可能就出现这种现象。

(II)最优页置换opt

置换最长时间不会使用的页,即能预知将来的情况。但是将来的情况我们无法预知,因此这种算法难以实现。

(III)LRU页置换(最近最少使用算法least-recently-used algorithm)

FIFO使用的是页调入内存的时间,OPT使用的是将来的时间。

LRU置换为每个页关联上上一次使用的时间,当必须置换一页时,LRU选择最长时间没有使用的页。

最优置换和LRU置换都没有Belady算法(证明略)

(IIII)近似LRU页置换

页表中的每一项都关联一个引用位,每当引用一个页时,相应的位就被置位。因此我们虽然不知道引用顺序,但是我们知道哪些页被引用,哪些未被引用。近似LRU算法又有一下三种方法:

(a)附加引用位算法

通过在规定时间间隔里记录引用位。

0000000,11111111,上述两个字节分别表示在8个周期内从未被引用和一直被引用的情况。因此值最小,就是应该置换的页。

(b)二次机会算法

这种算法只有引用位本身,没有历史位,因此只有一位。当要选择一个页时,检查引用位,如为0,直接置换,如为1,则给该页二次机会,同时清0,寻找下一个0位置,所以而二次机会算法的基本算法是FIFO算法。

(c)增强型二次机会算法

通过将引用为和修改位作为一对有序位来考虑。

(0,0)——最近未使用且未修改过

(0,1)——最近未使用但修改过

(1,0)——最近使用但为修改过

(1,1)——使用且修改过

(IIIII)基于计数器的页置换

为每一个页保留一个用于记录其引用次数的计数器,因而可以形成以下两种方案:

最不经常使用页置换算法(LFU)——置换出引用次数最小的页

最常使用页置换算法(MFU)——认为最小次数的页可能刚刚调入,且还没有使用。

(IIIIII)页缓冲算法

系统保留一个空闲帧缓冲池,当出现页错误时,会选择牺牲帧,但是牺牲帧写出之前,所需要的页就从缓冲池中读到空闲内存。这样加速了重启。

关于虚拟内存与物理内存的联系,下面这张图可以很直观的帮助我们理解。

先看一下虚拟内存的结构图:
以32位机为例,我们看到的进程虚拟存储器占用3G虚拟内存空间,内核虚拟存储器占用1G的虚拟内存空间
在这里插入图片描述
虚拟内存与物理内存的联系:
在这里插入图片描述
页表的工作原理:
在这里插入图片描述

  1. cpu想访问虚拟地址所在的虚拟页(VP3),根据页表,找出页表中对应的页表项,判断有效位。
  2. 若有效位为1,则DRMA缓存命中,根据物理页号,找到物理页当中的内容,返回。
  3. 若有效位为0,则发生缺页异常,调用内核缺页异常处理程序。内核通过页面置换算法选择一个页面作为被覆盖的页面,将该页的内容刷新到磁盘空间当中。然后把VP3映射的磁盘文件内容缓存到该物理地址对应的页上面。然后将页表项中的有效位变成1,第二部分存储了对应的物理内存也的地址。
  4. 缺页异常处理完毕后,返回中断前的指令,重新执行,此时缓存命中,执行1。
  5. 将找到的内容映射到高速缓存当中,CPU从高速缓存中获取该值,结束。

虚拟内存的工作模式

当每个进程创建的时候,内核会为进程分配4G的虚拟内存,当进程还没有开始运行时,这只是一个内存布局。实际上并不立即就把虚拟内存对应位置的程序数据和代码(比如.text .data段)拷贝到物理内存中,只是建立好虚拟内存和磁盘文件之间的映射就好(叫做存储器映射)。这个时候数据和代码还是在磁盘上的。当运行到对应的程序时,进程去寻找页表,发现页表中地址没有存放在物理内存上,而是在磁盘上,于是发生缺页异常,于是将磁盘上的数据拷贝到物理内存中。

另外在进程运行过程中,要通过malloc来动态分配内存时,也只是分配了虚拟内存,即为这块虚拟内存对应的页表项做相应设置,当进程真正访问到此数据时,才引发缺页异常。

可以认为虚拟空间都被映射到了磁盘空间中(事实上也是按需要映射到磁盘空间上,通过mmap,mmap是用来建立虚拟空间和磁盘空间的映射关系的)
优点:

  1. 既然每个进程的内存空间都是一致而且固定的(32位平台下都是4G),所以链接器在链接可执行文件时,可以设定内存地址,而不用去管这些数据最终实际内存地址,这交给内核来完成实际映射关系。
  2. 当不同的进程使用同一段代码时,比如库文件的代码,在物理内存中可以只存储一份这样的代码,不同进程只要将自己的虚拟内存映射过去就好了,这样可以节省物理内存。
  3. 在程序需要分配连续空间的时候,只需要在虚拟内存分配连续空间,由操作系统自动完成连续的虚拟物理内存地址到分散的物理内存地址的映射,这样就可以有效的利用碎片化的物理内存。

参考:https://blog.csdn.net/lvyibin890/article/details/82217193

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

智能推荐

Shiro实现用户授权(Authorization)_@hasauthority shiro-程序员宅基地

文章浏览阅读716次。Shiro实现用户授权_@hasauthority shiro

基于深度学习的人脸识别与管理系统(UI界面增强版,Python代码)_python管理系统深度学习-程序员宅基地

文章浏览阅读7.1w次,点赞121次,收藏1.2k次。摘要:人脸检测与识别是机器视觉领域最热门的研究方向之一,本文详细介绍博主自主设计的一款基于深度学习的人脸识别与管理系统。博文给出人脸识别实现原理的同时,给出Python的人脸识别实现代码以及PyQt设计的UI界面。系统实现了集识别人脸、录入人脸、管理人脸在内的多项功能:包括通过选择人脸图片、视频、摄像头进行已录入人脸的实时识别;可通过图片和摄像头检测人脸并录入新的人脸;通过系统管理和更新人脸数据等功能,检测速度快、识别精度较高。博文提供了完整的Python代码和使用教程与完整代码资源。_python管理系统深度学习

Filter Listener-程序员宅基地

文章浏览阅读42次。ShowServlet.javapackage it.ytu.servlet;import java.io.IOException;import javax.servlet.ServletException;import javax.servlet.annotation.WebServlet;import javax.servlet.http.HttpServlet;import javax.servlet.http.HttpServletRequest;import javax.servl

php 实现 word 转为 图片_php word转图片-程序员宅基地

文章浏览阅读2.4k次,点赞3次,收藏8次。项目需求是这样的:用户签订合同,并读取用户信息生成合同,将合同保存为png图片保存环境:windows(2012,linux要配置java环境,偷懒)+ apache(2.4.48) + php(7.1) + mysql(5.5.62)框架:tp5.0.24,网站目录在public下面,环境直接用宝塔塔建的,phpenv 本地测试了也可以,其他的没有测试第一步:向word写入用户信息1. 将 PhpOffice 整个文件夹复制到 extend 文件夹下(如下图)2. 接下来就是代码了,直接上:_php word转图片

oracle redo备份,Oracle备份,redo丢失和恢复的实操-程序员宅基地

文章浏览阅读391次。我们今天要和大家一起讨论的是Oracle备份,redo丢失和恢复的实际操作方案的实际应用,如果你对Oracle备份,redo丢失和恢复的实操感兴趣的话,以下的文章就会给你提供相关的知识,望你会有所收获。一、先阐述下测试环境系统数据库环境:window+Oracle10g R2+archive模式;模拟Redo文件丢失,数据库在正常关闭的情况发现Redo丢失了;二、测试(1)、倘若丢了一个或多个re..._oracle redolog 备份

原创 (C++)Leetcode狂刷200题——标签“哈希表篇--简单难度10道 #204. 计数质数_计数质数 哈希表leetcode c++-程序员宅基地

文章浏览阅读93次。第九道、#204. 计数质数统计所有小于非负整数 n 的质数的数量。示例:输入: 10输出: 4解释: 小于 10 的质数一共有 4 个, 它们是 2, 3, 5, 7 。1、暴力解法class Solution {public: int countPrimes(int n) { if (n<3) return 0; //当n小于三时,没有质数 int ans =1; //2是质数 ,所以初始化为1 for(int ._计数质数 哈希表leetcode c++

随便推点

Windows蓝屏案例分析_ox000021a-程序员宅基地

文章浏览阅读491次。1.故障检查信息***STOP 0x0000001E(0xC0000005,0xFDE38AF9,0x0000001,0x7E8B0EB4)KMODE_EXCEPTION_NOT_HANDLED ***其中错误的第一部分是停机码(Stop Code)也就是STOP 0x0000001E, 用于识别已发生错误的类型, 错误第二部分是被括号括起来的四个数字集, 表示随机的开发人员定义的参数(这_ox000021a

SpringBoot默认包扫描机制及@ComponentScan指定扫描路径详解_springboot scan-程序员宅基地

文章浏览阅读7.2k次,点赞5次,收藏20次。springboot注解@ComponentScan_springboot scan

NLP 学习笔记 02 (Tagging Problems, and Hidden Markov Models)_hidden markov models nlp-程序员宅基地

文章浏览阅读4.7k次。(all content based on the coursera course nlp)--------------------------------------------------------------------------------------------------------这一周的主要课程是tagging problems首先是简单介绍了一下supervise_hidden markov models nlp

muui身份证验证代码_mui input 身份证号码-程序员宅基地

文章浏览阅读518次。&lt;script src="js/mui.min.js"&gt;&lt;/script&gt; &lt;script type="text/javascript" src="js/mui.enterfocus.js" &gt;&lt;/script&gt; &lt;script src="js/app.js"&gt_mui input 身份证号码

HDC2021技术分论坛:HarmonyOS内核技术大公开_hyperhold-程序员宅基地

文章浏览阅读1.7k次。作者:jikecheng,miaoxie,HarmonyOS内核技术专家HarmonyOS整体框架分为四个层级,如图1所示。从上到下,依次为:第一层是应用层,主要涵盖系统应用、Launcher、设置,以及三方应用。第二层是框架层,提供基础UI框架、用户程序框架以及能力模块框架。第三层是系统服务层,让HarmonyOS具有分布式流转负载的能力。大家看到的高速多设备协同能力就是由该层级提供。而承载整个操作系统,同时发挥芯片算力的基石就沉淀在第四层——内核层。宏观来说,内核的主要工作包含芯片资源管_hyperhold

计算机组成原理知识总结蒋本珊,计算机组成原理习题答案(蒋本珊)-程序员宅基地

文章浏览阅读584次。资源描述:第一章1 .电子数字计算机和电子模拟计算机的区别在哪里解电子数字计算机中处理的信息是在时间上离散的数字量,运算的过程是不连续的;电子模拟计算机中处理的信息是连续变化的物理量,运算的过程是连续的。2 .冯· 诺依曼计算机的特点是什么 其中最主要的一点是什么解冯· 诺依曼计算机的特点如下① 计算机(指硬件)应由运算器、存储器、控制器、输入设备和输出设备五大基本部件组成;② 计算机内部采用二进..._数字计算机处理的是在时间上和数值上

推荐文章

热门文章

相关标签