公开(公告)号：CN103995759A

公开(公告)日：2014-08-20

申请号：CN201410215175.4

申请日：2014-05-21

申请人： 中国人民解放军国防科学技术大学

发明人： 廖湘科 ,  颜跃进 ,  李俊良 ,  刘晓建 ,  杨沙洲 ,  姚望 ,  汪黎 ,  秦莹 ,  周强 ,  王非

IPC分类号： G06F11/22

摘要： 本发明公开了一种基于核内外协同的高可用计算机系统故障处理方法及装置，方法步骤如下：1）分别检测服务故障和硬件故障，将故障通过故障报告接口输出；2）检测到故障报告后进行分析，根据分析结果对硬件故障或者服务故障进行故障处理，记录日志并向管理员发送通知，然后判断是否需要进行双机热备，如果需要双机热备则通知指定的双机热备软件进行双机热备；装置则包括方法步骤完全对应的故障统一报告子系统和故障统一处置子系统。本发明能够实现软硬件故障统一管理，对软件故障和硬件故障的检测高效及时，处理流程简单，故障处理规则扩展方便、能够保证计算机系统在软件故障或硬件故障下高可用性。

公开(公告)号：CN102508742B

公开(公告)日：2013-12-18

申请号：CN201110341733.8

申请日：2011-11-03

申请人： 中国人民解放军国防科学技术大学

发明人： 秦莹 ,  刘晓建 ,  戴华东 ,  吴庆波 ,  孔金珠 ,  颜跃进

IPC分类号： G06F11/14

摘要： 本发明公开了一种面向硬件不可恢复内存故障的内核代码软容错方法，其实施步骤如下：1）在操作系统将内核代码加载至物理内存时，将内核代码标记为主代码，为每段内核代码设置多份代码副本并加载至物理内存中；2）在操作系统运行时，如果内核代码所在内存遇到内存异常则定位当前主代码的出错内核页，将出错内核页代码与代码副本进行比较，如果确定出错内核页的代码发生错误，则暂停计算机运行，修改出错内核页的内核代码页表，从当前主代码对应的代码副本中选择一份正常的代码副本代替当前主代码，然后继续运行计算机。本发明能够提高操作系统运行的稳定性、增强内核模块可靠性、降低内存出错可能性，减少内存故障对操作系统运行的干扰。

公开(公告)号：CN102156753B

公开(公告)日：2012-11-14

申请号：CN201110110264.9

申请日：2011-04-29

申请人： 中国人民解放军国防科学技术大学

发明人： 戴华东 ,  吴庆波 ,  颜跃进 ,  朱浩 ,  孔金珠 ,  秦莹

IPC分类号： G06F17/30

摘要： 本发明公开了一种面向固态硬盘文件系统的数据页缓存方法，其实施步骤如下：1)在高速缓存中建立用于缓存数据页的缓冲链表；2)将固态硬盘中读取的数据页缓存在缓冲链表中以供访问，并实时根据数据页的访问状态和写访问状态将缓冲链表中数据页分类为冷干净页、热干净页、冷脏页和热脏页；3)当缓冲链表中没有空闲空间时，首先在缓冲链表中根据冷干净页、热干净页、冷脏页、热脏页的优先顺序查找一个数据页作为待置换页，然后将待置换页与从固态硬盘读取的新数据页进行置换。本发明可充分利用固态硬盘特性、有效缓解外部存储的性能瓶颈、提高系统存储处理性能，具有I/O性能好、缓存页置换代价低、开销小、命中率高的优点。

公开(公告)号：CN102156753A

公开(公告)日：2011-08-17

申请号：CN201110110264.9

申请日：2011-04-29

申请人： 中国人民解放军国防科学技术大学

发明人： 戴华东 ,  吴庆波 ,  颜跃进 ,  朱浩 ,  孔金珠 ,  秦莹

IPC分类号： G06F17/30

