单一内核操作系统设备驱动程序缺陷研究

设备驱动程序是操作系统内核中代码量最大、缺陷最多的组件。单一内核操作系统中驱动程序处于内核态执行,驱动程序缺陷引发的错误往往直接导致内核崩溃,极大地降低系统可用性。分析了单一内核驱动程序存在的缺陷并将其按照位置分类,介绍了驱动程序缺陷解决方法。     

基于RTEMS操作系统的设备驱动开发

论述了RTEMS操作系统的内核结构,分析和介绍了在RTEMS操作系统下设备驱动开发的基本方法.     

Linux操作系统项目驱动教学法研究

为提高学生掌握Linux操作系统配置和管理的应用技能,我们采用项目驱动教学法进行教学。项目驱动教学法是在教学过程中以一个个项目作为主体,把相关的知识点融入到项目的各个环节中去的一种高效教学法。文章采用项目驱动教学法对Linux操作系统配置和管理的教学进行了探讨。     

基于任务驱动的操作系统的设计

采用任务驱动的教学方式,明确教学目标和学习任务,推动学生有目地学习,能帮助学生更深刻地理解操作系统的基本原理、内部机制和体系结构,具有良好的教学效果.     

应用驱动的操作系统教学研究

针对目前操作系统课程教学中存在的不足,提出一种应用驱动的操作系统教学模式,即教师布置一些有针对性的实验,促使学生学好操作系统基本理论并用理论知识指导编程实验,通过编程实验加深对理论知识的理解。     

基于任务驱动的“操作系统”教学方法研究

"操作系统"是计算机科学与技术专业和软件工程专业的主干课程之一。由于课程的理论性强,概念抽象,难于理解,造成了学生学习的困难。本文在"任务驱动"教学法的理论指导下,设计了适合"操作系统"课程教学的任务,并在教学中加以应用。通过几年的实践,形成了"操作系统"课程建设和课堂教学的一些新思路和新观点,并得到了同行和学生的认可。     

基于龙芯3A3000与中标麒麟操作系统的PXI设备驱动设计

针对国产龙芯平台搭载中标麒麟操作系统的软硬件环境,分析了Linux下PXI设备驱动的基本框架、关键数据结构和加载方式,详细分析了PXI设备初始化、数据读写、设备控制、中断处理等典型的PXI设备驱动模块,讨论了Linux下PXI设备驱动的设计过程,并在驱动设计过程中依照仪器软件结构向应用层提供了驱动的使用接口,简化了应用层软件设计,为基于龙芯平台和中标麒麟系统的PXI仪器软件开发提供了较好的应用案例。实际验证结果表明：在测试控制领域,“龙芯平台+中标麒麟”的组合成功地把开源软件和PXI硬件结合在一起,北京航天测控公司在国内率先建立了自主可控的PXI通用测试平台。     

应用驱动的Linux操作系统教学改革

针对Linux操作系统教学中存在的问题,分析Linux操作系统课程的特点,提出以培养应用型人才为导向、结合实际案例与具体课程理论的应用驱动的Linux操作系统教学方法,从课程的教学目标、教学模式、教学方法各个方面介绍Linux操作系统课程教学改革实践过程,最后说明教学改革效果并给出建议.     

ZGL分布式操作系统的设备共享

本文介绍南京大学设计和实现的异构型分布式操作系统ZGL中的设备共享系统.在ZGL中,一些处理器和外部设备被定为专职的服务器.此外,任何工作站在空闲时还可以使自己临时成为计算服务器.用户可以在命令级和程序级访问设备服务器.在这两种情况下系统都将自动从可用的服务器池中选择一个服务器完成指定的任务.工作站可以作为远程控制终端与在计算服务器上执行的任务进行交互.     

基于嵌入式实时操作系统的驱动框架

嵌入式设备随着应用领域的扩展呈现出多样性以及复杂性，而嵌入式实时系统普遍不具有良好的设备驱动体系结构，造成驱动开发困难、可移植性差。该文给出了一种嵌入式实时操作系统下的驱动框架，支持各种设备及总线接口，设计了一种快速的设备中断机制，符合嵌入式实时系统的强实时、高可靠的特点，能够满足开发各种嵌入式系统。     

Windows CE.net设备驱动程序开发研究

介绍了Windows CE．net的平台结构，阐述了Windows CE驱动的系统结构，对驱动中断处理过程进行了详细分析。并以LCD驱动为例，简介了嵌入式Windows CE驱动程序的开发讨程.     

基于VxWorks的USB设备驱动的设计研究

VxWorks操作系统由于其高度的可靠性和优秀的实时性,而被广泛应用于嵌入式系统领域。本文在对VxWorks操作系统和USB2.0协议分析的基础上,对基于ZX2930 EVB2.0板的USB设备驱动进行了研究,并在此基础上对基于VxWorks的USB设备驱动进行了实现,成功建立了PC机与EVB2.0板之间的通信。实验结果表明,该驱动程序是稳健的、可靠的。     

一种基于虚拟机的驱动程序加固技术

近年来设备驱动程序可靠性技术已成为操作系统领域的研究热点。本文首先分析了驱动程序可靠性研究现状,介绍了虚拟机监控器技术;然后结合虚拟机技术,提出了一个新的驱动加固框架VHarden,重点研究了驱动域之间的数据传输和隔离保护机制,并基于开源的Xen虚拟机监控器和Linux操作系统,设计和实现了该原型系统;最后采用基于软件的故障注入工具对该原型系统进行了评测。测试结果表明,VHarden驱动加固结构可有效提高Linux操作系统的可用性。     

UNIX系统下的设备驱动程序开发技术

介绍了UNIX系统下设备驱动程序的概念,设备管理方式和设备驱动程序开发技术。     

VM内部隔离驱动程序的可靠性架构

利用虚拟化技术来整合资源已成为高性能服务器提高资源利用率的重要手段,虚拟化技术的可靠性对于高性能服务器所提供服务的质量至关重要.然而,驱动故障严重影响了虚拟机中操作系统的可靠性,也同样影响到整个服务器的可靠性.为此,提出一种在虚拟机内部通过隔离故障驱动程序来提高虚拟机可靠性的架构,该架构通过监视驱动程序所使用的内存信息来建立驱动可写权限的授权表,并在虚拟机监视器中设置虚拟机内核空间对应影子页表的写保护来捕获虚拟机的写操作,进而结合授权表判断被隔离驱动程序写操作的正确性.目前,该架构能够在无需修改驱动程序的情况下,在虚拟机内部实现对驱动程序的隔离.实验结果表明：该架构可以隔离84.63%的注入故障造成的系统崩溃失效,并且对于驱动性能的影响小于20%,提高了虚拟化环境的可靠性.     

基于USB设备的用户态驱动框架

传统的linux系统为了获得更好的性能,将设备驱动运行在内核空间,不可避免的降低了系统的可靠性和稳定性.基于常用的USB设备提出了一种全新的驱动架构,它将驱动以进程的形式运行在用户空间,并且支持热插拔,驱动管理等特性,实验结果表明这种架构性能良好,能够满足实际应用需求.     

设备驱动程序可靠性和正确性保障方法与技术研究进展

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.     

ARINC429接口驱动软件的可靠性设计研究

本文以软件可靠性工程理论为指导,以保证系统软件的高可靠性为研究目的 ,进行ARINC429接口驱动软件的可靠性设计与分析,提出了模块化容错设计、冗余设计等多种软件可靠性设计方法,有效提高了ARINC429接口驱动软件的可靠性.