内存管理
为什么要对内存进行管理,需要解决什么问题?
要回答这个问题,首先我们需要明白:进程运行时,需放在内存才能运行。比如在执行一个程序时,需将该程序的相关数据与指令装入内存才能运行。但是内存是有限的,如果多个进程同时运行,就会出现内存不够用的情况。操作系统这时就帮我们做出抉择,并决定当前内存中应该存放哪几个进程,以及存放在内存中的什么位置。
总的来说,需要对内存进行管理的原因是:内存空间有限,不能无限使用。引入内存管理能够解决的问题:进程在内存空间中怎么放,什么时候该放哪个进程进入内存。这一过程由操作系统帮助管理。
要想明白操作系统是如何对内存进行管理的,需要先搞清下面几个问题。
进程是如何运行的?
一般来说,执行由用户编写的源程序得出结果一般需要经过以下三个步骤,分别是编译,链接和装入。
-
编译(compile)
编译就是将用高级语言(如:python,Java,c++等)编写的源程序转成机器语言(只有0和1)的指令集合(即多个目标模块)。 -
链接(link)
目标模块与调用的库函数链接形成装入模块。
通俗来说,链接就是把自己写的功能和c++本身带的功能组合起来,形成一个模块,即装入模块,在链接这一过程形成完整的逻辑地址。
链接有三种方式,分别为静态链接,装入时动态链接和运行时动态链接。静态链接:运行前,将目标模块与库函数链接,不再拆开。装入时动态链接,边装入边链接。运行时动态链接:边执行边链接。
链接与顾客去餐馆吃饭上菜的过程类似。静态链接就是顾客在吃饭之前,将所有菜做好并一次呈上桌。装入时动态链接就是顾客在开始吃饭之前,做好一道菜上一道菜。运行时动态链接就是顾客边吃边上菜。 -
装入(load)
进程在运行之前要先进入内存才能执行。装入就是将装入模块由装入程序装入内存。 这一过程中发生了逻辑地址到物理地址到转换。
可以将装入模块类比为货物,装入程序为装卸工,内存就是目的地。装入过程将货物由装卸工卸货进入目的地。
装入方式一般有绝对装入,可重定位装入以及动态运行时装入。绝对装入就是编译时候就已经完成定位;可重定位装入就是装入时转换地址;动态运行时装入就是运行时转化地址。
链接装入过程可以形象的用送餐过程来比喻:
【总结】
进程的运行经过了三个阶段 :编译,链接和装入。装入内存后,cpu开始调用内存中的指令,一条一条执行。
内存是什么?
关于内存管理,一个核心概念就是内存。那么,内存到底是什么呢。
内存(memory)由一些内存单元组成,每个内存单元能存一个值,具有存储功能。整个内存空间类似于一个旅馆,由多个房间组成,每个房间能够住人。该如何标记内存中一个个小房子呢 ? 也就是当我们去住旅店时,如何找到我们的房间呢?答案是编号。给每个内存单元编号,即内存地址。
总的来说,内存就是一组具有存储功能的单元,每个内存单元成为地址空间(address space),在内可存放值,每个内存单元通过内存地址(编号)来查找位置。
如果我们将内存区域分成 a,b和c三块区域。此时区域a被占据,如果进程进入内存,占据已经被占据的区域a可能会造成一些麻烦。面对这种情况应该怎么处理呢?答案是: 内存保护 。
如何进行内存保护?
内存一般有一块区域专供操作系统使用。内存保护一方面是保护操作系统不受用户进程的影响,另一方面保护用户进程之间互相不影响。
内存保护的目的就是保证各个进程在各自内存空间内独立运行,不会越界访问。
如何对进行内存保护呢?一般采用两种方案:
方案一:cpu内设置一堆上下限寄存器。上限寄存器存放进程的上限地址,下限寄存器存放进程的下限地址。
方案二:设置重定位寄存器(基址寄存器)和界地址寄存器(限长寄存器)。
之前我们提到一个问题,内存空间有限,不够用,如何让内存够用呢?答案是:内存扩充。
如何进行内存空间的扩充?
一般来说,有三种解决方案:覆盖,交换以及虚拟存储技术。本篇文章主要是说明前两种方案。
- 覆盖:
核心思想:将用户空间分区,程序员根据逻辑将程序分为多个段,常用段常驻内存,存放在固定区,调入后不再调出,不常用的段放在覆盖区,在需要时调入内存,不需要时调出。
缺点:对用户不透明,增加用户负担。
- 交换:
核心思想:内存空间紧张时,将不常用的进程从内存中换出到外存,将需要的进程从外存换入内存。交换实质上就是进程在内存与外存间动态调度。
二者区别
扩充方案 | 操作对象 | 单位 |
---|---|---|
覆盖 | 同一进程或程序 | 段 |
交换 | 不同进程或作业 | 进程 |
在了解了进行内存管理的原因,进程如何运行以及内存相关知识,下篇文章主要讨论内存管理的一个核心内容,即如何对内存空间进行分配?