摘要： 本发明公开了一种面向固态硬盘文件系统的数据页缓存方法，其实施步骤如下：1)在高速缓存中建立用于缓存数据页的缓冲链表；2)将固态硬盘中读取的数据页缓存在缓冲链表中以供访问，并实时根据数据页的访问状态和写访问状态将缓冲链表中数据页分类为冷干净页、热干净页、冷脏页和热脏页；3)当缓冲链表中没有空闲空间时，首先在缓冲链表中根据冷干净页、热干净页、冷脏页、热脏页的优先顺序查找一个数据页作为待置换页，然后将待置换页与从固态硬盘读取的新数据页进行置换。本发明可充分利用固态硬盘特性、有效缓解外部存储的性能瓶颈、提高系统存储处理性能，具有I/O性能好、缓存页置换代价低、开销小、命中率高的优点。

公开(公告)号：CN100383763C

公开(公告)日：2008-04-23

申请号：CN200410022933.7

申请日：2004-02-27

申请人： 中国人民解放军国防科学技术大学

发明人： 戴华东 ,  卢凯 ,  秦莹

IPC分类号： G06F12/08

摘要： 本发明公开了一种基于操作系统反向页表的页迁移和复制方法，将操作系统内核反向页表数据结构应用于页迁移和页复制算法中，快速实现物理地址到虚拟地址的转换，迅速准确地定位页迁移和复制算法中需要更新的进程页表项，支持对这些页表项的灵活操作，从而解决了多个进程共享迁移页时必须遍历整个进程地址空间的问题，提高了页迁移和复制算法的效率，降低了算法引起的数据一致性维护开销。同时，建立新的物理地址到虚拟地址的映射关系只需要简单修改所有映射到源物理页的页表项即可，简化了算法的实现。

公开(公告)号：CN103995759B

公开(公告)日：2015-04-29

申请号：CN201410215175.4

申请日：2014-05-21

申请人： 中国人民解放军国防科学技术大学

发明人： 廖湘科 ,  颜跃进 ,  李俊良 ,  刘晓建 ,  杨沙洲 ,  姚望 ,  汪黎 ,  秦莹 ,  周强 ,  王非

IPC分类号： G06F11/22

摘要： 本发明公开了一种基于核内外协同的高可用计算机系统故障处理方法及装置，方法步骤如下：1）分别检测服务故障和硬件故障，将故障通过故障报告接口输出；2）检测到故障报告后进行分析，根据分析结果对硬件故障或者服务故障进行故障处理，记录日志并向管理员发送通知，然后判断是否需要进行双机热备，如果需要双机热备则通知指定的双机热备软件进行双机热备；装置则包括方法步骤完全对应的故障统一报告子系统和故障统一处置子系统。本发明能够实现软硬件故障统一管理，对软件故障和硬件故障的检测高效及时，处理流程简单，故障处理规则扩展方便、能够保证计算机系统在软件故障或硬件故障下高可用性。

公开(公告)号：CN102508742A

公开(公告)日：2012-06-20

申请号：CN201110341733.8

申请日：2011-11-03

申请人： 中国人民解放军国防科学技术大学

发明人： 秦莹 ,  刘晓建 ,  戴华东 ,  吴庆波 ,  孔金珠 ,  颜跃进

IPC分类号： G06F11/14

摘要： 本发明公开了一种面向硬件不可恢复内存故障的内核代码软容错方法，其实施步骤如下：1）在操作系统将内核代码加载至物理内存时，将内核代码标记为主代码，为每段内核代码设置多份代码副本并加载至物理内存中；2）在操作系统运行时，如果内核代码所在内存遇到内存异常则定位当前主代码的出错内核页，将出错内核页代码与代码副本进行比较，如果确定出错内核页的代码发生错误，则暂停计算机运行，修改出错内核页的内核代码页表，从当前主代码对应的代码副本中选择一份正常的代码副本代替当前主代码，然后继续运行计算机。本发明能够提高操作系统运行的稳定性、增强内核模块可靠性、降低内存出错可能性，减少内存故障对操作系统运行的干扰。

