甄凯

作品数：2被引量：6H指数：2
导出分析报告
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文主题：操作系统多线程可扩展性功能模块更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《小型微型计算机系统》更多>>
所获基金：国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
FPSFI:一种基于LLVM架构的驱动错误隔离机制被引量：2
《小型微型计算机系统》2013年第10期2246-2250,共5页甄凯 白家驹 刘虎球 郭旭峰 
国家"八六三"高技术研究发展计划项目(2011AAO1A203)资助
内核安全维系着应用程序的正常运行,而内核错误却仍被周期性地发现,且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于LLVM编译器基础架构,提出FPSFI驱动错误运行时隔离机制,使驱动错误隔离机制分解为涉敏函数注册、驱...
关键词：操作系统 安全 驱动 软件错误隔离 
基于长并行距离优先的确定性多线程调度被引量：4
《小型微型计算机系统》2012年第10期2177-2181,共5页马超 尹杰 江凌波 甄凯 
国家"八六三"高技术研究发展计划项目(2011AA01A203)资助
随着多核技术的不断发展,多线程技术更加广泛地应用于计算机软件中.但由于执行的不确定性,多线程程序的排错和调试存在着很大的困难.确定性多线程系统可以使多线程程序以确定的方式执行,即多次执行同一个多线程程序的顺序和结果是相同的...
关键词：确定性多线程 长并行距离优先 性能 可扩展性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部