第十一章分段

序：

基址+界限寄存器问题：

1. 虚拟内存很浪费。
2. 剩余物理内存无法提供连续区域放置完整的地址空间，进程便无法运行。

一、分段：泛化的基址/界限

1. 解决：在MMU中引入不止一个基址和界限寄存器，每个逻辑段一对。一个段是地址空间内的一个连续定长区域。（代码、堆、栈）

分段机制使得操作系统将不同的段放到不同的物理内存区域，从而避免了虚拟地址空间中的未使用部分占用物理内存。

通过给每个段一个基址+界限，可以将每个段独立地放入物理内存。

1. 段错误：在支持分段的机器上发生了非法的内存访问。

二、如何知道引用哪个段（硬件在地址转换时，如何知道地址引用了哪个段）

1. 第一种：显式方式。虚拟地址的开头几位标识不同的段。

例如：14位虚拟地址，前俩位决定使用哪个段寄存器，后12位用来段内偏移。

偏移量简化了段越界的判断。只需要检查偏移量是否<界限。

获取物理地址.c

//get top 2bits

//SEG_MASK = 0x3000(0011 0000 0000 0000)

//SEG_SHIFT = 12

Segment = (VirtualAddress & SEG_MASK) >> SEG_SHIFT;

//get offset

//OFFSET_MASK = 0xFFF(0000 1111 1111 1111)

Offset = VirtualAddress & OFFSET_MASK;

If(Offset>=Bounds[segment]) RaiseException(PROTECTION_FAULT);

Else {

PhysAddr = Base[segment] + Offset;

Register = AccessMemory(PhysAddr);

}

有些系统会把堆和栈作为一个段来处理，只需要一位区分。

1. 第二种：隐式方式：硬件通过地址产生的方式确定。

地址由程序计数器产生（指令获取）-- 代码段。

地址由栈指针或基址指针--栈段。

其他--堆段。

三、栈

1. 区别：栈反向增长。

例如：物理内存中，起始28KB，终于26KB。

虚拟地址， 起始16KB，终于14KB。

1. 需要硬件支持：需要段增长方向（1位表示）。
2. 界限检查：偏移量的绝对值小于段大小。

四、支持共享

1. 目的：节省内存，某些时候共享内存段是有用的。
2. 硬件支持：保护位，确定程序的权限（读写、执行）。

通过将代码段标记为只读，同样的代码可以被多个进程共享，而不担心破坏。

进程不能修改这些内存，私有假象得以维持。

1. 检查：

1. 虚拟地址是否越界。
2. 特定访问是否允许。（如果进程试图写入只读段或执行非法指令），触发异常。

五、细粒度与粗粒度分段

1. 粗粒度：很少的几个段的系统（代码、堆、栈），地址空间被分成较大的、粗粒度的块。
2. 细粒度：地址空间被划分为大量较小的段。

内存中，需要保存段表，使得支持创建非常多的段。

六、小结

1. 分段优点：

1. 避免大量潜在的内存浪费。
2. 代码共享。

代码放在独立的段中，可以被多个程序共享。

1. 缺点；
   1. 空闲内存被割裂成奇怪的大小，很难分配给新段或者扩大已有的段。
   2. 不足以支持更一般化的稀疏地址空间。

如果有一个很大但是稀疏的堆，依然必须完整加载到内存