-
公开(公告)号:CN103257913B
公开(公告)日:2015-10-28
申请号:CN201310136769.1
申请日:2013-04-18
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F11/28
Abstract: 本发明属于计算机软件容错领域,涉及一种运行时软件故障检测排除系统和方法。该系统主要由被监控程序和监控服务器组成。被监控程序包括函数拦截部件、错误处理部件,监控服务器包括规则文件、规则转换部件、故障推理部件。监控服务器读取规则文件,规则转换部件将规则文件转换为推理自动机,等待被监控程序发来事件;函数拦截部件和错误处理部件通过源代码插装方式与被监控程序结合,被监控程序运行过程中,函数拦截部件发送事件到监控服务器,故障推理部件对事件进行推理,得出结论并返回处理方法;被监控程序通过错误处理部件执行处理方法。本发明适用于已知源代码的C\C++程序的容错,有助于软件运行时错误分析和修复。
-
公开(公告)号:CN103257913A
公开(公告)日:2013-08-21
申请号:CN201310136769.1
申请日:2013-04-18
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F11/28
Abstract: 本发明属于计算机软件容错领域,涉及一种运行时软件故障检测排除系统和方法。该系统主要由被监控程序和监控服务器组成。被监控程序包括函数拦截部件、错误处理部件,监控服务器包括规则文件、规则转换部件、故障推理部件。监控服务器读取规则文件,规则转换部件将规则文件转换为推理自动机,等待被监控程序发来事件;函数拦截部件和错误处理部件通过源代码插装方式与被监控程序结合,被监控程序运行过程中,函数拦截部件发送事件到监控服务器,故障推理部件对事件进行推理,得出结论并返回处理方法;被监控程序通过错误处理部件执行处理方法。本发明适用于已知源代码的C\C++程序的容错,有助于软件运行时错误分析和修复。
-
公开(公告)号:CN102938035A
公开(公告)日:2013-02-20
申请号:CN201210442752.4
申请日:2012-11-08
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
Abstract: 本发明公开了一种在虚拟机内部的驱动隔离系统与方法,涉及计算机容错技术,通过被隔离驱动程序的授权表,实现简单、有效、兼容已有操作系统和驱动程序架构的基于全虚拟化技术在虚拟机内部隔离驱动程序的系统,一种在虚拟机内部的驱动隔离系统包括运行于虚拟机用户态的驱动隔离加载模块、虚拟机内核态的内存信息监视模块以及虚拟机管理器内部的内存访问控制模块,所述虚拟机内核态的内存信息监视模块包括:包装函数库、隔离控制子模块以及消息通信子模块。
-
公开(公告)号:CN101794242B
公开(公告)日:2012-07-18
申请号:CN201010103349.X
申请日:2010-01-29
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F11/00
Abstract: 服务于操作系统核心层的容错计算机系统数据比较方法,通过在Linux操作系统中启动内核守护进程,执行数据比较器逻辑,为容错计算机系统中的双模冗余进程提供数据比较服务。在内核中添加事件链表作为消息通道,冗余进程与数据比较器以生产-消费的方式工作,冗余进程将待写数据封装为消息包插入消息链表,比较器从消息链表中取下消息包,按定义格式解析消息包并比较冗余进程待写数据,最后将结果返还给冗余进程。本发明在操作系统核心层实现,无须硬件定制,实现简单,适用于基于普通硬件架构的进程级双模冗余容错系统,通用性好。所有比较逻辑都在操作系统核心层自动完成,无须应用程序参与,对应用具有良好的透明性。
-
公开(公告)号:CN102938035B
公开(公告)日:2015-05-27
申请号:CN201210442752.4
申请日:2012-11-08
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
Abstract: 本发明公开了一种在虚拟机内部的驱动隔离系统与方法,涉及计算机容错技术,通过被隔离驱动程序的授权表,实现简单、有效、兼容已有操作系统和驱动程序架构的基于全虚拟化技术在虚拟机内部隔离驱动程序的系统,一种在虚拟机内部的驱动隔离系统包括运行于虚拟机用户态的驱动隔离加载模块、虚拟机内核态的内存信息监视模块以及虚拟机管理器内部的内存访问控制模块,所述虚拟机内核态的内存信息监视模块包括:包装函数库、隔离控制子模块以及消息通信子模块。
-
公开(公告)号:CN101794242A
公开(公告)日:2010-08-04
申请号:CN201010103349.X
申请日:2010-01-29
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F11/00
Abstract: 服务于操作系统核心层的容错计算机系统数据比较方法,通过在Linux操作系统中启动内核守护进程,执行数据比较器逻辑,为容错计算机系统中的双模冗余进程提供数据比较服务。在内核中添加事件链表作为消息通道,冗余进程与数据比较器以生产-消费的方式工作,冗余进程将待写数据封装为消息包插入消息链表,比较器从消息链表中取下消息包,按定义格式解析消息包并比较冗余进程待写数据,最后将结果返还给冗余进程。本发明在操作系统核心层实现,无须硬件定制,实现简单,适用于基于普通硬件架构的进程级双模冗余容错系统,通用性好。所有比较逻辑都在操作系统核心层自动完成,无须应用程序参与,对应用具有良好的透明性。
-
公开(公告)号:CN102279775B
公开(公告)日:2013-04-17
申请号:CN201110237833.6
申请日:2011-08-19
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F11/00
Abstract: 本发明提供一种Linux系统下的硬盘故障处理方法,包括以下步骤:步骤1:配置文件;步骤2:周期性对硬盘进行检测,并将结果保存在硬盘日志文件中;步骤3:提取硬盘状态参数;步骤4:根据硬盘状态参数判断硬盘是否发生或即将发生故障;若是则检测模块发出故障事件给处理模块,并转到步骤5,否则转到步骤2继续执行;步骤5:处理模块根据检测模块传递的故障事件类型,查找相应的故障处理方案;步骤6:通过故障处理方案执行故障处理,完成后退出处理模块,转到步骤2继续执行。本发明方法中用户可以根据自身需要灵活定制,并且在检测到硬盘发生或即将发生故障时,向用户报警、修复硬盘坏道或备份硬盘数据,提高用户使用的灵活性和硬盘数据的安全性。
-
公开(公告)号:CN102279775A
公开(公告)日:2011-12-14
申请号:CN201110237833.6
申请日:2011-08-19
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F11/00
Abstract: 本发明提供一种Linux系统下的硬盘故障处理方法,包括以下步骤:步骤1:配置文件;步骤2:周期性对硬盘进行检测,并将结果保存在硬盘日志文件中;步骤3:提取硬盘状态参数;步骤4:根据硬盘状态参数判断硬盘是否发生或即将发生故障;若是则检测模块发出故障事件给处理模块,并转到步骤5,否则转到步骤2继续执行;步骤5:处理模块根据检测模块传递的故障事件类型,查找相应的故障处理方案;步骤6:通过故障处理方案执行故障处理,完成后退出处理模块,转到步骤2继续执行。本发明方法中用户可以根据自身需要灵活定制,并且在检测到硬盘发生或即将发生故障时,向用户报警、修复硬盘坏道或备份硬盘数据,提高用户使用的灵活性和硬盘数据的安全性。
-
公开(公告)号:CN102194080B
公开(公告)日:2013-07-10
申请号:CN201110157731.3
申请日:2011-06-13
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F21/56
Abstract: 本发明提供了一种基于内核虚拟机的rootkit检测方法,该方法对rootkit的攻击对象类型进行了抽象分类:静态代码段,静态数据段,动态分配函数,堆空间数据,并且针对不同类型提供了不同的保护和检测机制;而具体的rootkit敏感信息,则通过运行在客户机中的运行时模块来获取,通过增加语义处理通道实现内核虚拟机和客户机之间的信息交互,通过扩展对应的缺页异常处理程序和vmcall主动陷入机制,保证该机制下客户机正常执行。本发明能够有效的组织针对静态代码和数据段的攻击并且在很小开销下和安全环境下实现动态信息的隔离保存和检测恢复。
-
公开(公告)号:CN102194080A
公开(公告)日:2011-09-21
申请号:CN201110157731.3
申请日:2011-06-13
Applicant: 西安交通大学 , 山东高效能服务器和存储研究院
IPC: G06F21/22
Abstract: 本发明提供了一种基于内核虚拟机的rootkit检测机制及检测方法,该机制对rootkit的攻击对象类型进行了抽象分类:静态代码段,静态数据段,动态分配函数,堆空间数据,并且针对不同类型提供了不同的保护和检测机制;而具体的rootkit敏感信息,则通过运行在客户机中的运行时模块来获取,通过增加语义处理通道实现内核虚拟机和客户机之间的信息交互,通过扩展对应的缺页异常处理程序和vmcall主动陷入机制,保证该机制下客户机正常执行。本发明能够有效的组织针对静态代码和数据段的攻击并且在很小开销下和安全环境下实现动态信息的隔离保存和检测恢复。
-
-
-
-
-
-
-
-
-