基本分段存储

与”分页“ 最大的不同时：离散分配时所分配地址空间的基本单位不同

一、分段

1.概念

进程的地址空间:按照程序自身的逻辑关系划分为若干个段，每个段都有一个段名（在低级语言中，程序员使用段名来编程)，每段从0开始编址

内存分配规则:以段为单位进行分配，每个段在内存中占据连续空间，但各段之间可以不相邻。

对于一个16KB的进程:
//可以分为3段
​
1.0号段 0~（7K-1）
/*
大小7KB
段名：main
段号：0号段
内容：main函数
*/
 
2.1号段 0~（3K~-1）
/*
大小3KB
段名：x
段号：1号段
内容：某个子函数
*/
    
3.2号段 0~（6K-1）
/*
大小6KB
段名：D
段号：2号段
内容：保存全局变量
*/

编译程序会将段名转换为段号

由于段是按照逻辑功能划分的，对于用户来说编程更加方便，程序的可读性更高

//将分段D中A单元内的值读入寄存器AX
LOAD AX,[D] | <A>;
​
STORE BX,[X]│ <B>;
//将寄存器BX的内容存入X分段的B单元中
​
写程序时段名 [D] [X]会被编译程序翻译为对应段号，<A> <B> 会被编译程序翻译为段内地址

分段系统的逻辑地址结构由段号（段名）和段内地址（段内偏移量）所组成。

段号的位数决定了每个进程最多可以分几个段

段内地址位数决定了每个段的最大长度是多少

0~15：表示段内地址

16~31：表示段号

段号16位，因此每个进程最多有 2^16=64KB 个段

段内地址16位，因此每个段的最大长度是 2^16=64 KB

二、段表

1.概念

问题:程序分多个段，各段离散地装入内存，为了保证程序能正常运行，就必须能从物理内存中找到各个逻辑段的存放位置。为此，需为每个进程建立一张段映射表，简称“段表”。

1．每个段对应一个段表项，其中记录了该段在内存中的起始位置（又称“基址”）和段的长度。

2．各个段表项的长度是相同的。

例如:某系统按字节寻址，采用分段存储管理，逻辑地址结构为（段号16位，段内地址16位）

因此用16位即可表示最大段长。物理内存大小为4GB（可用32位表示整个物理内存地址空间)。因此，可以让每个段表项占16+32 = 48位，即6B。由于段表项长度相同，因此段号可以是隐含的，不占存储空间。

若段表存放的起始地址为M，则K号段对应的段表项存放的地址为M＋K*6

三、地址变换

CPU执行指令时需要将逻辑地址转换为物理地址

1.过程

硬件设施：段表寄存器——段表始址F ，段表长度 M

1.根据逻辑地址得到段号S、段内地址W

2.判断段号是否越界。若S≥M，则产生越界中断，否则继续执行

3.查询段表，找到对应的段表项，段表项的存放地址为F+S*段表项长度

段表项地址内存放了 段号，段长c ，基址b

4.检查段内地址W是否超过段长c。若W≥c，则产生越界中断，否则继续执行

5.计算得到物理地址：E=段基址b+段内地址w;

6.访问目标内存单元

四、分段和分页对比

1.分页

页是信息的物理单位。分页的主要目的是为了实现离散分配，提高内存利用率。分页仅仅是系统管理上的需要，完全是系统行为，对用户是不可见的。

2.分段

段是信息的逻辑单位。分段的主要目的是更好地满足用户需求。一个段通常包含着一组属于一个逻辑模块的信息。分段对用户是可见的，用户编程时需要显式地给出段名。

3.区别

页的大小固定且由系统决定。段的长度却不固定，决定于用户编写的程序。

分页的用户进程地址空间是一维的，程序员只需给出一个记忆符（逻辑地址）即可表示一个地址。

分段的用户进程地址空间是二维的，程序员在标识一个地址时，既要给出段名，也要给出段内地址。

分段比分页更容易实现信息的共享和保护。

不能被修改的代码称为纯代码或可重入代码（不属于临界资源)，这样的代码是可以共享的。可修改的代码是不能共享的

(比如，有一个代码段中有很多变量，各进程并发地同时访问可能造成数据不一致)

假如有一个功能段——1号段

该功能段用来判断缓冲区此时是否可访问。允许所有生产者、消费者进程共享访问

那么只需要让生产者进程和消费者进程的一个段表项都指向1号段，就能实现共享。

但是如果按照分页管理的话，1个页面可能部分是允许其他进程访问，但是另一部分是不允许其他进程访问的。

如果让消费者进程的某个页表项指向这个页面，显然不合理，因为这个页面中的部分是不允许共享的，只有另一部分可以共享

所以用页表很难实现信息保护

五、总结