解决什么需求
- 操作系统作为管理硬件的软件,管理的内容主要包括两方面:计算、存储。对于上层应用来说无非也就这两方面(ps,网络及文件系统可以认为是存储的一种特例)。
怎么解决
- 从计算来讲:这方面的设计相对比较简单,就是各个任务的调度,难的是调度算法如何满足应用层的需求。这方面不在我们讨论范围之内。
- 从存储来讲:对于一个任务来说,它希望的是使用某块存储的时候,不被其他任务影响到。基于这个出发,我们很容易想到一种做法就是每个进程预分配一段空间,这样使用的时候就不会有冲突,不用担心是否有人会把我的数据覆盖掉。带来的坏处就是使用不灵活,程序猿还要自己去预估我会使用多少的内存,而且有时候这个内存可能使用一下,立马就释放了,但是你不得不分配一大块内存给这个进程。而且代码里的地址还要固定住,兼容性有很大的问题。作为一个强大的系统软件,这个肯定是大师们不愿意见到的。现代硬件的段表,页表机制解决了这个问题。一个虚实映射的解决方案,让每个任务都可以拥有自己的空间。这样就解决了上述提到的几个问题。
接下来,还有一个问题需要解决:进程与操作系统的地址空间如何兼容,操作系统是为进程提供服务的,如果不知道该地址存的是是什么数据,那么操作系统就和进程就无法传递消息。因为操作系统本身也是一个软件,它也有一个自己的地址空间,而各个地址空间显然是不能共用的。通常的做法:系统启动的时候给OS预留一段物理地址空间,供OS使用,之后每个进程的虚拟空间里面都预留一段给OS.进程创建页表的时候,首先将OS的页表给复制过来,然后使用剩下的虚拟地址空间。这样每个进程就都共用一个内存。而且即使进入内核态,各个进程的内核空间也会保持一致,因为在每个进程的地址空间中,内核所拥有的地址空间都是一致的。