基于代码路径的安全操作系统性能优化方法①.PDFVIP

计 算 机 系 统 应 用 2015 年 第 24 卷 第 8 期 基于代码路径的安全操作系统性能优化方法① 王 硕 1,2,3, 杨秋松 1,2, 吴 涛 1,2,3 1( 中国科学院软件研究所 基础软件国家工程研究中心, 北京 100190) 2( 中国科学院软件研究所 计算机科学国家重点实验室, 北京 100190) 3( 中国科学院大学, 北京 100049) 摘 要: 为了满足面向访问验证保护级的要求, 研发新一代高等级安全操作系统, 我们采用微内核的架构设计和 实现了面向访问验证保护级的安全操作系统原型系统(VSOS), 并通过设计和实现新的访问监控器来满足安全内 核设计原则中的不可旁过和总是被调用两项要求, 但访问监控器的引入导致 VSOS 的性能产生较大的损耗. 提出 了一种基于代码路径优化的方法, 用于改进访问监控器的实现和调用方式, 以及可信路径机制的实现方式. 实验 表明, 通过此方法 VSOS 的性能和可信路径过程的用户体验都得到了提升. 关键词: 安全操作系统; 代码路径; 访问监控器; 性能优化; IPC 重定向 Code Path-Based Optimization Method of Secure Operaing System WANG Shuo1,2,3, YANG Qiu-Song1,2, WU Tao1,2,3 1(Research Center of Fundamental Software, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China) 2(State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China) 3(University of Chinese Academy of Sciences, Beijing 100190, China) Abstract: To satisfy the requirement of access verification protection level for secure operating system and development the next generation secure operating system with high security levels, we design and implement the Verification-oriented Secure Operating System prototype (VSOS) in microkernel architecture. VSOS meets the two of the principles of designing security kernel, which suggest that reference monitor must be tamper proof and always be involved, by designing and implementing the new reference monitor. However, the introducing of reference monitor causes great performance penalty on VSOS. In order to improve the performance of the VSOS, a code path-based o