本文是一篇关于软件隔离（compartmentalization）的系统化知识梳理（SoK）论文。软件隔离通过将大型系统分解为具有有限权限的小型组件来最小化漏洞利用的影响，这一理念历史悠久且经过广泛研究，但在实际主流软件开发中仍未得到广泛应用。论文首先指出当前术语和分析方法的不一致性，提出一个统一模型，用于系统分析、比较和指导隔离方法的设计。基于该模型，作者回顾了211项研究工作和61个主流隔离开系统（如Chrome沙箱、AppContainer等），对比分析发现：主流系统高度依赖人工方法、自定义抽象和传统机制，而研究领域中则涌现出大量自动化、细粒度的方案，两者之间存在显著差异。论文揭示了研究与实践之间的割裂，并给出建议：隔离问题应整体解决；需要简化隔离策略的定义；在面临混淆委派和硬件限制时，应更好地反思威胁模型；以及弥合研究与主流需求之间的鸿沟。本文不仅梳理了隔离领域的历史与现状，还为该领域的未来发展方向提供了框架，适合安全系统研究人员、操作系统开发者及对权限分离感兴趣的工程师阅读。