尹杰
- 作品数:8 被引量:8H指数:2
- 供职机构:清华大学更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种实时设备驱动恢复系统及方法
- 本发明公开了一种实时设备驱动恢复系统及方法,涉及操作系统领域。所述系统包括:控制模块、备份驱动模块和模拟设备模块;所述控制模块连接正常驱动和所述备份驱动模块,用于管理所述正常驱动、备份驱动模块和模拟设备模块;所述备份驱动...
- 胡事民马超尹杰赵鹏
- 积分定理在生物膜及其膜管网络与碳纳米管中的应用
- 尹杰
- 关键词:生物膜BIOMEMBRANE
- 一种实时设备驱动恢复方法
- 本发明公开了一种实时设备驱动恢复系统及方法,涉及操作系统领域。所述系统包括:控制模块、备份驱动模块和模拟设备模块;所述控制模块连接正常驱动和所述备份驱动模块,用于管理所述正常驱动、备份驱动模块和模拟设备模块;所述备份驱动...
- 胡事民马超尹杰赵鹏
- 文献传递
- 基于编译器中间语言的软件运行时可靠性研究
- 随着计算机软件应用在越来越多的关键岗位,软件运行时的不可靠行为会造成严重的危害。在软件运行时对其进行分析和监控,可以诊断和约束软件的不可靠行为,消除软件不可靠性带来的危害。对软件编译时生成的编译器中间语言进行分析和插桩,...
- 尹杰
- 关键词:可靠性抽象语法树插桩
- 文献传递
- 闪存和磁盘转换存取方法
- 本发明公开了一种闪存和磁盘转换存取方法,涉及计算机存储介质技术领域,包括:S1:接收文件系统发来的读写请求;S2:解析出所述读写请求中的逻辑地址,查找地址映射表得到实际的物理地址,所述地址映射表中包含了从逻辑地址到闪存和...
- 王瑀屏白石尹杰谭刚胡事民
- 文献传递
- 闪存和磁盘转换存取方法
- 本发明公开了一种闪存和磁盘转换存取方法,涉及计算机存储介质技术领域,包括:S1:接收文件系统发来的读写请求;S2:解析出所述读写请求中的逻辑地址,查找地址映射表得到实际的物理地址,所述地址映射表中包含了从逻辑地址到闪存和...
- 王瑀屏白石尹杰谭刚胡事民
- 基于长并行距离优先的确定性多线程调度被引量:4
- 2012年
- 随着多核技术的不断发展,多线程技术更加广泛地应用于计算机软件中.但由于执行的不确定性,多线程程序的排错和调试存在着很大的困难.确定性多线程系统可以使多线程程序以确定的方式执行,即多次执行同一个多线程程序的顺序和结果是相同的,这可以大大简化多线程程序的排错和调试.但是,确定性多线程系统会导致多线程程序性能的下降.本文提出一种基于长并行距离优先的确定性多线程调度算法,优先执行并行距离长的线程,减少线程总体等待时间,从而提高多线程程序的效率.实验结果表明,本文方法可以使多线程程序的性能提升10%,并且具有很好的可扩展性.
- 马超尹杰江凌波甄凯
- 关键词:可扩展性
- KFUR:一个新型内核扩展安全模型被引量:4
- 2012年
- 保障内核扩展的安全性对操作系统具有重要意义.当前存在大量针对内核函数使用规则的攻击,内核扩展中也存在大量违反内核函数使用规则的错误,因此针对内核函数使用规则的安全性检测十分必要.虽然存在多种提高内核扩展安全性的方法,但很少有方法对内核函数的使用规则进行安全性检测.文中设计了KFUR(KernelFunction Usage Rule)内核扩展安全模型系统,用于在运行时检测内核扩展调用内核函数是否遵守内核函数使用规则.如果内核扩展调用内核函数满足模型安全运行条件,则允许对该内核函数进行调用,否则将错误报告给操作系统内核并终止该内核扩展的运行.文中所述研究在Linux操作系统上对KFUR安全模型系统进行实现,并将其运用于e1000网卡驱动、SATA硬盘驱动和HDA声卡驱动内核扩展.安全性评测表明安全模型系统能够对内核函数使用规则进行安全性检测,性能评测表明安全模型系统带来的开销很小.
- 马超尹杰刘虎球李浩
- 关键词:操作系统