阎栋
- 作品数：16 被引量：10H指数：2
- 供职机构：清华大学更多>>
- 发文基金：国防基础科研计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于内核级程序快照的软件调试框架
- 现代软件的功能需求越来越多样,软件编制规模越来越大,但隐藏其中的代码错误也随之增长.与此同时,种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现,却使得软件的错误诊断变得更加困难.提出一种在操作系统内核级别程序...
- 阎栋谈鉴锋王瑀屏李浩白小龙
- 关键词：操作系统
- 文献传递
- 基于内核级程序快照的软件调试框架
- 2013年
- 现代软件的功能需求越来越多样,软件编制规模越来越大,但隐藏其中的代码错误也随之增长.与此同时,种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现,却使得软件的错误诊断变得更加困难.提出一种基于内核级程序快照的软件调试框架(简称Sydump).Sydump扩展了操作系统内核以记录程序运行时信息,并提供一套用户态工具帮助程序员进行诊断.使用Sydump框架进行调试无需重新执行程序,不仅减轻了开发人员的负担,而且能够方便处理场景难以复现的软件错误.通过充分挖掘x86体系结构特性,Sydump无需专用硬件即可高效运行,具有很强的实用性.实验结果表明,Sydump仅带来很低的性能损耗,能够在实际部署中监控长期运行的服务器程序.
- 阎栋谈鉴锋王瑀屏李浩白小龙
- 关键词：内核快照
- 内存分配方法
- 本发明公开了一种内存分配方法。所述方法包括步骤S1：对所要管理的内存建立并初始化线段树结构；S2：内核或应用程序申请内存；S3：线段树回收内核或应用释放的内存。采用线段树的方式进行物理内存管理，能够保证所提供的内存地址是...
- 胡事民阎栋
- 一种污染变量跟踪方法
- 本发明公开了一种污染变量跟踪方法，涉及设备驱动领域。所述方法包括：A：找到第一污染变量，存入结果图中，B：将其所在的函数存入待处理函数队列；C：取出一个待处理函数，判断其中是否存在新的第二污染变量，如果是，将新的第二污染...
- 王瑀屏胡事民马超阎栋
- 文献传递
- 一种污染变量跟踪方法
- 本发明公开了一种污染变量跟踪方法，涉及设备驱动领域。所述方法包括：找到第一污染变量，存入结果图中，将其所在的函数存入待处理函数队列；取出一个待处理函数，判断其中是否存在新的第二污染变量，如果是，将新的第二污染变量和相应的...
- 王瑀屏胡事民马超阎栋
- 信息处理方法及装置、存储介质及计算设备
- 本发明的实施方式提供了一种基于不完全信息博弈的信息处理方法及装置、存储介质及计算设备。该信息处理方法包括：利用伪遗憾值最小化CFR算法对不完全信息博弈进行优化，其中仅在根据以下确定的更新轮中更新每个信息集的策略：针对每个...
- 朱军周钇驰任桐正阎栋李佳莲
- 文献传递
- 硬件设备错误检测方法
- 本发明是一种硬件设备错误检测方法，包括以下步骤：对硬件设备持续中断的错误进行检测；对硬件设备不产生中断的错误进行检测。通过本发明对硬件设备持续中断的错误和不产生中断的错误进行检测，可以有效提高设备驱动可靠性。
- 胡事民马超阎栋
- 文献传递
- 一种新型硬件设备错误检测方法被引量：3
- 2011年
- 设备驱动的可靠性对于操作系统的可靠性具有重要意义.在编写驱动时总是假设硬件设备一直正常工作,但实际上硬件设备经常会出错.因此这个假设有可能会导致驱动甚至整个操作系统失效.硬件设备会产生中断相关的错误,典型的中断相关错误有持续中断和不产生中断.这类错误会导致操作系统内核不能正常工作.因此,在驱动中检测中断相关的错误对于提高操作系统稳定性具有重要意义.本文介绍了基于定时器的检测持续中断和不产生中断的方法.该方法相比以前的方法具有开销小、精确度高的优点.
- 马超阎栋
- 关键词：操作系统可靠性
- 内存分配方法
- 本发明公开了一种内存分配方法。所述方法包括步骤S1：对所要管理的内存建立并初始化线段树结构；S2：内核或应用程序申请内存；S3：线段树回收内核或应用释放的内存。采用线段树的方式进行物理内存管理，能够保证所提供的内存地址是...
- 胡事民阎栋
- 文献传递
- 用于3D应用的模型获取方法及装置、介质及计算设备
- 本发明的实施方式提供了一种用于3D应用的模型获取方法及装置、存储介质及计算设备。用于3D应用的模型获取方法包括：将3D应用的待处理任务划分为多个子任务，并构建分层强化学习模型，包括管理者决策模型和多个工作者决策子模型，在...
- 朱军宋世虹翁家翌苏航阎栋
- 文献传递
