公共文化服务平台

面向驱动配置的自动日志插入方法研究被引量：2: 2013年; 驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时容易发生驱动配置错误,而该类错误尚无法通过现有的方法直接进行定位和解决.文中设计并实现了AiLsDc(Automatically inserting Log system for Driver configuration)自动日志插入辅助检错系统,能够根据参数配置规范文档中的规则进行驱动配置检查.AiLsDc首先按照定义的驱动配置规范规格XML文档对驱动源码进行插装和修改,运行时动态检查驱动的配置是否满足配置规范文档的要求.当出现参数违例时,日志记录模块将会自动记录可能引起该违例的错误原因和错误位置.通过对比和检查日志,能够在出错时快速定位从而辅助纠错,提高开发效率.实用性评测表明,系统能够捕获配置异常,而性能评测结果表明,AiLsDc系统在提高驱动的可靠性的同时,带来的开销很小.; 刘虎球马超白家驹; 关键词：操作系统可靠性

用于源代码配对的静态检查方法及装置: 本发明提出一种用于源代码配对的静态检查方法及装置，其中本发明的方法包括以下步骤：对所述源代码进行词法分析，将所述源代码中的注释滤除，并将所述源代码拆分成若干个记号流；对所述记号流进行语法分析以构造语法树；对所述语法树进行...; 胡事民刘虎球; 文献传递

一种编译脚本自动生成方法和自动生成装置: 本发明提出一种编译脚本自动生成方法及装置，其中该方法包括:根据用户修改项，生成源代码对应的顶层编译脚本；利用语法分析器，检查并识别出源文件中包含的头文件；向头文件所在的目录添加子编译脚本；向头文件的父目录逐级添加编译脚本...; 胡事民刘虎球; 文献传递

一种内核模块的指针错误隔离方法: 2015年; 现代操作系统的驱动程序和文件系统都以内核模块形式出现,而内核模块的操作大多使用指针,因此内核模块中指针使用的可靠性直接决定着操作系统能否长久稳定运行.设计了一种内核模块的指针错误隔离方法(PFI)来有效地阻止指针相关的错误运行,并且不用修改系统内核,该方法基于LLVM编译架构进行实现,分为变量标记和数据检测两个工作阶段.变量标记是指在程序编译时根据代码上下文语义找到确定错误,从而大大降低程序运行时带来额外的开销;数据检测通过在潜在错误前面插装对敏感数据的检查代码,并在运行时进行动态检测,从而准确地发现数据动态变化时产生的错误.文中所述的PFI方法在Linux操作系统中进行了实现,并结合网卡驱动进行了评测,实验结果表明通过使用动静结合的方式,PFI能够有效地对模块中的错误进行隔离,并且不会带来显著的性能影响.; 白家驹刘虎球王瑀屏; 关键词：内核模块数据检测

多核间内存调度方法: 本发明涉及计算机及电子信息技术领域，公开了一种多核间内存调度方法，包括以下步骤：S1：获取来自多核的内存访问请求，在所述内存访问请求上贴上标签，然后将贴上标签的所述内存访问请求放置在缓冲区队列中；S2：从已经就绪的所述缓...; 王瑀屏刘虎球赵鹏

基于输入输出模拟的交互式设备驱动调试方法及装置: 本发明涉及计算机安全防范技术领域，公开了一种基于输入输出模拟的交互式设备驱动调试方法，包括步骤：S1：在驱动正常工作时，记录驱动输出至设备的配置信息及设备返回的输入信息，所述输入信息包含设备寄存器返回的状态信息；S2：将...; 胡事民刘虎球白家驹马超; 文献传递

一种异构网络数据透明传送装置: 本发明公开了一种异构网络数据透明传送装置，包括：构造基本功能协议的微型处理器协议构造模块，对数据传送或转换的网络协议转换模块；所述微处理器协议构造模块、所述网络协议转换模块相互双向通信连接；所述微型处理器协议构造模块接收...; 胡事民刘虎球; 文献传递

一种驱动程序的代码覆盖率测量方法及装置: 本发明公开了一种驱动程序的代码覆盖率测量方法及装置，涉及软件测试技术领域，所述方法包括：S1：对待测试驱动程序的源代码进行编译，以获得中间代码，对中间代码中的各基本块添加标号，并对中间代码中的各基本块插装传递函数；S2：...; 胡事民白家驹刘虎球; 文献传递

基于日志注入的驱动配置调试方法: 本发明公开了一种基于日志注入的驱动配置调试方法，包括：S1.提取驱动的设备寄存器的配置规范文档；S2.按照所述配置规范文档对驱动进行检测钩子注入；S3.在检测钩子位置添加相关类型的日志函数；S4.运行修改后的驱动，运行时...; 胡事民刘虎球白家驹马超; 文献传递

一种编译脚本自动生成方法和自动生成装置: 本发明提出一种编译脚本自动生成方法及装置，其中该方法包括:根据用户修改项，生成源代码对应的顶层编译脚本；利用语法分析器，检查并识别出源文件中包含的头文件；向头文件所在的目录添加子编译脚本；向头文件的父目录逐级添加编译脚本...; 胡事民刘虎球; 文献传递

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

刘虎球