3. 共享内存核心概念

在多 OS 共享内存与跨域通信工程中，共享内存并不是“把一块物理内存直接交给两个操作系统随便读写”这么简单。它本质上是一套由共享内存模型、虚拟地址映射、页表、TLB 和内存一致性模型共同支撑的协作机制。理解这些核心概念，才能解释为什么同一块数据在不同 OS、不同 CPU 域、不同缓存层级之间会出现“看不见”“读到旧值”“顺序错乱”等工程问题。

一、共享内存模型：从物理共享到逻辑共享

共享内存模型描述的是多个执行域如何共同访问同一份数据。常见模型可以分为三类：

• 物理连续共享模型：预留一段物理连续内存，两个 OS 各自把这段物理内存映射到自己的虚拟地址空间。优点是地址计算简单、DMA 友好；缺点是内存碎片和预留成本高。
• 分散聚合共享模型：由多个物理页帧组成共享池，通过页表映射成连续虚拟地址。适合大容量共享缓冲区，但需要管理页帧分配与映射关系。
• 消息化共享模型：共享内存只作为数据载体，读写通过环形缓冲区、描述符队列和门铃寄存器完成。它更接近“共享内存 + 通知机制”的工程形态。

无论哪种模型，核心都是：物理内存只有一份，虚拟地址可以有多份，缓存可能有多份，因此必须用页表、TLB 和一致性规则来约束访问行为。

二、物理内存与虚拟内存映射

物理内存是真实存在的 DRAM 页帧，虚拟内存是每个 OS 或每个进程看到的地址空间。共享内存的关键操作，就是把同一段物理页帧映射到两个 OS 的虚拟地址空间中。例如，OS-A 看到虚拟地址 0xA000_0000，OS-B 看到虚拟地址 0xB000_0000，但二者最终都指向物理地址 0x8000_0000 开始的同一段页帧。

这种映射带来两个直接结果：

• 地址不同，数据相同：双方不能假设虚拟地址相等，必须通过共享内存描述符或通信协议约定偏移量。
• 权限可独立配置：OS-A 可映射为可读可写，OS-B 可映射为只读，从而形成单向数据流或保护边界。

三、页表：虚拟地址到物理地址的翻译表

页表是 MMU 进行地址翻译的依据。以常见的多级页表为例，虚拟地址被拆分为若干索引位和页内偏移：

虚拟地址 VA = [ 页全局目录索引 | 页中间目录索引 | 页表索引 | 页内偏移 ]
物理地址 PA = [ 物理页帧号 PFN | 页内偏移 ]

共享内存映射示例：
OS-A: VA 0xA000_0000 -> PA 0x8000_0000
OS-B: VA 0xB000_0000 -> PA 0x8000_0000
页大小: 4KB
共享区长度: 1MB，共 256 个页帧

页表中的每一项除了物理页帧号，还包含有效位、权限位、缓存属性位和访问标志位。共享内存场景下，最需要关注的是缓存属性和权限位：如果一侧按 cacheable 映射，另一侧按 non-cacheable 映射，就可能出现数据不一致；如果一侧只读、一侧可写，则必须配合同步机制避免写冲突。

四、TLB：地址翻译的高速缓存

TLB 是 MMU 内部用于缓存页表项的高速缓存。没有 TLB 时，每次访存都要多次查页表，性能不可接受。TLB 命中时，虚拟地址直接翻译为物理地址；TLB 未命中时，才触发页表遍历。

共享内存工程中，TLB 带来的典型问题是：页表改了，TLB 还没刷新。例如 OS-A 重新映射了共享缓冲区，但 TLB 中仍保留旧映射，访问就会落到错误物理页或触发异常。因此，修改共享内存映射后，通常需要执行 TLB 无效化操作，并配合内存屏障保证顺序。

典型映射更新流程：
1. 修改页表项，设置新 PFN 与权限
2. 执行 DSB/ISB 等屏障指令
3. 无效化对应虚拟地址范围的 TLB 项
4. 必要时刷新指令缓存或数据缓存
5. 通知对端 OS 映射已更新

五、内存一致性模型：谁先看到谁

内存一致性模型规定多核、多 OS 环境下读写操作的可见顺序。常见模型包括：

在跨 OS 共享内存中，最危险的不是“数据没写进去”，而是“写进去了但对端看不到”或“看到数据了但标志位还没更新”。因此，典型做法是：数据区用共享内存，状态标志用原子变量或门铃寄存器，读写之间插入内存屏障。

六、案例：双 OS 共享环形缓冲区

假设 OS-A 作为生产者，OS-B 作为消费者，共享一段 1MB 环形缓冲区。工程上通常这样组织：

• 物理内存预留 1MB，映射到 OS-A 的 0xA000_0000 和 OS-B 的 0xB000_0000。
• 缓冲区头部放置 write_index、read_index 和 seq_lock，使用原子访问。
• OS-A 写入数据后，执行释放屏障，再更新 write_index。
• OS-B 读取 write_index 前执行获取屏障，确认数据可见后再读取数据区。
• 若映射属性为 non-cacheable，则数据直接访问物理内存；若为 cacheable，则必须依赖一致性协议或显式缓存维护。

七、常见误区与复盘

• 误区一：虚拟地址相同就能共享。实际上两个 OS 的虚拟地址空间独立，必须通过物理页帧建立映射。
• 误区二：映射完成就能直接读写。若缺少 TLB 刷新和缓存维护，可能读到旧数据或触发异常。
• 误区三：只加内存屏障就够了。屏障只约束顺序，不解决缓存属性冲突和页表不一致。
• 误区四：共享内存等于通信完成。共享内存只是数据通道，通知、同步、错误恢复仍需独立设计。

复盘时建议按“物理页帧 → 页表映射 → TLB 状态 → 缓存属性 → 一致性规则 → 同步协议”六层排查。任何一层缺失，都会表现为跨域通信中的随机性故障。

总结来看，共享内存工程的核心不是“分配一块内存”，而是建立一套可验证的映射与一致性链路：物理页帧确定数据位置，页表确定翻译关系，TLB 决定翻译速度与刷新时机，缓存属性决定数据可见性，内存一致性模型决定读写顺序。只有这些概念协同正确，多 OS 共享内存才能从“能映射”走向“能稳定通信”。