基于SAT的软件包依赖问题的研讨.pdfVIP

“2l世纪计算机科学与技术”第九届研究生学术研讨会论文集 2006．7青岛 基于SAT的软件包依赖问题的研究 顾昊1’2倪惜珍1 ’(中国科学院软件研究所，北京，100080) 2(中国科学院研究生院，北京，100039) 关键词软件包，依赖问题，布尔可满足问题，软件包管理。 摘 要随着开源软件的迅速发展，软件包之间复杂依赖关系的分析与维护日益成为当前开源软件包 管理系统得以正常运行的重要基础。本文对软件包依赖问题进行了分析与归纳，给出该问题的形式化描 述，并提出了一套将软件包依赖问题转变为布尔可满足(SAT)问题的基本映射规则，最后结合MiniSAT 给出了基本的求解算法。 SAT—basedAnaI i S of ProbI em ys PackageDependency GuHaoandNi Xi-zheng 1 Chinese School (InstituteofSoftware，ChineseAcademyofSciences，Beifing00080；Graduate Academyof Sciences1 Beifing00039) In of Abstractthe SOUrCe andmaintenancebecomemOre open rapiddevelopment software。analysis infrastructuralforthenormal ofcurrent and running packagemanagementsystem．Throughanalysissynthesis ofcurrentsoftware aformal ofthis set packagedependencyproblem，thispaperpresents descriptionproblem．A of rulesthattransforms intoBooleanSAT isalso mapping dependencyproblem problemintroduced，finally followedabasic basedontheart-of-the—stateSATsolverMiniSAT． by algorithm wordsSoftware Problem；Boolean Key Package；DependencySAT；PackageManagement 一、引言 在当前开源平台下，可用软件包的规模日益增加，开放的源码和宽松的许可协议在促进软件互用的 同时，进一步加大了软件之间的依赖关系[1】，这包括编译时的源码依赖、二进制可执行文件依赖(如 足是目标软件正常运行的基础，如何处理大量软件包之间复杂的依赖关系，成为当前软件包分发与管理 系统面临的主要挑战[2】。SAT问题则是一种基本的NP完全问题，近年来得到了持续和深入的研究，SAT 求解算法也取得了许多具有代表性的成果[6，8，9】。本文的研究表明，SAT的研究成果能够有效运用于软 件包依赖问题的求解。 基于分发端的维护人员的预先处理，由分发端保证用户端获取的包信息是依赖关系可满足的。分发端一 致性的计算与维护是整个软件包分发与管理系统的