基本分段存储管理方式

1、分段存储管理方式的引入

---- 引入分段存储管理方式，主要是为了满足用户和程序员的下述一系列需要：

1）方便编程

通常，用户把自己的作业按照逻辑关系划分为若干个段，每个段都是从0开始编址，并有自己的名字和长度。

因此，希望要访问的逻辑地址是由段名（段号）和段内偏移量（段内地址）决定的。

2）信息共享

在实现对程序和数据的共享时，是以信息的逻辑单位为基础的。比如共享某个例程和函数，分页系统中的“页”只是存放信息的物理单位（块），

并无完整的意义，不便于实现共享，然而段却是信息的逻辑单位。

3）信息保护

信息保护同样是对信息的逻辑单位进行保护，因此，分段管理方式能更有效和方便的实现信息保护功能。

4）动态增长

在实际应用中，往往有些段，特别是数据段，在使用过程中会不断地增长，而事先又无法确切地知道数据段会增长到多大。前面的几种存储

管理方式都难以应付这种动态增长的情况，分段存储管理方式能较好的解决这一问题。

5）动态链接

动态链接是指在作业运行之前，并不把几个目标程序段链接起来。要运行时，先将主程序所对应的目标程序装入内存并启动运行，当运行过程

中又需要调用某段时，才将该段（目标程序）调入内存并进行链接。可见，动态链接也要求以段作为管理的单位。

2、分段和段表

---- 在分段存储管理方式中，作业的地址空间被划分为若干个段，每个段 定义了一组逻辑信息。每个段都有自己的名字，通常可用一个段号来

代替段名，每个段都从0开始编址，并采用一段连续的地址空间。段的长度由相应的逻辑信息组的长度决定，因而各段长度不等。整个作业的

地址空间分成多个段，是二维的。

---- 在动态分区（可变分区）分配方式中，系统为整个进程分配一个连续的内存空间。而在分段式存储管理系统中，则是为每个分段分配一个

连续的分区，而进程中的各个段可以离散地装入内存中不同的分区中。为使程序能正常运行，即能从物理内存中找出每个逻辑段所对应的位置，

应像分页系统那样，在系统中为每个进程建立一张段映射表，简称“段表”。

---- 每个段在表中占有一个表项，其中记录了该段在内存中的起始地址（“基址”）和段长（字节）。段表一般放在内存中。在配置了段表后，

执行中的进程可通过查找段表找到每个段所对应的内存区。可见，段表是用于实现从逻辑段到物理内存区的映射。

3、地址变换机构

---- 为了实现从进程的逻辑地址到物理地址的变换功能，在系统中设置了段表寄存器，用于存放段表始址 和段表长度TL。在进行地址变换时，

系统将逻辑地址中的段号S（0～TL-1）与段表长度TL进行比较。--  若S>=TL，表示段号太大，是访问越界，于是产生越界中断信号；

----  若未越界，则根据段表的始址和该段的段号，计算出该段对应段表项的位置（段表的始址+段号x段表项的长度），从中读出该段在内存的

起始地址，然后再检查段内地址d是否超过该段的段长SL。若超过，即d>SL,同样发出越界中断信号；若未越界，则将该段的基址与段内地址d

相加，即可得到要访问的内存物理地址。

---- 像分页系统一样，当段表放在内存中时，每当要访问一个数据，都需访问两次内存（第一次是得到物理地址，第二次是从地址中取数据），

从而极大地降低了计算机的速率。解决方法是再增设一个联想存储器（TLB），用于保存最近常用的段表项。一般情况下是段比页大，因而

段表项的数目比页表项的数目少，需要的TLB也相对较小，可以显著的减少存取数据的时间。

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

---- 分页和分段系统都采用离散分配方式，且都要通过地址映射机构来实现地址变换。但在概念上两者完全不同，主要表现在3个方面：

-- 1）页是信息的物理单位，分页是为实现离散分配方式，消减外部碎片，提高内存的利用率。分页仅仅是由于系统管理的需要而不是用户的需要。

段则是信息的逻辑单位，它含有一组其意义相对完整的信息。分段的目的是为了更好的满足用户的需要。

-- 2）页的大小固定且由系统决定，由系统把逻辑地址划分为页号和页内地址两部分，是由机器硬件实现的，因而在系统中只能有一种大小的页面；

而段的长度不固定，决定于用户所编写的程序，通常由编译程序在对源程序进行编译时，根据信息的性质来划分。

-- 3）分页的作业地址空间是一维的，即单一的线性地址空间，程序员只需利用一个记忆符，即可表示一个地址；而分段的作业地址空间是二维的，

程序员在标识一个地址时，既需给出段名，又需给出段内地址。

5、信息共享

---- 段的共享：即允许若干个进程共享一个或多个分段。

---- 可重入代码（Reentrant Code）又称为“纯代码”（Pure Code），是一种允许多个进程同时访问的代码。为使各个进程所执行的代码完全相同，

绝对不允许可重入代码在执行中有任何改变。因此，可重入代码是一种不允许任何进程对它进行修改的代码。

---- 但事实上，大多数代码在执行时都可能有些改变，例如，用于控制程序执行次数的变量以及指针、信号量及数组等。为此，在每个进程中，都必

须配以局部数据区，把在执行中可能改变的部分拷贝到该数据区，这样，程序在执行时，只需对该数据区（属于该进程私有）中的内容进行修改，并

不去改变共享的代码，这时的可共享代码即成为可重入码。