os 分段存储管理方式

存储管理方式随着 OS 的发展也在不断地发展。当 OS 由单道向多道发展时,存储管理方式使由单一连续分配发展为固定分区分配。为了能更好地适应不同大小的用户程序要求,存储管理方式又从固定分区分配,发展到动态分区分配。为了能更好地提高内存的利用率,进而又从连续分配方式发展到离散分配方式﹣分页存储管理方式。如果说,推动上述发展的主要动力都是直接或间接地出于提高内存利用率的目的,那么,引入分段存储管理方式的目的,则主要是为了满足用户(程序员)在编程和使用上多方面的要求,其中有些要求是其它几种存储管理方式所难以满足的。因此,这种存储管理方式已成为当今所有存储管理方式的基础,许多高级语言和 C 语言的编译程序也都支持分段存储管理方式。

分段存储管理方式的引入

为什么要引入分段存储管理方式,可从下面两个方面说明:一方面是由于通常的程序都可分为若干个段,如主程序段、子程序段 A 、子程序段 B 、…、数据段以及栈段等,每个段大多是一个相对独立的逻辑单位;另一方面,实现和满足信息共享、信息保护、动态链接以及信息的动态增长等需要,也都是以段为基本单位的。更具体地说,分段存储管理方式更符合用户和程序员如下多方面的需要。

1.方便编程

通常,用户把自己的作业按照逻辑关系划分为若干个段,每个段都从0开始编址,并有自己的名字和长度。因此,程序员们都迫切地需要访问的逻辑地址是由段名(段号)和段内偏移量(段内地址)决定的,这不仅可以方便程序员编程,也可使程序非常直观,更具可读性。例如,下述的两条指令便使用段名和段内地址:

LOAD 1,[A] | < D >;
STORE 1,[ B ] I< C >;

其中,前一条指令的含义是,将分段 A 中 D 单元内的值读入寄存器1;后一条指令的含义是,将寄存器1的内容存入 B 分段的 C 单元中。

2.信息共享

在实现对程序和数据的共享时,是以信息的逻辑单位为基础的。比如,为了共享某个过程、函数或文件。分页系统中的“页”只是存放信息的物理单位(块),并无完整的逻辑意义,这样,一个可被共享的过程往往可能需要占用数十个页面,这为实现共享增加了困难。如前所述,段可以是信息的逻辑单位,因此,我们可以为该被共享过程建立一个独立的段,这就极大地简化了共享的实现。

3.信息保护

信息保护同样是以信息的逻辑单位为基础的,而且经常是以一个过程、函数或文件为基本单位进行保护的。例如,我们希望函数 A 仅允许进程执行,而不允许读,更不允许写,那么,我们只须在包含了函数 A 的这个段上标上只执行标志即可。但是在分页系统中,函数 A 可能要占用若干个页面,而且其中的第一个和最后一个页面还会装有其它程序段的数据,它们可能有着不同的保护属性,如可以允许进程读写,这样就很难对这些页面实施统一的保护,因此,分段管理方式能更有效和方便地实现对信息的保护功能。

4.动态増长

在实际应用中,往往存在着一些段,尤其是数据段,在它们的使用过程中,由于数据量的不断增加,而使数据段动态增长,相应地它所需要的存储空间也会动态增加。然而,对于数据段究竟会增长到多大,事先又很难确切地知道。对此,很难采取预先多分配的方法进行解决。前述的其它几种存储管理方式都难以应付这种动态增长的情况,而分段存储管理方式却能较好地解决这一问题。

5.动态链接

我们已对运行时动态链接做了介绍。为了提高内存的利用率,系统只将真正要运行的目标程序装入内存,也就是说,动态链接在作业运行之前,并不是把所有的目标程序段都链接起来。当程序要运行时,首先将主程序和它立即需要用到的目标程序装入内存,即启动运行。而在程序运行过程中,当需要调用某个目标程序时,才将该段(目标程序)调入内存并进行链接。可见,动态链接要求的是以目标程序(即段)作为链接的基本单位。因此,分段存储管理方式非常适合于动态链接。


分段系统的基本原理

1.分段

