一、引子
一开始并没有虚拟内存,是直接操作物理内存的,比如单片机就是直接操作内存的物理地址,在这种情况下会产生一些问题,比如正在运行一个程序,如果想运行另一个程序就需要把这个程序擦除,再加载另一个程序。这样利用率很低。
直接使用物理地址的缺点:
1. 内存空间利用率的问题
各个进程对内存的使用会导致内存碎片化,当要用malloc分配一块很大的内存空间时,可能会出现虽然有足够多的空闲物理内存,却没有足够大的连续空闲内存这种情况,东一块西一块的内存碎片就被浪费掉了
2. 读写内存的安全性问题
物理内存本身是不限制访问的,任何地址都可以读写,而现代操作系统需要实现不同的页面具有不同的访问权限,例如只读的数据等等
3. 进程间的安全问题
各个进程之间没有独立的地址空间,一个进程由于执行错误指令或是恶意代码都可以直接修改其它进程的数据,甚至修改内核地址空间的数据,这是操作系统所不愿看到的
4. 内存读写的效率问题
当多个进程同时运行,需要分配给进程的内存总和大于实际可用的物理内存时,需要将其他程序暂时拷贝到硬盘当中,然后将新的程序装入内存运行。由于大量的数据频繁装入装出,内存的使用效率会非常低
二、虚拟内存
主要问题在于之前都是使用了绝对物理地址,我们可以用虚拟内存地址。
- 我们程序所使用的内存地址叫做虚拟内存地址
- 实际存在硬件里面的空间地址叫物理内存地址
每个进程创建加载的时候,会被分配一个大小为4G的连续的虚拟地址空间,虚拟的意思就是,其实这个地址空间时不存在的,仅仅是每个进程“认为”自己拥有4G的内存,而实际上,它用了多少空间,操作系统就在磁盘上划出多少空间给它,等到进程真正运行的时候,需要某些数据并且数据不在物理内存中,才会触发缺页异常,进行数据拷贝。
1、内存分段
将虚拟内存分段,比如代码段、数据段、栈段、堆段等。
A、分段机制下,物理内存与虚拟内存如何映射的
分段机制里,由段选择因子和段内偏移量
段选择因子:
保存在段寄存器中,里面包含有段号、标志位等。段号指向段表,段表保存段的基地址、段的界限和特权等级等
段内偏移
一般物理地址等于段基地址+段内偏移
B、存在问题:
内存碎片
内存分段是按需分配,不会产生内部碎片,但是会产生外部碎片,可能会产生多个离散的空闲内存分区不太容易复用。解决外部碎片的方法是内存交换,把虚拟内存的各段先一个个交换到外存,存到硬盘,再一个个交换过去。
内存交换效率低
如果内存交换的时候,交换的是一个占内存空间很大的程序,这样整个机器都会显得卡顿。
2、内存分页
分页是把整个虚拟和物理内存空间切成一段段固定尺寸的大小。这样一个连续并且尺寸固定的内存空间,我们叫页。在 Linux 下,每一页的大小为 4KB。
内存分页产生页表和虚拟页号
一般来说,物理地址是知道虚拟页号和页内偏移,然后根据虚拟页号(虚拟页号是页表的索引项),到相应的页表(页表是存储在内存中的)中查找到物理页号,物理页号+页内偏移等于物理地址 ——(其中主要是MMU内存管理单元发挥作用)
A、存在问题:
内存碎片
分页机制不是按需分配,是分配适当的页表,页表每个是固定大小4K,所以会产生内部碎片,因为大概率会有一个页表不是完全填充的。这就是内部碎片问题。
分页机制解决内存交换效率低的问题:
分页机制,在内存交换的时候只交换几个页,在此过程中,会有换入、换出操作,就是将内存页面从内存换入或换出到磁盘。相比于分段机制将整个段进行内存与磁盘间的交换,提高了内存交换的效率。
存放页表会占用内存(空间上的缺陷)
因为操作系统是可以同时运行非常多的进程的,那这不就意味着页表会非常的庞大。
在 32 位的环境下,虚拟地址空间共有 4GB,假设一个页的大小是 4KB(2^12),那么就需要大约 100 万 (2^20) 个页,每个「页表项」需要 4 个字节大小来存储,那么整个 4GB 空间的映射就需要有 4MB 的内存来存储页表。但是要知道每个进程都是有自己的虚拟地址空间的,也就说都有自己的页表。多进程就需要耗费很多内存。
如何解决分页机制的占用内存的问题:
采用多级页表。由于局部性原理,对于大多数程序,其用到的空间远小于4G,所以其对应的页表项有的是空的,所以如果某个一级页表的页表项没有被用到,也就不需要创建这个页表项对应的二级页表了,即可以在需要时才创建二级页表,这样占用的内存空间就是大大减少。
3、虚拟内存的作用
第一,虚拟内存可以使得进程对运行内存超过物理内存大小,因为程序运行符合局部性原理,CPU 访问内存会有很明显的重复访问的倾向性,对于那些没有被经常使用到的内存,我们可以把它换出到物理内存之外,比如硬盘上的 swap 区域。
第二,由于每个进程都有自己的页表,所以每个进程的虚拟内存空间就是相互独立的。进程也没有办法访问其他进程的页表,所以这些页表是私有的,这就解决了多进程之间地址冲突的问题。
第三,页表里的页表项中除了物理地址之外,还有一些标记属性的比特,比如控制一个页的读写权限,标记该页是否存在等。在内存访问方面,操作系统提供了更好的安全性。
第四,解决物理内存的离散式存储问题,虚拟内存中连续存储解决了物理内存碎片化资源利用率过低的问题。