基于HOOPN的设备驱动程序状态变化模型及其应用研究

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:liongliong440
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
教学实验设备属于非标准设备,在Windows2000中必须通过编写设备驱动程序来访问.Windows2000支持WDM设备驱动模型,通过PnP管理器发出PnP命令引起设备状态改变以支持即插即用.使用面向对象的层次Petri网HOOPN(hierarchicalobject-orientedPetrinet)对设备驱动程序的状态变化进行建模,为设备驱动程序的研究提供了新思路. MS- DOS实验程序在Windows2000中通过虚拟设备驱动程序(VDD)将虚拟DOS机(VDM)截获的I/O端口请求传递给WDM内核驱动程序以访问非标准设备.将VDD中获取的实验程序使用的I/O基址变换为PCI配置空间基址寄存器中由系统分配的基址,同时,通过使用事件在VDD中模拟中断请求以唤醒等待线程调用中断模拟函数,为Windows2000下MS-DOS应用程序对PCI-ISA桥接设备的访问建立了基址变换和事件模拟中断访问模型.应用基于HOOPN的设备驱动程序状态变化模型、基址变换和事件模拟中断访问模型设计实现了MFID设备驱动程序.
其他文献
该文借鉴了关系数据库中关系模式设计的一些优秀思想,提出了在XML应用中进行模式设计的一套解决思路.把XML模式设计的工作分成概念设计和逻辑设计两个阶段进行,在概念设计阶
国际互联网的快速发展导致了IPSEC技术和NAT技术的广泛应用.IPSEC技术能够为IP报文提供数据源身份验证,数据完整性检查和数据保密功能.NAT技术能有效的缓解目前国际互联网地
从上世纪末数字水印技术出现以来,大量的水印算法不断涌现,为了检验水印的性能,研究者还设计出了各种攻击算法.在对目前一些常用水印算法作了详细分析和评价之后,作者对其取
在深入分析SCEP(SimpleCertificateEnrollmentProtocol,简单证书登记协议)的基础上,提出了实现SCEP协议的两种模型:基于浏览器模型和基子应用程序的模型,并在Windows环境下实
近几年来,移动通信[1]取得了突飞猛进的发展.但传统的话音业务已经增长缓慢,非话音业务成为移动通信发展中一个新的增长点.另一方面,移动智能网[1][2]以交换功能和控制功能相
集群系统是一个并行处理系统,具有性价比高和可扩展的特点.集群己成为高性能计算和超级服务器的基本构建方法,它被运用在各个领域.但还有许多具有挑战性问题有待解决.其中,针
我们接受了TTCN-3的编译器开发任务后,由于这种语言最终版本没有确定,发布的每个草案版本的语法规则都有改动,所以我们决定开发一个可扩展的编译器.它分为:1.词法分析自动生
GIS、CAD等空间应用对数据库系统存储、检索、查询和分析空间数据提出了很高的要求,DM-SDB在国产数据库管理系统DM3的基础上对空司数据模型、空间查询处理和优化、空间索引结