切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
单一内核操作系统设备驱动程序缺陷研究
单一内核操作系统设备驱动程序缺陷研究
来源 :计算机科学 | 被引量 : 0次 | 上传用户:Free0412
【摘 要】
:
设备驱动程序是操作系统内核中代码量最大、缺陷最多的组件。单一内核操作系统中驱动程序处于内核态执行,驱动程序缺陷引发的错误往往直接导致内核崩溃,极大地降低系统可用性
【作 者】
:
秦莹
戴华东
颜跃进
【机 构】
:
国防科学技术大学计算机学院
【出 处】
:
计算机科学
【发表日期】
:
2011年4期
【关键词】
:
单一内核
操作系统
设备驱动
缺陷
Monolithic kernel
Operating system
Device driver
Defect
【基金项目】
:
国家863计划重大项目(2008AA01A203), 核高基重大专项(2009ZX01040-001-001)资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设备驱动程序是操作系统内核中代码量最大、缺陷最多的组件。单一内核操作系统中驱动程序处于内核态执行,驱动程序缺陷引发的错误往往直接导致内核崩溃,极大地降低系统可用性。分析了单一内核驱动程序存在的缺陷并将其按照位置分类,介绍了驱动程序缺陷解决方法。
其他文献
面向服务软件中基于着色Petri网的异常处理模型
面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影
期刊
面向服务软件
异常处理
着色PETRI网
Service-oriented software
Exception handling
Colored petr
基于局部聚类的轨迹数据流偏倚采样
移动对象轨迹数据管理是移动计算领域的研究热点。通过采样技术构造数据流摘要是普遍采用的方法之一。传统的均匀采样往往容易丢失某些关键变化数据。利用轨迹数据流的局部连
期刊
轨迹数据流
偏倚采样
局部聚类
Trajectory stream
Biased sampling
Local cluster
基于Meta平衡的多Agent Q学习算法研究
多Agent强化学习算法的研究一直以来大多都是针对于合作策略,而NashQ算法的提出对非合作策略的研究无疑是一个重要贡献。针对在多Agent系统中,Nash平衡无法确保求得的解是Par
期刊
强化学习
Meta平衡
NashQ
多AGENT系统
Reinforcement learning; Meta equilibrium; NashQ; Mult
群组密钥协商协议的安全性分析方法研究
群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计
期刊
密钥协商
可证明安全
安全模型
规约
模拟
UC框架
Key agreement
Provably secure
Security model
Reduc
基于新的超混沌系统的图像加密方案
提出了一个新的超混沌系统,分析了新系统的混沌吸引子相图、平衡点及其性质、Lyapunov指数等非线性动力学特性,并用该超混沌系统对图像进行加密研究。给出了一种新的基于四维
期刊
超混沌系统
混沌序列
LYAPUNOV指数
图像加密
Hyperschaotic system
Chaotic sequences
Lyapunov exp
基于一种新网络拓扑结构的低功耗研究
随着芯片集成度的提高,片上网络(Network on Chip,NoC)是片上系统(System on Chip,SoC)发展的必然趋势,其中功耗成为限制性能提高的瓶颈。为了降低NoC的功耗,提出一种新的拓
期刊
片上网络
拓扑结构
路由算法
低功耗
NoC
Topology architecture
Routing algorithms
Low power
水声传感网MAC协议综述
海洋在人类发展中扮演着越来越重要的角色。水下通信技术作为人类认识海洋的重要手段,成为研究界的热点与难点。由于水下通信技术有不同于陆地无线通信的信道特点和性能要求,
期刊
水声传感网
基于调度的MAC协议
基于竞争的MAC协议
传输延时
冲突避免
节能性
Underwater acoustic sensor network
Sc
基于构件的数据流软件可靠性模型
基于构件的数据流软件由输入数据激活的构件确定程序执行路径,其可靠性受输入数据分布特性的影响,难以采用基于状态或基于路径等传统模型进行评测。提出一个结合构件执行频度
期刊
软件可靠性
体系结构可靠性模型
数据流软件
操作剖面
Software reliability
Architecture-based reliability
分布式短事务系统中提交协议的研究
分布式短事务系统具有事务简短、请求频繁的特点。现有的分布式提交协议多面向复杂的长事务应用场景,难以满足短事务处理的需求。针对分布式短事务系统的特点,提出一种新型的
期刊
分布式
短事务
提交协议
日志备份
Distribute
Short transaction
Commit protocol
Log backup
基于CUDA架构的MD5破解方法研究
由于内存、运算速度以及磁盘空间的限制,暴力破解MD5几乎无法在PC机上实现。CUDA意在使GPU的超高计算性能在数据处理和科学计算等通用计算领域发挥优势。主要研究基于CUDA架
期刊
MD5破解
CUDA
并行计算
MD5 crack
CUDA
Parallel computation
与本文相关的学术论文