在软件部署中实施内存管理规范

软件组件的部署经常失败，因为对其他组件的依赖关系没有明确声明或声明不准确。这会导致正常运行所必需的环境的不完全复制，或导致不相容变异体之间的干扰。本文表明，这些部署危险类似于编程语言内存模型中的指针危险，可以通过在软件部署中引入内存管理规则来应对。基于此分析，我们开发了一个通用的、独立于平台和语言的部署规程，允许精确的依赖性验证；准确识别组件变体；计算包含组件所依赖的所有组件的完整闭包；此类闭包之间组件的最大共享；同时安装组件的修订版和变体。我们已经在Nix部署系统中实现了该方法，并将其用于部署大量现有的Linux软件包。我们将其效果与其他部署系统进行了比较。