国家自然科学基金(61170050)
- 作品数：6 被引量：8H指数：2
- 相关作者：陈渝肖奇学茅俊杰张磊郭世泽更多>>
- 相关机构：清华大学中国北方电子设备研究所解放军电子工程学院更多>>
- 发文基金：国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向多核虚拟机的高效瞬态协同调度算法
- 2014年
- 随着多核硬件技术的迅速发展和应用对计算能力需求的不断增强,多核虚拟机应用也越来越广泛。但多核虚拟机会引发锁占用的可扩展性问题,锁占用严重影响系统的整体性能。本文基于Linux的完全公平调度器(CFS)设计并实现了一个高效的瞬态协同调度算法,能够高效地解决锁占用问题并获得更好的系统性能。实验结果表明,相比Linux 2.6.38内核,该算法可以显著地提高系统性能,在SysBench.OLTP的测试用例中系统整体性能最多提高到3.41倍,并且对调度公平性几乎没有影响。
- 张磊张知皦陈渝
- 关键词：虚拟机调度多核
- 一种适用于智能设备的多重操作系统架构被引量：2
- 2014年
- 针对智能设备,为避免引入虚拟化技术而产生的性能开销,提出并实现了MuxOS。MuxOS是一种多重操作系统架构,使得智能设备可以在非虚拟化条件下运行多个操作系统。介绍了MuxOS工作原理,描述了MuxOS运行流程。测试结果表明,MuxOS性能优于Xen等虚拟化产品,可以实现操作系统间亚秒级的快速切换。
- 韩威陈渝刘迎莉张久锋
- 关键词：操作系统智能设备
- 堆分配大小可控的检测与分析被引量：3
- 2015年
- 不当内存操作一直是引发软件漏洞的主要原因之一。堆分配大小可控(CMA)是指当动态内存分配的关键参数可以被外界输入控制时,恶意用户可以通过精心构造输入数据导致非预期的内存分配。该文讨论了CMA可能引发的相关安全问题和CMA的检测方法。该CMA检测方法主要通过结合静态路径分析和路径导向符号执行技术的优势,系统地检测目标代码中的CMA问题。在经典的符号执行引擎KLEE的基础上,实现了CMA检测原型系统SCAD;通过对Linux系统常用的工具程序Coreutils进行测试,SCAD发现了10个CMA相关的问题,其中3个属于未公开漏洞。实验结果表明:SCAD的导向路径搜索算法与KLEE提供的8个路径搜索算法相比具有明显优势;针对内存分配相关的代码,SCAD的导向符号执行相比传统的符号执行引擎具有更高的代码覆盖率。
- 肖奇学陈渝戚兰兰郭世泽史元春
- 关键词：漏洞分析内存分配
- 辅助检测Linux驱动中漏洞的符号驱动环境被引量：1
- 2015年
- Linux系统中的驱动漏洞被证实是内核漏洞的主要来源,可以被利用导致严重的安全问题。通过系统模型、驱动与内核的交互和驱动与设备的交互这三部分的设计与实现,构建了符号驱动环境,用于辅助检测Linux驱动中的漏洞。使用符号驱动环境对两个真实的驱动进行检测,成功检测出了两个漏洞,证实了该工具的可行性。与SymDrive工具的性能相比,符号驱动环境执行速度快90%,覆盖率提高20%。
- 范文良茅俊杰肖奇学徐永健杨维康陈渝
- 关键词：漏洞检测
- ARM-MuxOS:一台手机,多个世界被引量：2
- 2014年
- 在移动设备上并发运行多个操作系统,可拓宽和多样化其使用模式,但目前采用的移动虚拟化管理系统技术会带来性能开销和多余的内存消耗。通过分析在单一移动设备上支持多个操作系统所带来的多OS内存管理和外设分配等方面挑战,研究并设计了物理内存在线分配和分时复用外设等新技术,本设计在Galaxy Nexus智能手机上最终实现了ARM-MuxOS原型系统。这一系统不仅可在单一移动设备上支持多个操作系统,而且可在内存较少的环境下管理多个OS的内存分配,避免了传统虚拟化技术的性能开销与工程量。实验结果表明,ARM-MuxOS原型系统不仅能支持Android与FireFox OS的快速并发执行,而且其性能和内存消耗优于现有的移动虚拟化管理系统。
- 余宽隆陈渝茅俊杰张磊
- 关键词：操作系统内存管理虚拟化
- 基于消息传递的系统调用优化
- 2012年
- 多线程编程模型由于能够充分地利用多核系统的硬件资源而被广泛地应用于软件的设计过程。在Intel 40核系统上的测试表明,现在的基于共享内存的操作系统很难对大规模的硬件资源进行有效的管理。特别是当多线程应用程序频繁使用系统提供各种服务时,操作系统的可扩展性将会严重影响应用程序自身的性能。该文将消息传递的思想引入到现有的Linux系统中来,提出一种优化的系统调用机制。这种机制通过动态调整系统调用执行过程来减少多核之间竞争发生的开销。测试表明:该方法能够显著提升多线程系统服务密集型应用在多核系统上的性能和可扩展性。
- 陈渝王乃峥崔岩
- 关键词：分时操作系统多核系统
