RSI｜逆向半隔离技术研究与协作知识库

Reverse Semi-Isolation（RSI）｜技术研究、工程验证与周会协作

研究状态：方案论证与原型验证阶段。 本仓库中的“RSI/逆向半隔离”为团队使用的研究概念，不代表 Android AVF 官方功能名称，也不意味着所有技术方案均已实现。

RSI 是什么？

传统虚拟化的隔离设计常重点解决 Host 对 Guest 的访问限制。我们关注另一类问题：在 Host 相对可信、Guest 不可信的非对称信任模型中，Guest 如何以受控方式调用 Host 能力，同时避免 Guest 的恶意行为通过通信、共享内存或 I/O 扩散至 Host。

研究思路是在保持业务所需 Guest→Host 能力调用的同时，分别在授权层、内存层和 I/O 层构建可组合的安全边界。团队把这一路线称作 Reverse Semi-Isolation（RSI，逆向半隔离）。这里的“半”表示不追求所有方向与所有资源上的完全切断，而不是可量化的“1.5 倍隔离强度”。

关键区分： Android AVF 中的 pVM/pKVM 主要提供对 Guest 的保护，使受保护 Guest 的内存不能被不可信 Host 访问。RSI 当前研究起点为非保护 VM 场景下 Host 可信 / Guest 不可信，与 AVF pVM 的信任模型不同，不应直接等同。 查看信任模型｜AVF 官方资料

快速导航

模块	主要内容	入口
从零认识 RSI	概念、动机、架构、术语、信任边界	基础介绍
技术基础	AVF、KVM/pKVM、crosvm、virtio、SMMU	基础知识
研究专题	三项研究课题及待验证问题	研究方向
工程与实验	原型路线、实验指标、实验记录规范	工程验证
文献与技术动态	论文、开源实现、技术资讯及分析	文献索引｜动态更新
周会纪要	每周主题、参与人员、结论与行动项	会议总台账
待办与协作	会议待办快照及 GitLink Issue 使用规范	任务看板说明
维护说明	新建会议、添加动态、审核和发布	如何维护仓库

当前研究主线

方向	关键研究问题	文档
R1 跨信任域通信与细粒度授权	能力令牌、最小权限、认证、防重放和动态撤销	R1
R2 内存生命周期安全管控	Guest→Host 反向流转、净化、所有权审计与 DMA 隔离	R2
R3 I/O 安全与运行时可信	virtio 后端沙箱、采样度量、可信状态与降级响应	R3

三项研究专题来自内部《谈清楚三个问题的技术方案 V0.2》所描述的拟研究路线，并非已完成能力清单。详细设计与实验结论以更新后的技术记录为准。

最近更新

• 2026-10-16：建立技术知识库、会议纪要与任务跟踪结构。见 更新日志。
• 后续技术进展请按 技术动态模板 记录并更新 技术动态索引。

协作规则

1. 技术设计、实验报告、会议纪要使用仓库中的 Markdown，保留历史版本。
2. 会议纪要保存当次事实：时间、主讲人、参会者、讨论、决定、待办；不要事后直接把原始决定改写为新决定。
3. GitLink「疑修（Issue）」跟踪实时待办：每项关键行动对应一个 Issue，指派负责人、截止日期、当前状态；会议纪要附 Issue 编号。
4. 重要方案修改通过分支和合并请求（PR）审核；普通记录也建议提交清晰的 Commit。
5. 未经核实的推断标为“研究假设 / 待验证”；实验数据写明环境、版本、参数和复现方式。
6. 如仓库公开，不得提交密钥、内部地址、漏洞利用细节或敏感会议资料；内部研发内容应先确认仓库可见性。

如需参加本周讨论，请先浏览 会议总台账 和 GitLink Issues；首次使用请阅读 维护指南。