搜索
第四章存储器管理19.05.20201第四章存储器管理4.1程序的装入和链接4.2连续分配方式4.3基本分页存储管理方式4.4基本分段存储管理方式4.5虚拟存储器的基本概念4.6请求分页存储管理方式4.7页面置换算法4.8请求分段存储管理方式第四章存储器管理19.05.202024.1程序的装入和链接图4-1对用户程序的处理步骤库链接程序装入模块装入程序编译程序产生的目标模块第一步第二步第三步内存…第四章存储器管理19.05.202034.1.1程序的装入1.绝对装入方式(AbsoluteLoadingMode)程序中所使用的绝对地址，既可在编译或汇编时给出，也可由程序员直接赋予。但在由程序员直接给出绝对地址时，不仅要求程序员熟悉内存的使用情况，而且一旦程序或数据被修改后，可能要改变程序中的所有地址。因此，通常是宁可在程序中采用符号地址，然后在编译或汇编时，再将这些符号地址转换为绝对地址。第四章存储器管理19.05.202042.可重定位装入方式(RelocationLoadingMode)图4-2作业装入内存时的情况LOAD1,2500365LOAD1,2500365100001100012500150005000250010000作业地址空间内存空间第四章存储器管理19.05.202053.动态运行时装入方式(DenamleRun-timeLoading)动态运行时的装入程序，在把装入模块装入内存后，并不立即把装入模块中的相对地址转换为绝对地址，而是把这种地址转换推迟到程序真正要执行时才进行。因此，装入内存后的所有地址都仍是相对地址。第四章存储器管理19.05.202064.1.2程序的链接1.静态链接方式(StaticLinking)图4-3程序链接示意图模块ACALLB；Return；0L－1模块BCALLC；Return；0M－1模块CReturn；0N－10模块AJSR“L”Return；L－1模块BJSR“L＋M”Return；LL＋M－1L＋ML＋M＋N－1模块CReturn；(a)目标模块(b)装入模块第四章存储器管理19.05.20207在将这几个目标模块装配成一个装入模块时，须解决以下两个问题：(1)对相对地址进行修改。(2)变换外部调用符号。第四章存储器管理19.05.202082.装入时动态链接(LoadtimeDynamicLinking)装入时动态链接方式有以下优点：(1)便于修改和更新。(2)(2)便于实现对目标模块的共享。第四章存储器管理19.05.202093.运行时动态链接(Run-timeDynamicLinking)近几年流行起来的运行时动态链接方式，是对上述在装入时链接方式的一种改进。这种链接方式是将对某些模块的链接推迟到执行时才执行，亦即，在执行过程中，当发现一个被调用模块尚未装入内存时，立即由OS去找到该模块并将之装入内存，把它链接到调用者模块上。凡在执行过程中未被用到的目标模块，都不会被调入内存和被链接到装入模块上，这样不仅可加快程序的装入过程，而且可节省大量的内存空间。第四章存储器管理19.05.2020104.2连续分配方式4.2.1单一连续分配这是最简单的一种存储管理方式，但只能用于单用户、单任务的操作系统中。采用这种存储管理方式时，可把内存分为系统区和用户区两部分，系统区仅提供给OS使用，通常是放在内存的低址部分；用户区是指除系统区以外的全部内存空间，提供给用户使用。第四章存储器管理19.05.2020114.2.2固定分区分配1.划分分区的方法(1)分区大小相等，即使所有的内存分区大小相等。(2)(2)分区大小不等。第四章存储器管理19.05.2020122.内存分配图4-4固定分区使用表第四章存储器管理19.05.2020134.2.3动态分区分配1.分区分配中的数据结构(1)空闲分区表。(2)空闲分区链。图4-5空闲链结构前向指针N＋20N个字节可用后向指针N＋20第四章存储器管理19.05.2020142.分区分配算法(1)首次适应算法FF。(2)(2)循环首次适应算法，该算法是由首次适应算法演变而成的。(3)(3)最佳适应算法。第四章存储器管理19.05.2020153.分区分配操作1)分配内存从头开始查表检索完否？m.size＞u.size?m.size－u.size≤size?从该分区中划出u.size大小的分区将该分区分配给请求者修改有关数据结构返回返回继续检索下一个表项将该分区从链中移出YNNYYN图4-6内存分配流程第四章存储器管理19.05.2020162)回收内存图4-7内存回收时的情况第四章存储器管理19.05.2020174.2.41.图4-8紧凑的示意操作系统用户程序1用户程序310KB30KB用户程序614KB用户程序926KB操作系统用户程序1用户程序3用户程序6用户程序980KB(a)紧凑前(b)紧凑后第四章存储器管理19.05.2020182.图4-9动态重定位示意图LOAD1,25003650100250050002500相对地址10000重定位寄存器＋LOAD1,250036510000101001250015000作业J处理机一侧存储器一侧主存第四章存储器管理19.05.2020193.动态重定位分区分配算法图4-10动态分区分配算法流程图请求分配u.size分区检索空闲分区链(表)找到大于u.size的可用区否?按动态分区方式进行分配修改有关的数据结构返回分区号及首批空闲分区总和≥u.size?进行紧凑形成连续空闲区修改有关的数据结构否是无法分配返回否第四章存储器管理19.05.2020204.2.5对换(Swapping)1.对换的引入所谓“对换”，是指把内存中暂时不能运行的进程或者暂时不用的程序和数据，调出到外存上，以便腾出足够的内存空间，再把已具备运行条件的进程或进程所需要的程序和数据，调入内存。对换是提高内存利用率的有效措施。第四章存储器管理19.05.2020212.对换空间的管理为了能对对换区中的空闲盘块进行管理，在系统中应配置相应的数据结构，以记录外存的使用情况。其形式与内存在动态分区分配方式中所用数据结构相似，即同样可以用空闲分区表或空闲分区链。在空闲分区表中的每个表目中应包含两项，即对换区的首址及其大小，它们的单位是盘块号和盘块数。第四章存储器管理19.05.2020223.进程的换出与换入(1)进程的换出。每当一进程由于创建子进程而需要更多的内存空间，但又无足够的内存空间等情况发生时，系统应将某进程换出。其过程是：系统首先选择处于阻塞状态且优先级最低的进程作为换出进程，然后启动盘块，将该进程的程序和数据传送到磁盘的对换区上。若传送过程未出现错误，便可回收该进程所占用的内存空间，并对该进程的进程控制块做相应的修改。第四章存储器管理19.05.202023(2)进程的换入。系统应定时地查看所有进程的状态，从中找出“就绪”状态但已换出的进程，将其中换出时间(换出到磁盘上)最久的进程作为换入进程，将之换入，直至已无可换入的进程或无可换出的进程为止。第四章存储器管理19.05.2020244.3基本分页存储管理方式4.3.1页面与页表1.页面1)分页存储管理，是将一个进程的逻辑地址空间分成若干个大小相等的片，称为页面或页，并为各页加以编号，从0开始，如第0页、第1页等。相应地，也把内存空间分成与页面相同大小的若干个存储块，称为(物理)块或页框(frame)，也同样为它们加以编号，如0＃块、1＃块等等。在为进程分配内存时，以块为单位将进程中的若干个页分别装入到多个可以不相邻接的物理块中。由于进程的最后一页经常装不满一块而形成了不可利用的碎片，称之为“页内碎片”。第四章存储器管理19.05.2020252)在分页系统中的页面其大小应适中。页面若太小，一方面虽然可使内存碎片减小，从而减少了内存碎片的总空间，有利于提高内存利用率，但另一方面也会使每个进程占用较多的页面，从而导致进程的页表过长，占用大量内存；此外，还会降低页面换进换出的效率。然而，如果选择的页面较大，虽然可以减少页表的长度，提高页面换进换出的速度，但却又会使页内碎片增大。因此，页面的大小应选择得适中，且页面大小应是2的幂，通常为512B~8KB。第四章存储器管理19.05.2020262.地址结构分页地址中的地址结构如下：页号P位移量W3112110对某特定机器，其地址结构是一定的。若给定一个逻辑地址空间中的地址为A，页面的大小为L，则页号P和页内地址d可按下式求得：MODLAdLAINTP][第四章存储器管理19.05.2020273.页表图4-11页表的作用用户程序0页1页2页3页4页5页…n页页表页号块号02132638495……内存012345678910第四章存储器管理19.05.2020284.3.2地址变换机构1.基本的地址变换机构图4-12分页系统的地址变换机构页表寄存器页表始址页表长度＞页号(3)页内地址＋逻辑地址L越界中断1块号b页表页号012物理地址3第四章存储器管理19.05.2020292.图4-13具有快表的地址变换机构页表寄存器页表始址页表长度＞页号页内地址＋逻辑地址L越界中断块号b页表页号页号输入寄存器块号bb快表d物理地址第四章存储器管理19.05.2020304.3.3两级和多级页表现代的大多数计算机系统，都支持非常大的逻辑地址空间(232~264)。在这样的环境下，页表就变得非常大，要占用相当大的内存空间。例如，对于一个具有32位逻辑地址空间的分页系统，规定页面大小为4KB即212B，则在每个进程页表中的页表项可达1兆个之多。又因为每个页表项占用一个字节，故每个进程仅仅其页表就要占用4KB的内存空间，而且还要求是连续的。可以采用这样两个方法来解决这一问题：①采用离散分配方式来解决难以找到一块连续的大内存空间的问题：②只将当前需要的部分页表项调入内存，其余的页表项仍驻留在磁盘上，需要时再调入。第四章存储器管理19.05.2020311.两级页表(Two-LevelPageTable)逻辑地址结构可描述如下：第四章存储器管理19.05.202032图4-14两级页表结构101110780121742n第0页页表146…012…1023第1页页表11411501…1023外部页表01234567……1141151468第n页页表1468012…1023内存空间第四章存储器管理19.05.202033图4-15具有两级页表的地址变换机构外部页号P1P2外部页内地址页内地址d逻辑地址＋外部页表寄存器外部页表＋db页表页表物理地址……第四章存储器管理19.05.2020342.多级页表对于32位的机器，采用两级页表结构是合适的；但对于64位的机器，如果页面大小仍采用4KB即212B，那么还剩下52位，假定仍按物理块的大小(212位)来划分页表，则将余下的42位用于外层页号。此时在外层页表中可能有4096G个页表项，要占用16384GB的连续内存空间。必须采用多级页表，将外层页表再进行分页，也是将各分页离散地装入到不相邻接的物理块中，再利用第2级的外层页表来映射它们之间的关系。对于64位的计算机，如果要求它能支持2６４(=1844744TB)规模的物理存储空间，则即使是采用三级页表结构也是难以办到的；而在当前的实际应用中也无此必要。第四章存储器管理19.05.2020354.4基本分段存储管理方式4.4.1分段存储管理方式的引入引入分段存储管理方式，主要是为了满足用户和程序员1)2)信息共享3)信息保护4)5)动态链接第四章存储器管理19.05.2020364.4.2分段系统的基本原理1.分段分段地址中的地址具有如下结构：段号段内地址31161502.第四章存储器管理19.05.202037图4-16利用段表实现地址映射作业空间(MAIN)＝0030K(X)＝1020K(D)＝2015K(S)＝3010K30K20K15K10K40K80K120K150K段长基址段号(MAIN)＝030K(X)＝12