当前位置: 首页 > news >正文

非连续内存分配

一、分段机制的核心原理

1. 逻辑地址空间的划分(图片左侧)
  • 程序被拆分为多个功能模块,每个模块对应一个段:
    • 堆(Heap):动态内存分配区(如 malloc 申请的空间)。
    • 运行栈(Stack):函数调用栈(局部变量、返回地址)。
    • 程序数据(Data):全局变量、静态数据区。
    • 程序text段(Text):代码指令区(机器码)。
  • 特点
    • 每个段有独立的功能和访问权限(如text段只读,栈段可读写)。
    • 逻辑地址由 段号 + 段内偏移 组成(如 段2: 偏移100)。
2. 物理内存的分散映射(图片右侧)
  • 物理内存中,每个段被分配到独立的非连续区域
    • 堆段 → 物理堆区
    • 栈段 → 物理栈区
    • 数据段 → 物理数据区
    • text段 → 物理代码区(可能与库代码共享)

二、分段机制的实现流程


二、段访问的两种实现方案

方案1:段寄存器 + 地址寄存器(左侧示意图)
  • 硬件支持
    • 段寄存器(Segment Register):存储当前段号 s(如 s = n₂)。
    • 地址寄存器(Address Register):存储段内偏移 addr
  • 工作流程
    1. CPU 执行指令时,将逻辑地址 (s, addr) 拆解:
      • s 存入段寄存器。
      • addr 存入地址寄存器。
    2. 硬件自动转换
      • 通过段表(Segment Table)查询段号 s 对应的基址(Base Address) 和段长(Limit)
      • 检查偏移 addr 是否合法(addr ≤ Limit)。
      • 物理地址 = 基址 + addr
方案2:单地址实现方案(右侧示意图)
  • 硬件支持
    • 单一地址寄存器:存储拼接后的地址(将 s 和 addr 合并为一个值)。
  • 工作流程
    1. 逻辑地址 (s, addr) 被编码为单值(如高比特位 = s,低比特位 = addr)。
      • 示例:32位地址 = 高16位存 s + 低16位存 addr
    2. 软件/硬件转换
      • 方式1(软件):操作系统截取高比特位作为 s,查段表获取基址,再与低比特位 addr 相加。
      • 方式2(硬件):MMU 自动拆分 s 和 addr,通过段表转换(类似方案1)。

地址转换流程
  1. 逻辑地址生成
    CPU执行程序P时产生逻辑地址(如 段号=2, 偏移=500)。
  2. 段表查询
    MMU以段号为索引查段表 → 获取该段的基址(Base)和段限(Limit)。
    示例:段号2对应 Base=1000, Limit=1500
  3. 越界检查
    • 若偏移 ≤ Limit(如500 ≤ 1500)→ 继续下一步。
    • 若偏移 > Limit(如2000 > 1500)→ 触发内存异常(Memory Exception)。
  4. 物理地址计算
    物理地址 = Base + 偏移(如 1000 + 500 = 1500)。
  5. 内存访问
    CPU通过物理地址1500访问程序P所在段的数据。

操作系统的核心作用

1. 段表管理:内存映射的构建者

  • 初始化段表
    OS在程序加载时为每个段分配物理内存,填写段表项(Base/Limit)。
    示例:将程序P的代码段映射到物理地址1000-2500,段表项设为 Base=1000, Limit=1500
  • 动态更新
    若程序申请扩展堆/栈空间,OS分配新内存并更新段表(如增大Limit)。

2. 内存异常处理:安全的守护者

  • 拦截非法访问
    当MMU检测到偏移越界(如偏移=2000 > Limit=1500),触发异常交由OS处理。
  • 响应策略
    • 终止进程:若为恶意访问(如缓冲区溢出攻击),强制终止程序。
    • 扩展段空间:若为合法需求(如栈增长),分配新内存并更新段表。

