论文部分内容阅读
软件包管理系统是操作系统中的重要组成部分,随着开源软件运动的开展,开源软件包的数量正在以指数级的速度增长,如何正确而有效地对软件包进行管理已经成为当前操作系统研究方面一个重要的课题。
本文主要是针对开源操作系统软件包管理机制的研究。首先通过分析当前主流开源系统软件包管理的特点,结合国内外当前研究的成果,从形式理论上对其进行综合和抽象,建立通用的软件包管理系统模型,为以后的研究提供了便利。
本文以CAS-Earth安全操作系统为研究对象,深入分析了FreeBSD系统的ports/package软件包管理系统,并针对此系统在依赖关系检查方面的不足设计了port可安装性检测系统PIC。PIC系统是基于FreeBSD原有的port安装机制,充分利用port本身提供的信息,通过信息的提取、分析并建立有向图的模型,通过对依赖关系和冲突关系的分析处理,给用户提供软件包是否能够安装的明确信息。PIC系统能够检测出绝大部分由于软件包依赖及冲突关系问题而造成的不可安装问题,并能为用户指出问题所在并提示修改方法,极大的方便了用户的处理,更节省了大量的时间。
本文针对安全操作系统的要求,为CAS-Earth的软件包管理系统进行了安全增强,提出了解决软件包安装后文件的安全标记问题的方法,而且对port远程下载的通信过程进行也进行了安全增强。