段式虚拟存储器

页式按固定大小切，段式按程序的逻辑结构切：主程序段、子程序段、数据段、栈段各是一段，长度由内容决定，因而可变。

这一条”长度可变”是段式与页式一切差别的源头：地址不能靠拼接得到（必须做加法）、必须存段长（必须做越界检查）、会产生外部碎片、但也因此便于共享和保护。

机制

段 号 选 哪 一 段 段 内 偏 移 到 段 长

段内偏移的取值范围由该段的实际长度决定，不是由位数决定——这就是”地址是二维的”的含义：段号和段内偏移是两个独立的量，不能像页式那样合成一个连续的一维地址。

程序员在段式系统中能看见段号（例如汇编中的段寄存器），而页式的分页对程序员完全不可见。这一条是两者在”透明性”上的实质差别。

段表每项对应一个段：

转换过程： $物理地址段基址段内偏移加法，不是拼接$ 并且必须先做越界检查： $段内偏移段长越界异常$ 页式不需要越界检查，因为页内偏移的位数恰好等于页大小的对数，它天然不可能超出页的范围。“段式要查段长、页式不用”是两者最常考的一处差别。

优点全部来自”段是一个逻辑单位”：

代价全部来自”长度可变”：

段式的物理地址靠加法得到，页式靠拼接。 这一条决定了段式的段基址可以是任意地址，而页式的页框起始地址一定是页大小的整数倍。

段的共享是”共享一个段表项指向的段”，页的共享是”多个页表项指向同一页框”。 两者都能共享，但段的共享单位有逻辑含义，页的共享单位没有。

段号的位数决定最多能有多少段，段内偏移的位数决定单段最大长度——但实际段长由段表中的段长字段决定，通常小于位数所允许的上限。

分段是程序员可见的，分页对程序员透明。 这一条在 OS 3.1.4里被反复考。

408 的段式虚拟存储器计算题极少。 它主要以概念对比的形式出现——与页式比、与段页式比。