3. 物理内存分配:资源的调度者

  • 分配连续块
    OS为每个段分配连续的物理内存区域(如图中程序P的段占1000-2500)。
  • 碎片管理
    通过段表实现非连续分配(不同段可分散存放),减少外部碎片。

4. 权限控制:隔离的保障

  • 段表扩展功能
    实际段表项通常包含权限位(如RWX),OS设置权限防止非法操作。
    示例:代码段设为只读(R),阻止篡改指令

文章转载自:

http://QLkT5Z3H.gcftL.cn
http://4erfyzuq.gcftL.cn
http://CEpJilOJ.gcftL.cn
http://SFwFDO6b.gcftL.cn
http://9t4AfslS.gcftL.cn
http://vRp3lVGx.gcftL.cn
http://dyvWRERk.gcftL.cn
http://SsTCQPpo.gcftL.cn
http://sLs5NO4r.gcftL.cn
http://fRW8zw5O.gcftL.cn
http://1uxoAwND.gcftL.cn
http://JfwslnQ6.gcftL.cn
http://e4PvySWs.gcftL.cn
http://9sBqN14O.gcftL.cn
http://FDr3SWN1.gcftL.cn
http://EMHxr0vn.gcftL.cn
http://tGIpCgRm.gcftL.cn
http://n1bx9vWP.gcftL.cn
http://VsiW4idi.gcftL.cn
http://OzTCY568.gcftL.cn
http://NQydDZhF.gcftL.cn
http://nfCP652Z.gcftL.cn
http://7ETBx7Uz.gcftL.cn
http://4rVG6SSS.gcftL.cn
http://85hXf62p.gcftL.cn
http://DtHdJy9o.gcftL.cn
http://UugJ3IX8.gcftL.cn
http://DXZCXatJ.gcftL.cn
http://KJXg0Ma4.gcftL.cn
http://AnU2bAZ3.gcftL.cn
http://www.dtcms.com/a/388222.html

相关文章:

  • CKA08--PVC
  • 贪心算法应用:分数背包问题详解
  • What is Vibe Coding? A New Way to Build with AI
  • 【Anaconda_pandas+numpy】the pandas numpy version incompatible in anaconda
  • 【3D点云测量视觉软件】基于HALCON+C#开发的3D点云测量视觉软件,全套源码+教学视频+点云示例数据,开箱即用
  • 卡尔曼Kalman滤波|基础学习(一)
  • MoPKL模型学习(与常见红外小目标检测方法)
  • 数据驱动变革时代,自动驾驶研发如何破解数据跨境合规难题?
  • Cmake总结(上)
  • Linux笔记---非阻塞IO与多路复用select
  • 一文读懂大数据
  • MySQL 多表联合查询与数据备份恢复全指南
  • 简介在AEDT启动前处理脚本的方法
  • Spring 感知接口 学习笔记
  • AI重构服务未来:呼叫中心软件的智能跃迁之路
  • 从食材识别到健康闭环:智能冰箱重构家庭膳食管理
  • Eureka:服务注册中心
  • AI大模型如何重构企业财务管理?
  • 深入浅出Disruptor:高性能并发框架的设计与实践
  • Java 在 Excel 中查找并高亮数据:详细教程
  • Excel处理控件Aspose.Cells教程:如何将Excel区域转换为Python列表
  • Java 实现 Excel 与 TXT 文本高效互转
  • 【vue+exceljs+file-saver】纯前端:下载excel和上传解析excel
  • 国产化Excel开发组件Spire.XLS教程:使用 Python 设置 Excel 格式,从基础到专业应用
  • Parasoft以高标准测试助力AEW提升汽车软件质量
  • el-date-picker时间选择器限制时间跨度为3天
  • 35.Socket网络编程(UDP)(下)
  • 【前沿技术Trip Three】正则表达式
  • 多平台数据交换解耦方案选型
  • ​​[硬件电路-239]:从电阻器的高频等效模型,看高频信号的敏感性,电路的性能受到频率的影响较大