王瑀屏
- 作品数：40 被引量：26H指数：2
- 供职机构：清华大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 一种污染变量跟踪方法
- 本发明公开了一种污染变量跟踪方法，涉及设备驱动领域。所述方法包括：找到第一污染变量，存入结果图中，将其所在的函数存入待处理函数队列；取出一个待处理函数，判断其中是否存在新的第二污染变量，如果是，将新的第二污染变量和相应的...
- 王瑀屏胡事民马超阎栋
- 一种基于八叉树的拼音输入法
- 本发明提出了一种基于八叉树的拼音输入法，该拼音输入法包括如下步骤：首先，将字词库中的字和词组织为带统计信息的八叉树叶子节点；然后，建立八叉树系统，将所有需要的字和词存储到八叉树中，中间节点存入访问频率值；再后，在八叉树上...
- 王瑀屏汤茂杰白石
- 文献传递
- 缓冲区管理方法、系统、设备及存储介质
- 本发明实施例涉及计算机通信技术领域，公开了缓冲区管理方法、系统、设备及存储介质，先获取当前缓冲区的整体运行状态；根据整体运行状态对当前采样间隔的数值进行调整，以获得新的采样间隔；通过新的采样间隔确定面向待发送数据的处理操...
- 王瑀屏邹子昕胡旭强
- 文献传递
- 一种基于可配置策略的进程调度方法
- 本发明提出了一种基于可配置策略的进程调度方法，其包括如下步骤：第一步，在系统初始化时读取策略文件，该策略文件中记录有高占用级进程和低占用级进程；第二步，按照策略文件中记录的顺序调度高占用级进程；第三步，调度普通进程；第四...
- 王瑀屏
- 文献传递
- 针对内核扩展函数出错处理的日志自动注入方法
- 2015年
- 提出一种日志自动注入的方法,解决驱动程序中的内核扩展函数调用不规范的问题。首先静态扫描源程序,当发现程序中调用了内核扩展函数但没有检测返回值时,则在调用后自动插入对返回值的检测代码,并使得这些函数在执行发生错误时会被日志记录。一旦系统发生崩溃,这些日志信息将成为关键的调试依据。实验结果表明,该方法对系统性能影响很小,且可以帮助调试人员更高效地定位和调试内核模块错误。
- 钱诚刘虎球王瑀屏
- Smart-p:重映射粒度可变的PCRAM磨损错误恢复机制
- 2012年
- 新兴的非易失性相变存储内存PCRAM具有比DRAM更好的扩展性、功耗更低等特点,但其本身存在磨损错误的问题。目前非易失性内存的最新容错技术Free-p方法在非易失性内存寿命后期会频繁引起操作系统中断,影响系统性能和可靠性,甚至会导致内存系统的拒绝服务攻击。Smart-p方法针对Free-p方法做了改进,提出了粗粒度重映射和细粒度重映射相结合的PCRAM磨损错误恢复机制,使得映射粒度灵活可变。该方法在不影响PCRAM使用寿命的情况下,使操作系统中断数量下降54%,减少了中断对系统性能的影响,提高了系统的可靠性和安全性。
- 朱龙云赵鹏廖学良王瑀屏
- 关键词：容错可靠性
- 基于内核级程序快照的软件调试框架
- 现代软件的功能需求越来越多样,软件编制规模越来越大,但隐藏其中的代码错误也随之增长.与此同时,种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现,却使得软件的错误诊断变得更加困难.提出一种在操作系统内核级别程序...
- 阎栋谈鉴锋王瑀屏李浩白小龙
- 关键词：操作系统
- 文献传递
- 基于内核级程序快照的软件调试框架
- 2013年
- 现代软件的功能需求越来越多样,软件编制规模越来越大,但隐藏其中的代码错误也随之增长.与此同时,种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现,却使得软件的错误诊断变得更加困难.提出一种基于内核级程序快照的软件调试框架(简称Sydump).Sydump扩展了操作系统内核以记录程序运行时信息,并提供一套用户态工具帮助程序员进行诊断.使用Sydump框架进行调试无需重新执行程序,不仅减轻了开发人员的负担,而且能够方便处理场景难以复现的软件错误.通过充分挖掘x86体系结构特性,Sydump无需专用硬件即可高效运行,具有很强的实用性.实验结果表明,Sydump仅带来很低的性能损耗,能够在实际部署中监控长期运行的服务器程序.
- 阎栋谈鉴锋王瑀屏李浩白小龙
- 关键词：内核快照
- 三维模型几何处理系统及其应用
- 胡事民查红彬刘永进唐卫清任继成张国鑫裴玉如来煜昆杨永亮沈超慧李仁举王瑀屏张松海杜松沛李先颖魏缙
- 该成果在特征敏感的几何处理理论与算法研究的基础上，通过开发三维数据资源的获取和高效处理技术，实现三维模型的高效几何处理系统，为包括数字媒体创作在内的数字内容产业提供了建模工具和开发工具集。其研究内容涉及到以下理论技术：(...
- 关键词：
- 关键词：系统软件
- 内层变量被外层指针引用错误静态检测方法及装置
- 本发明公开一种内层变量被外层指针引用错误静态检测方法，包括对源代码进行预处理；查找是否存在未被处理的函数；如果存在则在未被处理的函数中查找是否存在未被处理过的取址操作语句；如果存在则根据变量表判断取址操作语句中的地址所对...
- 王瑀屏白杨
- 文献传递
