可重定位装入方式

第七讲存储器管理中国科学技术大学计算机系陈香兰[e-mail]2013Fall内容提要存储器的层次结构程序执行的基础知识、程序的装入和链接连续分配存储管理方式分页存储管理方式分段存储管理段页式存储管理存储器的层次结构存储器是计算机系统的重要组成部分容量、价格和速度之间的矛盾内存、外存；易失性和永久性内存，是稀缺资源在现代计算机系统中，存储通常采用层次结构来组织多级存储器结构主存与寄存器高速缓存和磁盘缓存多级存储器结构MagnetictapesOpticaldiskMagneticdiskElectronicdiskMainmemoryCacheregistersStoragesystemsinacomputersystemcanbeorganizedinahierarchySpeed,accesstimeCostperbitVolatility主存vs.寄存器Same:AccessdirectlyforCPURegisternameMemoryaddressDifferent:accessspeedRegister,onecycleoftheCPUclockMemory,Manycycles(2ormore)Disadvantage:CPUneedstostallfrequently&thisisintolerableRemedyCache高级缓冲技术cachingCachingCopyinginformationintofasterstoragesystemWhenaccessing,firstcheckinthecache,ifIn:useitdirectlyNotin:getfromupperstoragesystem,andleaveacopyinthecacheUsingofcachingRegistersprovideahigh-speedcacheformainmemoryInstructioncache&datacacheMainmemorycanbeviewedasafastcacheforsecondarystorage……Magneticdisks磁盘Transfertime传输时间TT≈datasize*TransferrateTransferrate≈(nM/s)-1≈(nByte/us)-1≈1/nus/BytePositioningtime定位时间Seektime寻道TsRotationallatency旋转延迟TRTP≈Ts+TR≈mmsTTVS.TPPleaseStoredataclosely内容提要存储器的层次结构程序执行的基础知识、程序的装入和链接连续分配存储管理方式分页存储管理方式分段存储管理段页式存储管理程序执行的基础知识VonNeumannarchitecture冯·诺依曼体系结构（图）ProgrammustbebroughtintomemoryMainmemoryisusuallytoosmallProcessProgrammustbeplacedwithinaprocessforittobeexecuted作业池UserprogramsWheretoplacetheprogramseveralsteps（图）SourceprogramCompilerorassemblerObjectmoduleLinkageeditorLoadmoduleLoaderIn-memorybinarymemoryImageOtherobjectmodulesSystemlibraryDynamicallyloadedsystemlibraryCompiletimeLoadtimeExecutiontime(runtime)DynamiclinkingMultistepprocessingofauserprogram地址的类型Absoluteaddress绝对地址AddressseenbythememoryunitPhysicaladdress物理地址Relativeaddress相对地址Linearaddress线性地址Logicaladdress逻辑地址GeneratedbytheCPUVirtualaddress虚拟地址Whencantheabsoluteaddresscanbedecided?Addressbinding地址的绑定Addressbinding地址绑定,thebindingofinstructionsanddatatomemory,可以在三种时刻进行CompiletimeIfmemorylocationknownapriori,absolutecodecanbegenerated;mustrecompilecodeifstartinglocationchanges.LoadtimeMustgeneraterelocatablecodeifmemorylocationisnotknownatcompiletime.ExecutiontimeBindingdelayeduntilruntimeiftheprocesscanbemovedduringitsexecutionfromonememorysegmenttoanother.Needhardwaresupportforaddressmaps(e.g.,baseandlimitregisters)逻辑地址空间和物理地址空间Logicaladdressspace逻辑地址空间ThesetofalllogicaladdressesgeneratedbyaprogramPhysicaladdressspace物理地址空间ThesetofallphysicaladdressescorrespondingtotheseslogicaladdressesLogical=physicalcompile-time&load-timeaddress-bindinglogical(virtual)!=physicaladdressesexecution-timeaddress-bindingMMU(hardwaredevice)Memory-ManagementUnit(MMU)Hardwaredevice,逻辑地址物理地址Relocationregister重定位寄存器AddedtoeveryaddressgeneratedbyauserprocessatthetimeitissenttomemoryE.g.MS-DOSon80x86Userprogramdealswithlogicaladdresses,itNEVERseestherealphysicaladdresses.LogicaladdressPhysicaladdress14346Relocationregister14000+MemoryCPUMMU346Dynamicrelocationusingarelocationregister是否需要将进程的所有代码和数据一次性装入？Shallweputtheentireprogram&dataofaprocessinphysicalmemorybeforetheprocesscanbeexecuted?ForbettermemoryspaceutilizationDynamicloadingDynamiclinkingOverlaysSwapping…程序的装入绝对装入方式可重定位装入方式动态运行时装入方式绝对装入方式编译时，产生absolutecode，即使用绝对地址的代码装入时，必须装入到指定的地址无需对程序和数据的地址进行修改适用于单道系统可重定位装入方式大多数情况下，不能预知装入地址，只能在装入时确定编译时，产生可重定位代码，即使用相对地址的代码装入时，必须重定位通常把在装入时对目标程序中指令和数据的修改过程称为重定位。由于地址变换是在装入时一次性完成的，以后不再改变，故称为静态重定位可用于多道系统动态运行时重定位有时候，程序会在内存中移动位置例如对换需要能支持在运行过程中动态改变程序在内存中的位置方法：推迟重定位时机即从相对地址到绝对地址的转换推迟到程序真正执行时才进行因此，装入内存中的代码和数据的地址仍然是相对地址需要重定位寄存器的支持动态运行时装入方式根据程序运行的局部性，让程序及其数据在需要时才被装入Bettermemory-spaceutilization;unusedroutineisneverloaded.UsefulwhenlargeamountsofcodeareneededtohandleinfrequentlyoccurringcasesErrorroutineNospecialsupportfromOSisrequiredimplementedthroughprogramdesignDuetotheusers10kSymboltableCommonroutinesOverlaydriverPass1Pass220k30k70k80kOverlaysforatwo-passassemblerOverlays覆盖技术Keepinmemoryonlythoseareneededatanygiventime.Neededwhenprocessislargerthanamountofmemoryallocatedtoit.Implementedbyuser,nospecialsupportneededfromOS,programmingdesignofoverlaystructureiscomplex程序的链接多个源程序编译多个目标模块；库。需要链接成可装入模块根据链接时间的不同静态链接方式：装入前很早就链接装入时动态链接：边装入，边链接运行时动态链接：运行时才链接静态链接方式静态链接方式：在程序运行之前，先将各目标模块以及它们所需要的库函数，链接成一个完整的装配模块，以后不再拆开。各目标模块内：相对地址存在目标模块之间的调用关系外部调用符号要解决的问题：修改相对地址：多个相对地址空间一个统一的相对地址空间变换外部调用符号装入时动态链接在装入时，根据外部模块调用事件，使用装入程序去寻找相应的外部目标模块，并装入，在装入时，修改相对地址优点：便于修改和更新便于实现对目标模块的共享运行时动态链接程序的每次运行，可能要执行的目标模块集是不同的全部装入？按需装入？运行时动态链接将对某些模块的链接推迟到程序执行时才进行需要操作系统配合优点：程序运行前的装入速度加快；省空间作业：从一个源程序到一个在内存中可执行的程序，一般需要哪几个步骤？有哪几种地址类型？有哪几种程序装入方式和链接方式？