Realm Management Extension领域管理扩展(下)

四、颗粒保护检查

本节描述了RME引入的颗粒保护检查。颗粒保护检查使得能够在不同的物理地址空间之间动态分配内存区域。

本节将向您介绍以下功能：

• 颗粒保护表的结构
• 用于颗粒保护检查的故障报告
• 区域在物理地址空间之间的过渡

正如在物理地址一节中所述，RME提供了四个物理地址空间。下图显示了这些物理地址空间：

理论上，每个物理地址空间都是独立的，可以完全独立地进行填充。实际上，大多数设计都有一个用于DRAM区域的单一有效物理地址空间，使用物理地址空间将该空间划分为不同的区域，如下图所示：

对于芯片上的设备和存储器，内存系统通常会强制隔离。此隔离是通过终端外设或互连实现的。这种配置称为completer side filtering，例如：

• 芯片上的ROM和SRAM，它是root-only的，互连对其进行强制。示例用例包括系统引导。
• 通用中断控制器（GIC）。事务路由到GIC，而不考虑PA空间。GIC在内部使用访问安全性来控制可以访问的状态和配置。
• 对于批量内存，RME提供了一种在运行时动态将页面分配给不同PA空间的机制。例