在分段存储管理方式中,作业的地址空间被划分为若干个段,每个段定义了一组逻辑信息。例如,有主程序段 MAIN 、子程序段 X 、数据段 D 及栈段 S 等,如图所示。每个段都有自己的名字。为了实现简单起见,通常可用一个段号来代替段名,每个段都从0开始编址,并采用一段连续的地址空间。段的长度由相应的逻辑信息组的长度决定,因此各段的长度并不相等。整个作业的地址空间由于被分成多个段,所以呈现出二维特性,亦即,每个段既包含了一部分地址空间,又标识了逻辑关系。其逻辑地址由段号(段名)和段内地址所组成。
分段地址中的地址具有如下结构
os 分段存储管理方式_第1张图片
在该地址结构中,允许一个作业最长有64K个段,每个段的最大长度为64KB。分段方式已得到许多编译程序的支持,编译程序能自动地根据源程序的情况产生若干个段。例如, Pascal 编译程序可以为全局变量、用于存储相应参数及返回地址的过程调用栈、每个过程或函数的代码部分、每个过程或函数的局部变量等,分别建立各自的段。类似地, Fortran 编译程序可以为公共块( common block )建立单独的段,也可以为数组分配个单独的段。装入程序将装入所有这些段,并为每个段赋予一个段号。

2.段表

在前面所介绍的动态分区分配方式中,系统为整个进程分配一个连续的内存空间。而在分段式存储管理系统中,则是为每个分段分配一个连续的分区。进程中的各个段,可以离散地装入内存中不同的分区中。为保证程序能正常运行,就必须能从物理内存中找出每个逻辑段所对应的位置。为此,在系统中,类似于分页系统,需为每个进程建一张段映射表,简称“段表”。每个段在表中占有一个表项,其中记录了该段在内存中的起始地址(又称为“基址”)和段的长度,如图所示。段表可以存放在一组寄存器中,以利于提高地址转换速度。但更常见的方法是将段表放在内存中。在配置了段表后,执行中的进程可通过查找段表,找到每个段所对应的内存区。可见,段表是用于实现从逻辑段到物理内存区的映射的
os 分段存储管理方式_第2张图片

3.地址变换机构

为了实现进程从逻辑地址到物理地址的变换功能,在系统中设置了段表寄存器,用于存放段表始址和段表长度 TL 。在进行地址变换时,系统将逻辑地址中的段号与段表长度 TL 进行比较。若 S > TL ,表示段号太大,是访问越界,于是产生越界中断信号。若未越界,则根据段表的始址和该段的段号,计算出该段对应段表项的位置,从中读出该段在内存的起始地址。然后,再检查段内地址 d 是否超过该段的段长 SL 。若超过,即 d>SL ,同样发出越界中断信号。若未越界,则将该段的基址 d 与段内地址相加,即可得到要访问的内存物理地址。下图示出了分段系统的地址变换过程。
os 分段存储管理方式_第3张图片
像分页系统一样,当段表放在内存中时,每要访问一个数据,都须访问两次内存,从而成倍地降低了计算机的速率。解决的方法和分页系统类似,也增设一个联想存储器,用于保存最近常用的段表项。一般情况下,由于是段比页大,因而段表项的数目比页表项的数目少,其所需的联想存储器也相对较小,所以可以显著地减少存取数据的时间,与没有地址变换的常规存储器相比而言,其存取速度约慢10%~15%。

4.分页和分段的主要区别

由上所述不难看出,分页和分段系统有许多相似之处。比如,两者都采用离散分配方式,且都是通过地址映射机构实现地址变换。但在概念上两者完全不同,主要表现在下述三个方面:

  • (1)页是信息的物理单位。采用分页存储管理方式是为实现离散分配方式,以消减内存的外零头,提高内存的利用率。或者说,分页仅仅只是系统管理上的需要,完全是系统的行为,对用户是不可见的。分段存储管理方式中的段则是信息的逻辑单位,它通常包括的是一组意义相对完整的信息。分段的目的主要在于能更好地满足用户的需要
  • (2)页的大小固定且由系统决定。在采用分页存储管理方式的系统中,在硬件结构上,就把用户程序的逻辑地址划分为页号和页内地址两部分,也就是说是直接由硬件实现的,因而在每个系统中只能有一种大小的页面。而段的长度却不固定,决定于用户所编写的程序,通常由编译程序在对源程序进行编译时,根据信息的性质来划分
  • (3)分页的用户程序地址空间是一维的分页完全是系统的行为,故在分页系统中,用户程序的地址是属于单一的线性地址空间,程序员只需利用一个记忆符即可表示一个地址。而分段是用户的行为,故在分段系统中,用户程序的地址空间是二维的,程序员在标识一个地址时,既需给出段名,又需给出段内地址

信息共享

分段系统的一个突出优点,是易于实现段的共享,即允许若干个进程共享一个或多个分段,且对段的保护也十分简单易行

1.分页系统中对程序和数据的共享

