序:
基址+界限寄存器问题:
- 虚拟内存很浪费。
- 剩余物理内存无法提供连续区域放置完整的地址空间,进程便无法运行。
一、分段:泛化的基址/界限
- 解决:在MMU中引入不止一个基址和界限寄存器,每个逻辑段一对。一个段是地址空间内的一个连续定长区域。(代码、堆、栈)
分段机制使得操作系统将不同的段放到不同的物理内存区域,从而避免了虚拟地址空间中的未使用部分占用物理内存。
通过给每个段一个基址+界限,可以将每个段独立地放入物理内存。
- 段错误:在支持分段的机器上发生了非法的内存访问。
二、如何知道引用哪个段(硬件在地址转换时,如何知道地址引用了哪个段)
- 第一种:显式方式。虚拟地址的开头几位标识不同的段。
例如: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);
}
有些系统会把堆和栈作为一个段来处理,只需要一位区分。
- 第二种:隐式方式:硬件通过地址产生的方式确定。
地址由程序计数器产生(指令获取)-- 代码段。
地址由栈指针或基址指针--栈段。
其他--堆段。
三、栈
- 区别:栈反向增长。
例如:物理内存中,起始28KB,终于26KB。
虚拟地址, 起始16KB,终于14KB。
- 需要硬件支持:需要段增长方向(1位表示)。
- 界限检查:偏移量的绝对值小于段大小。
四、支持共享
- 目的:节省内存,某些时候共享内存段是有用的。
- 硬件支持:保护位,确定程序的权限(读写、执行)。
通过将代码段标记为只读,同样的代码可以被多个进程共享,而不担心破坏。
进程不能修改这些内存,私有假象得以维持。
- 检查:
- 虚拟地址是否越界。
- 特定访问是否允许。(如果进程试图写入只读段或执行非法指令),触发异常。
五、细粒度与粗粒度分段
- 粗粒度:很少的几个段的系统(代码、堆、栈),地址空间被分成较大的、粗粒度的块。
- 细粒度:地址空间被划分为大量较小的段。
内存中,需要保存段表,使得支持创建非常多的段。
六、小结
- 分段优点:
- 避免大量潜在的内存浪费。
- 代码共享。
代码放在独立的段中,可以被多个程序共享。
- 缺点;
- 空闲内存被割裂成奇怪的大小,很难分配给新段或者扩大已有的段。
- 不足以支持更一般化的稀疏地址空间。
如果有一个很大但是稀疏的堆,依然必须完整加载到内存