搜索
第三章存储管理2计算机存储器分类外存UserOS内存计算机系统工作中心3本章要点存储管理任务：分配、映射、保护、共享内存划分与分配技术：静态、动态程序装入技术简单存储管理技术虚拟存储管理技术43.1存储管理的任务存储分配地址映射存储保护（MemoryProtection）存储共享（MemorySharing）5存储分配基本任务：管理内存空间的分配与回收（1）分配基本内存空间（2）增加新的内存空间--动态申请或释放内存空间（3）回收内存空间6用于内存管理的数据结构如：位视图、空闲页框表等。记载哪些内存被分配给那个进程，哪些内存空间是空闲的信息。若系统采用虚拟存储管理技术，还需要登记进程的程序和数据中，哪些部分还在内存，哪些部分尚在外存等信息。这些数据结构自身需要占用一定的内存空间，也需要系统花费额外的时间进行维护。7存储分配步骤首先，根据系统的内存分配算法，在空闲的内存分区中寻找到一块满足进程需要的内存空间，将其分配给进程。然后，更新进程的资源分配清单、内存分配情况清单等数据结构。8内存的回收更新相应的数据结构，将回收的内存空间标识为“空闲可用”。？该内存空间是否可以被回收？被其他进程共享？属于相应的进程？与相邻的空闲空间进行合并9地址映射逻辑地址，或相对地址：一般从0开始编址物理地址，或绝对地址：标识内存中的每个存储单元。进程控制块程序数据栈进程控制信息程序入口点地址值增加进程映像分支指令访问数据当前栈顶图3.1进程执行时的寻址10？逻辑地址高级语言或汇编语言使用符号地址：变量名或标号源程序经过编译、链接以后，其中的符号地址就会变成数字式的逻辑地址。编译/链接程序会自动计算每一个变量或标号所对应的逻辑地址是多少。11静态映射：静态重定位地址映射：程序装入内存以后，由操作系统将逻辑地址逻辑地址+起始地址，得到实际的物理地址。重定位（Relocation）：对目标程序中的指令和数据地址进行修改的过程。静态映射实现简单。地址变换只在程序装入是一次完成，程序运行时不再改变。但不适合多道程序系统：不允许系统执行内存的碎片整理；无法实现虚拟存储。12动态映射：动态重定位定义：操作系统将程序装入内存以后，并不立即把目标程序中的逻辑地址转换为物理地址，而是在处理机执行每一条指令时进行地址转换。复杂、费时为了系统效率，处理机中设置了专门的高速硬件，自动完成地址转换，这样的硬件被称作地址管理部件，如下图。13CPU中的地址管理部件CPU地址管理部件程序指令逻辑地址物理地址地址总线图3.2CPU中的地址管理部件工作示意图14存储保护防止地址越界，防止操作越权。地址越界：进程访问不属于自己的地址空间，或进程在运行时所产生的物理地址超越其自身的地址空间范围。--可能侵犯其他用户进程空间，也可能侵犯操作系统的存储空间操作越权：进程对共享存储区的操作违反了系统规定的权限15存储保护的实现存储保护只能在进程执行过程中动态地进行，不能在运行前一次性静态完成。若采用动态映射动态计算物理地址，可能计算出错误地址；若采用静态映射，进程执行过程中也可能出错，从而导致地址越界或操作越权。为提高系统效率，存储保护的主要工作必须由高速的专用硬件完成：在地址管理部件中。16存储共享为了进程通信和节约内存空间，两个或多个进程共用内存中相同的分区，即他们的物理空间有相交的部分。可以共享进程的代码，也可以共享进程数据。一般地，进程之间共享代码的目的主要是为了节约存储空间，共享数据的目的主要是为了实现进程间相互通信。17存储共享示意图PCB3数据代码PCB2代码数据PCB1数据代码进程1进程2进程3图3.3进程之间共享代码和数据18存储共享实现通信的模式通过存储共享完成通信的过程：一个进程将数据写入共享存储区，另一个进程从共享存储区中读出数据。19共享代码程序可重入：设计程序时，逻辑上将程序代码区和数据区分开。代码区不包含运行程序时需要改变的数据，被处理的数据都放在独立的数据区。这样，进程执行过程中就不会改变代码部分的任何内容。数据区是单独的一个段、堆栈式动态申请的分区，或通过参数传递。20共享代码—实现过程创建新进程时，不需要为该进程的代码部分另外申请内存空间，只需将该进程PCB中的进程代码空间的地址指向已有的代码空间地址。进程的数据区，要么等到操作系统为其分配相应存储空间以后，将数据区地址填写在PCB中；要么由进程运行时向操作系统动态申请。21共享代码—实质可以将进程的代码视为处理数据的一组规则或公式，这一组规则或公式存储在内存中的某个分区。进程的执行：利用这一组规则或公式来完成数据的运算。多个进程共享代码：多个进程需要使用同一组规则或公式处理不同的数据。PCB：告诉进程其所需的规则或公式以及需要处理的数据存储在哪里，进程的进度等信息。22共享代码—高级语言程序编程对于高级程序的设计而言，只要相应的编译程序支持可重入的程序设计，那么，设计程序时就不需要考虑程序的可重入问题，不需要将程序代码和数据严格分开。编译程序在编译时，会自动将欲处理的数据与程序代码分开存储，以保证代码部分是纯的、可重入的。23存储扩充内存：速度快、容量小、价格贵。外存：容量大、速度慢、价格便宜。目的：在多道程序系统中能运行更多、更大的程序，降低系统的造价，提高系统的性价比。存储扩充：采用软件手段，在硬件的配合下，将部分外存空间虚拟为内存空间，并将内存和外存有机地结合起来，得到一个容量相当于外存、速度接近于内存、价格十分便宜的虚拟存储系统。24存储扩充—虚拟存储实现过程虚拟存储系统在逻辑上对外是一个整体，用户感觉到系统提供了一个非常大的“内存”空间。操作系统负责完成内存与外存之间的透明切换：进程运行时将需要的数据或代码从外存装入内存，并将内存中暂时不用的部分交换到外存。3.2内存划分与分配技术26内存划分静态划分：划分预先进行，创建新进程时，在内存中找到一个合适的分区分配给它。动态划分：系统初始化时，可以将整个内存的用户区看作一个分区。创建新进程时，根据进程申请的空间大小，在这个分区中动态地为之划分一部分空间。27静态划分必须事先进行，一旦划分完毕，分区的大小和数目将不再改变。可以划分：大小相同/不同的分区，如固定分区和分页。固定分区：根据系统管理员的经验和一些统计规律，事先将内存空间划分为若干个固定大小的分区，称为分区(Partitioning)。当进程申请存储空间时，系统为之分配一个大小合适的空闲分区。28静态划分（续）分页：特殊的静态分区，需要事先将内存空间划分为若干个大小相同的分区，称为页框，或帧（frame）。当进程申请存储空间时，系统可以为之分配多个空闲页框。29固定分区划分：等长8MB8MB8MB8MB8MB操作系统8MB(a)等长分区图3.4固定分区划分30固定分区：等长—总结所有分区的长度相同。优点：分配简单，只要进程大小不超过分区大小，就可以装到任何一个分区中运行。浪费存储空间。若进程申请的存储空间很小，却需要占用整个分区，分区内存在不可用的浪费空间，称为内零头—碎片（internalfragmentation）。无法运行超过分区大小的程序。无法精确确定分区的大小。31固定分区划分：异长图3.4固定分区划分操作系统8MB2MB8MB4MB12MB20MB(b)异长分区32固定分区：异长将内存空间划分为若干个长度不同的分区，以适合于不同大小的进程需要既提高存储空间的利用率、减少浪费，又使长进程能装入运行。但是，确定每个分区的大小也是一件十分困难的事情。33固定分区特点管理简单，只需要建立一张分区使用表，登记分区的使用情况。（等长分区只需要标明分区状态是已分配/空闲）分区号(可省略)大小起始地址状态12040未分配25060已分配350110未分配4100160已分配5200260已分配34固定分区：分配首先，检索分区使用表，从中找出一个尚未分配的、能满足大小且内零头最小的分区。若分区使用表中的分区按从小到大的顺序排列，则分配时，从表中的第一个表项开始查找，找到的第一个尚未分配并满足大小的分区即是最佳的分区。将分区使用表中该分区的状态修改为已分配。若找不到大小足够的分区，则系统将拒绝运行该进程，或采用其它技术进行处理，如覆盖技术等。35固定分区总结固定分区存在内零头，浪费存储空间：异长分区较等长分区可以一定程度上提高系统的性能，但并不能彻底解决问题。36分页式划分（Paging）为了提高内存资源的利用率，可以考虑将分区长度缩小，减少内零头浪费的空间。但是，这样做必须有一个前提，即进程可以分配若干不连续的存储空间。否则，小分区可能使更多的进程无法装入内存。分页划分：系统预先将内存空间划分为若干较小的、固定大小的页框。37分页式划分示意图150213内存页框号图3.5分页式划分38分页式划分特点页框较小，有效地减少了内零头的浪费每个进程平均浪费0.5页框大小。页框大小固定，简化了存储分配。需要记录内存页框的分配和使用情况：位示图、空闲页框表或空闲页框链表等。39分页：数据结构—位示图位示图：是一个由0、1构成的向量，其中每一位(bit)表示一个页框的使用状态。一般规定，0表示页框空闲，1表示页框已被分配。假定存储空间被划分为n个页框，所有页框依次编号为0,1,2,…,n-1，则记录所有页框的使用状态的位示图形如：000001110111111111110001111…00111140分页：数据结构—空闲页框表空闲页框表：以表格形式记载内存页框的使用情况。显然，为每一个空闲页框设置一个表项是不合理的，这将导致页框表太大。可以为一组连续的空闲页框设置一个表项，其中主要包括：首页框号和页框个数，如表3.2所示。41空闲页框表首页框号页框个数501002203030080450210表3.2空闲页框表42分页：数据结构—总结位示图和空闲页框表都需要占用专门的存储空间空闲页框链表：是将内存中所有的空闲页框通过其内的链接指针连成一个链表，系统只需要记录链表头的位置。为进程分配存储空间时，从链表头开始取所需的页框，同时更新链表头。回收进程释放的存储空间时，将新产生的空闲页框链接到空闲页框链表中。43动态划分与分配算法静态划分未考虑进程的实际需要。无论是固定分区，还是分页，都存在不同程度的内零头。动态划分：根据进程的实际需要，动态地划分内存空间，并分配给进程，彻底解决了内零头问题。系统初始化时，内存用户区就是一个大分区。随着进程的创建和撤消，内存被动态划分成若干较小的分区。44动态划分（续）例如，如图3.6有一个128MB的内存，其中操作系统自身占用8MB，剩下的120MB空间供用户进程使用。依次装入进程P1、P2、P3、P4、P5、P6，剩下一个10MB的空闲分区。一段时间之后，进程P1、P3、P5执行结束，释放出3个空闲分区。内存中共有4个空闲分区，45图3.6动态划分内存空间的过程(a)分配之前OS8MB120MB(b)分配之后OS8MBP210MBP140MBP410MBP320MBP620MBP510MB10MB(c)P1、P3、P5结束OS8MBP210MBP410MBP620MB40MB20MB10MB10MB例：动态划分46动态划分—空闲分区表可见，动态分区的分区长度和数目都是可变的。为了实施存储分配，系统必须维护一张空闲分区表，登记内存中的各个空闲分区。空闲分区首址空闲分区长度80120270404009051020047外零头—独立小分区：紧凑动态划分技术解决了静态划分技术的内零头。可能产生很多较小的分区：外零头(ExternalFragment)。紧凑(Compaction)：把内存中的所有空闲分区拼接成一个较大的空闲分区。即把内存中的所有进程移到内存的某一端；所有空闲分区移到另一端例如，将如图3.7(a)所示的内存空间进行紧凑以后的效果见图3.8所示。48图3.8