在分页系统中,虽然也能实现对程序和数据的共享,但远不如分段系统来得方便。我们通过一个例子来说明这个问题。例如,有一个多用户系统,可同时接纳40个用户,他们都执行一个文本编辑程序( Text Editor )。如果文本编辑程序有160KB的代码和另外40KB的数据区,则总共需有8MB的内存空间来支持40个用户。如果160KB的代码是可重入的( Reentrant ),则无论是在分页系统还是在分段系统中,该代码都能被共享,在内存中只需保留一份文本编辑程序的副本,此时所需的内存空间仅为1760 KB (40x40+160),而不是8000KB。假定每个页面的大小为4KB,那么,160KB的代码将占用40个页面,数据区占10个页面。为实现代码的共享,应在每个进程的页表中都建立40个页表项,它们的物理块号都是21#-60#。在每个进程的页表中,还须为自己的数据区建立页表项,它们的物理块号分别是61#-70#、71#-80#、81#-90#,…,等等。下图是分页系统中共享 editor 的示意图。
os 分段存储管理方式_第4张图片

2.分段系统中程序和数据的共享

在分段系统中,由于是以段为基本单位的,不管该段有多大,我们都只需为该段设置一个段表项,因此使实现共享变得非常容易。我们仍以共享 editor 为例,此时只需在(每个)进程1和进程2的段表中,为文本编辑程序设置一个段表项,让段表项中的基址(80)指向 editor 程序在内存的起始地址。下图是分段系统中共享 editor 的示意图。
os 分段存储管理方式_第5张图片
可重入代码( Reentrant Code )又称为“纯代码”( Pure Code ),是一种允许多个进程同时访问的代码。为使各个进程所执行的代码完全相同,绝对不允许可重入代码在执行中有任何改变。因此,可重入代码是一种不允许任何进程对它进行修改的代码。但事实上,大多数代码在执行时都可能有些改变,例如,用于控制程序执行次数的变量以及指针、信号量及数组等。为此,在每个进程中,都必须配以局部数据区,把在执行中可能改变的部分拷贝到该数据区,这样,程序在执行时,只需对该数据区(属于该进程私有)中的内容进行修改,并不去改变共享的代码,这时的可共享代码即成为可重入代码


段页式存储管理方式

分页系统以页面作为内存分配的基本单位,能有效地提高内存利用率,而分段系统以段作为内存分配的基本单位,它能够更好地满足用户多方面的需要。如果能对两种存储管理方式“各取所长”,则可形成一种新的存储器管理方式一一段页式存储管理方式。这种新的系统既具有分段系统的便于实现、分段可共享、易于保护、可动态链接等一系列优点,又能像分页系统那样,很好地解决内存的外部碎片问题

1.基本原理

段页式系统的基本原理是分段和分页原理的结合,即先将用户程序分成若干个段,再把每个段分成若干个页,并为每一个段赋予一个段名。图( a )示出了一个作业地址空间的结构。该作业有三个段:主程序段、子程序段和数据段;页面大小为4KB。在段页式系统中,其地址结构由段号、段内页号及页内地址三部分所组成,如图( b )所示。
os 分段存储管理方式_第6张图片
在段页式系统中,为了实现从逻辑地址到物理地址的变换,系统中需要同时配置段表和页表。段表的内容与分段系统略有不同,它不再是内存始址和段长,而是页表始址和页表长度。下图示出了利用段表和页表进行从用户地址空间到物理(内存)空间的映射。
os 分段存储管理方式_第7张图片

2.地址变换过程

在段页式系统中,为了便于实现地址变换,须配置一个段表寄存器,其中存放段表始址段长 TL 。进行地址变换时,首先利用段号 S ,将它与段长 TL 进行比较。若 S < TL ,表示未越界,于是利用段表始址和段号来求出该段所对应的段表项在段表中的位置,从中得到该段的页表始址,并利用逻辑地址中的段内页号 P 来获得对应页的页表项位置,从中读出该页所在的物理块号 b ,再利用块号 b 和页内地址来构成物理地址。下图示出了段页式系统中的地址变换机构。
os 分段存储管理方式_第8张图片在段页式系统中,为了获得一条指令或数据,须三次访问内存

  • 第一次访问是访问内存中的段表,从中取得页表始址
  • 第二次访问是访问内存中的页表,从中取出该页所在的物理块号,并将该块号与页内地址一起形成指令或数据的物理地址
  • 第三次访问才是真正从第二次访问所得的地址中取出指令或数据

显然,这使访问内存的次数增加了近两倍。为了提高执行速度,在地址变换机构中增设一个高速缓冲寄存器。每次访问它时,都须同时利用段号和页号去检索高速缓存,若找到匹配的表项,便可从中得到相应页的物理块号,用来与页内地址一起形成物理地址;若未找到匹配表项,则仍需第三次访问内存。

你可能感兴趣的:(#,操作系统,os,分段存储管理方式)