谈鉴锋
- 作品数：6 被引量：0H指数：0
- 供职机构：清华大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于内核级程序快照的软件调试框架
- 现代软件的功能需求越来越多样,软件编制规模越来越大,但隐藏其中的代码错误也随之增长.与此同时,种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现,却使得软件的错误诊断变得更加困难.提出一种在操作系统内核级别程序...
- 阎栋谈鉴锋王瑀屏李浩白小龙
- 关键词：操作系统
- 文献传递
- 基于内核级程序快照的软件调试框架
- 2013年
- 现代软件的功能需求越来越多样,软件编制规模越来越大,但隐藏其中的代码错误也随之增长.与此同时,种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现,却使得软件的错误诊断变得更加困难.提出一种基于内核级程序快照的软件调试框架(简称Sydump).Sydump扩展了操作系统内核以记录程序运行时信息,并提供一套用户态工具帮助程序员进行诊断.使用Sydump框架进行调试无需重新执行程序,不仅减轻了开发人员的负担,而且能够方便处理场景难以复现的软件错误.通过充分挖掘x86体系结构特性,Sydump无需专用硬件即可高效运行,具有很强的实用性.实验结果表明,Sydump仅带来很低的性能损耗,能够在实际部署中监控长期运行的服务器程序.
- 阎栋谈鉴锋王瑀屏李浩白小龙
- 关键词：内核快照
- 基于类虚拟化的影子页表加速方法
- 2014年
- 影子页表作为内存虚拟化地址转换问题的解决方案之一,其性能开销主要源于客户机页表和影子页表不一致造成的缺页异常。实验发现:在使用影子页表技术的虚拟机中,缺页异常引起的虚拟机陷入占所有虚拟机陷入的70%以上;这些缺页异常中,30%的缺页异常由客户机页表本身引起,从而造成不必要的虚拟机陷入。客户机的不必要陷入可以通过结合类虚拟化思想和硬件虚拟化条件优化技术并调整影子页表的缺页异常处理流程来解决。为验证上述方法的有效性,设计并实现了AccSP原型系统。实验结果表明,AccSP能够使得系统性能得以稳定提升。
- 谈鉴锋王瑀屏
- 关键词：内存虚拟化
- 并行闪存转换层方法与系统
- 本发明提出一种并行闪存转换层方法，包括建立页组和块为单位的混合地址映射机制，其中，页组可分为逻辑页组和物理页组，块可分为逻辑块和物理块；当文件系统发送的I/O请求的数量超过预设请求阈值时，建立I/O请求队列，并将超出预设...
- 胡事民谈鉴锋白石廖学良
- 文献传递
- 并行闪存转换层方法与系统
- 本发明提出一种并行闪存转换层方法，包括建立页组和块为单位的混合地址映射机制，其中，页组可分为逻辑页组和物理页组，块可分为逻辑块和物理块；当文件系统发送的I/O请求的数量超过预设请求阈值时，建立I/O请求队列，并将超出预设...
- 胡事民谈鉴锋白石廖学良
- 文献传递
- 不可信系统平台下的敏感信息管理系统
- 2015年
- 通用操作系统存在大量后门和漏洞等安全威胁,使得应用程序中处理的敏感信息的机密性难以得到完备的保护。该文设计并实现了敏感内存管理(sensitive memory manager,SMM)系统,在应用程序配合下对存放敏感信息的内存进行保护,阻止攻击者利用系统内核窃取敏感信息的企图。该系统基于虚拟化技术,通过为被保护进程的用户态和内核态设置不同影子页表的方式,使得应用程序能够访问的敏感信息不会被操作系统内核访问。有效性评测和性能评测表明:该系统提供的内存保护粒度更小,带来的性能损耗更小。
- 谢学智王瑀屏谈鉴锋陈启庚
- 关键词：敏感信息保护数据机密性虚拟化
