AddressSpace完成。如下是 StratoVirt 地址空间管理模块的组成，以及其在 StratoVirt 中的位置。
stratovirt
├── acpi
├── address_space
│ ├── Cargo.toml
│ └── src
│ ├── address.rs
│ ├── address_space.rs
│ ├── host_mmap.rs
│ ├── lib.rs
│ ├── listener.rs
│ ├── region.rs
│ └── state.rs
├── boot_loader
├── Cargo.lock
├── Cargo.toml
├── cpu
├── devices
├── docs
├── hypervisor
├── license
├── machine
├── machine_manager
├── Makefile
├── migration
├── migration_derive
├── ozone
├── pci
├── README.ch.md
├── README.md
├── src
├── sysbus
├── tests
├── util
├── vfio
└── virtio
StratoVirt 地址空间模块整体设计
上图中的主要结构含义如下：
-
AddressSpace地址空间：为地址空间模块的管理结构， 负责整个虚拟机的地址空间管理
-
Region
代表一段地址区间，根据这段地址区间的使用者，可以分为以下类型：
-
RAM：虚拟机内存使用该段地址区间。 -
IO：虚拟机设备使用该段地址区间。 -
Container ：作为容器使用，可以包含多个子 Region。如描述 PCI 总线域的地址管理就可以使用类型为Container的Region，它可以包含 PCI 总线域下的 PCI 设备使用的地址区间。该类型的Region可以帮助管理并区分存储器域、PCI 总线域的地址管理。
FlatView，则是根据这些
Region的地址范围和优先级属性形成的线性视图。在通过地址空间管理结构
AddressSpace访问设备或者内存时， 使用平坦视图
FlatView可以更加方便快捷地找到对应的
Region。
Region都会对应一个优先级
priority属性，如果低优先级的
Region占用的地址区间和高优先级的
Region占用的地址区间重叠，则低优先级的
Region 的重叠部分，将会被覆盖，即在平坦视图
FlatView中不可见。
FlatView的更新。一些设备或者模块需要获取最新的平坦视图，并相应的执行一些操作。例如 Vhost 设备，需要将平坦视图中的全部内存信息同步到内核 Vhost 模块，以便通过共享内存方式完成消息通知的流程。另外，我们也需要将已经分配并映射好的虚拟机物理地址和宿主机虚拟地址信息注册到 KVM 模块，这样可以借助硬件辅助虚拟化加速内存访问的性能。基于以上需求，我们引入上图中的地址空间监听函数链表，该链表在平坦视图
FlatView更新后被依次调用，可以方便的完成信息同步。该链表允许其他模块添加一个自定义的监听回调函数。
地址空间优化
拓扑结构更新优化
Region的接口，并设定
AddressSpace结构负责管理整个数据结构并生成更新后的
FlatView结构。
Region的方式为， 调用
Region结构的
add_subregion接口，注意父
Region必须是
Container类型。这样会带来一个问题，如果向树状结构中的某个
Region中添加或者删除子
Region，并引起树状结构的拓扑发生变化，负责生成并更新平坦视图的
FlatView的
AddressSpace结构体如何得知已经发生变化呢？
Region结构中添加成员并指向自己所属的
AddressSpace，如上图所示。熟悉 Rust 语言的同学应该知道，这种实现方式会引入资源相互引用的问题，导致
AddressSpace和
Region两者因相互引用而在生命周期结束时无法释放内存资源的问题。因此，在地址空间模块的树状结构中，所有
Region对自己所属的
AddressSpace的指针都使用
std::sync::Weak类指针，
Weak指针不会增加所指向对象的引用计数，可确保在生命周期结束时对应结构的析构和资源释放。
pub struct Region {
region_type: RegionType,
priority: Arc<AtomicI32>,
size: Arc<AtomicU64>,
offset: Arc<Mutex<GuestAddress>>,
mem_mapping: Option<Arc<HostMemMapping>>,
ops: Option<RegionOps>,
io_evtfds: Arc<Mutex<Vec<RegionIoEventFd>>>,
space: Arc<RwLock<Weak<AddressSpace>>>,
subregions: Arc<RwLock<Vec<Region>>>,
}
锁优化
锁粒度最小化
AddressSpace结构体如下。可以看到，
AddressSpace的关键成员都以
Arc<Mutex<..>>的方式保证了多线程共享的安全性。
pub struct AddressSpace {
root: Region,
flat_view: ArcSwap<FlatView>,
listeners: Arc<Mutex<Vec<Box<dyn Listener>>>>,
ioeventfds: Arc<Mutex<Vec<RegionIoEventFd>>>,
}
锁性能优化
// AddressSpace优化前结构
pub struct AddressSpace {
root: Region,
flat_view: Arc<RwLock<FlatView>>,
listeners: Arc<Mutex<Vec<Box<dyn Listener>>>>,
ioeventfds: Arc<Mutex<Vec<RegionIoEventFd>>>,
}
FlatView具有重要作用。其一，在树状拓扑结构发生变化时，例如添加和删除
Region，会引起平坦视图
FlatView发生变化，因此应该获取
AddressSpace中
flat_view成员的
写锁，用于更新平坦视图；其二，设备访问内存、VCPU 退出到 StratoVirt 访问设备，都要通过
AddressSpace的
flat_view成员，获取
读锁，找到对应的
Region，然后进行读写操作。
RwLock仍然存在两个问题：其一，经过测试，Rust 读写锁的性能比互斥锁差。而读写锁和互斥锁的性能均比原子类型差；其二，在某些场景下，地址空间管理模块需要实现
函数可重入的支持，即 在持有
FlatView读锁的情况下，仍可以对树状拓扑结构和平坦视图
FlatView更新（例如，PCI bar 空间更新，需要通过
AddressSpace访问设备寄存器来设置地址，并将确定好地址的 PCI bar 空间添加到
AddressSpace中）。
arc_swap第三方库的 RCU-like 的机制，不但可以满足可重入性的要求，而且通过地址空间模块访问内存的性能可以提升 20%以上。
pub struct AddressSpace {
root: Region,
flat_view: ArcSwap<FlatView>,
listeners: Arc<Mutex<Vec<Box<dyn Listener>>>>,
ioeventfds: Arc<Mutex<Vec<RegionIoEventFd>>>,
}
关注我们
StratoVirt 当前已经在 openEuler 社区开源。后续我们将开展一系列主题分享，如果您对 StratoVirt 的使用和实现感兴趣，欢迎您围观和加入。
项目地址：https://gitee.com/openeuler/stratovirt
项目 wiki：https://gitee.com/openeuler/stratovirt/wikis
您也可以订阅邮件列表：https://mailweb.openeuler.org/postorius/lists/virt.openeuler.org/
如有疑问，也欢迎提交 issue：https://gitee.com/openeuler/stratovirt/issues
入群
本文分享自微信公众号 - openEuler（openEulercommunity）。
如有侵权，请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”，欢迎正在阅读的你也加入，一起分享。