公开(公告)号：CN102103541A

公开(公告)日：2011-06-22

申请号：CN201110047800.5

申请日：2011-02-28

申请人： 中国人民解放军国防科学技术大学

发明人： 秦莹 ,  戴华东 ,  吴庆波 ,  刘晓建 ,  孔金珠 ,  颜跃进 ,  董攀

IPC分类号： G06F12/02

摘要： 一种防止内存泄露和内存多次释放的内核模块内存管理方法，其实施步骤如下：1)建立记录数组；2)当内核模块请求系统分配内存时，向记录数组中添加与分配内存相关联的内存分配记录；3)当内核模块请求系统释放内存时，在记录数组中查找与待释放内存相关联的内存分配记录，如果存在关联的内存分配记录则执行内存释放、并删除该内存分配记录；如果不存在关联的内存分配记录则发出“多次释放”的告警；4)当内核模块退出时，扫描记录数组，如果记录数组中仍留有内存分配记录，则根据内存分配记录将其关联的内存进行逐一释放，并最终清除记录数组。本发明可防止内核模块发生内存泄露和多次内存释放，具有内存定位能力好、操作系统忙闲程度低、占用资源少、内存足迹小、适应性好的优点。

公开(公告)号：CN103995743B

公开(公告)日：2015-04-29

申请号：CN201410215702.1

申请日：2014-05-21

申请人： 中国人民解放军国防科学技术大学

发明人： 廖湘科 ,  刘晓建 ,  杨沙洲 ,  韦奇 ,  李俊良 ,  颜跃进 ,  汪黎 ,  秦莹 ,  周强 ,  王非

IPC分类号： G06F9/48 ,  G06F9/50

摘要： 本发明公开了一种基于资源预约的两级混合任务调度方法，实施步骤为：为各处理器建立各自的局部队列、抢先计数器、抢先允许状态，抢先允许状态反映处理器的中断/抢先的开放/禁止情况；为全系统建立全局队列；为任务创建抢先列表；被唤醒任务先存于全局队列，再为其寻找局部队列，若找到的处理器已临时关闭抢先，则增加其抢先计数器，并将其加入此任务的抢先列表，否则将任务移入相应局部队列；处理器在调度时根据其抢先计数器状态决定候选任务来自哪些队列；若被调度执行的任务抢先列表非空，则减少该表所登记处理器的抢先计数器。本发明能够防止操作系统决定抢先“不能马上实施抢先的优先权”，具有调度合理、可靠性好、执行效率高的优点。

公开(公告)号：CN104123503A

公开(公告)日：2014-10-29

申请号：CN201410292502.6

申请日：2014-06-25

申请人： 中国人民解放军国防科学技术大学

发明人： 秦莹 ,  吴庆波 ,  戴华东 ,  孔金珠 ,  杨沙洲 ,  沈胜宇 ,  谭郁松

IPC分类号： G06F21/60

CPC分类号： G06F21/14

摘要： 本发明公开了一种SAT问题计算外包中的CNF公式数据保护方法，实施步骤如下：生成Husk公式S2和Husk解Hr；将原始CNF公式S1、S2两者以保持解空间不变为前提混合生成新CNF公式S以及变量映射表M；将待求解数据使用新CNF公式S转换为CNF公式数据并外包到远端服务器，利用远端服务器对收到的CNF公式数据求解得到混淆解Or；基于变量映射表M对混淆解Or解映射，将解映射时在变量映射表M中被标记映射至原始CNF公式S1的实际变量填充至原始解R并进行正确性验证，最终得到混淆解Or对应的原始解R。本发明能够混淆任意CNF公式S1以隐藏其包含的结构信息、并保证混淆之后的CNF公式S可使用原SAT求解器求解，还可对外包计算的结果进行正确性验证。