-
公开(公告)号:CN110083488A
公开(公告)日:2019-08-02
申请号:CN201910320906.4
申请日:2019-04-21
Applicant: 哈尔滨工业大学
IPC: G06F11/14
Abstract: 本发明提出了一种面向GPGPU的细粒度低开销的容错系统,其中包括任务划分模块,检查点备份模块,冗余执行与错误检测模块,错误修复模块。本发明可以实现对GPU计算部件瞬时故障的容错处理,并且可以解决GPU的传统软件容错方法中容错粒度大、错误修复代价高、容错系统性能差等问题。本发明的有益效果:能够把线程任务进行划分,减小kernel的计算规模,在检查点备份时只需对相对活跃变量进行备份,减少了存储带来的时空开销,在错误修复时只需把与错误相关的部分对象进行复算,减小了复算带来的容错代价,并且充分利用CPU-GPU异构系统的异步机制,隐藏了因为数据传输带来的时间延迟,提高了系统的性能。
-
公开(公告)号:CN109582474A
公开(公告)日:2019-04-05
申请号:CN201811298378.9
申请日:2018-11-02
Applicant: 哈尔滨工业大学
IPC: G06F9/54
CPC classification number: G06F9/546
Abstract: 本发明提出了基于缓存优化的多线程确定性方法,其中包括线程确定性结构模块,多线程通信隔离模块,原子事务阶段划分模块,线程同步策略研究模块以及LIRS缓存优化。本发明可以用于多线程系统中保障任务的线程确定性执行,并且优化确定性方法带来的额外系统开销,防止因为线程不确定性运行带来的同步竞争和数据竞争。以事务为单位划分线程运行阶段,并行阶段线程并行执行,隔离线程通信,设置栅栏进行全局同步。串行阶段线程通过确定性顺序获取令牌,依次向内存中执行提交,实行确定性调度。因为线程之间通讯隔离,缓存成为最末级共享存储,因此采用更加适合多线程的LIRS缓存替换算法优化系统性能,以此保证多线程运行确定性的同时减少系统开销。
-
公开(公告)号:CN104657239B
公开(公告)日:2017-07-28
申请号:CN201510121093.8
申请日:2015-03-19
Applicant: 哈尔滨工业大学
Abstract: 基于分离式日志的多核处理器瞬时故障恢复系统及其瞬时故障恢复方法,属于计算机技术领域。为了解决多核处理器非确定性事件的确定性故障恢复缺少高可用性解决方案的问题。所述系统包括:分离式日志记录模块,用于记录相应内核的非确定性事件信息,对内存竞争日志将采用点到点的依赖关系分开记录,在一致性协议的应答方记录依赖关系的先发生方,在请求方记录依赖关系的后发生方,对外部中断记录中断类型和中断地址;分离式日志控制器模块,用于建立日志记录空间与检查点设置的映射关系;恢复硬件模块,用于结合分离式日志的卷回恢复技术和确定性重演技术,完成瞬时故障的检查点后的确定性恢复。用于多核处理器故障恢复。
-
公开(公告)号:CN105653411A
公开(公告)日:2016-06-08
申请号:CN201511005348.0
申请日:2015-12-28
Applicant: 哈尔滨工业大学
IPC: G06F11/22
CPC classification number: G06F11/2236 , G06F11/2252
Abstract: 支持局部永久故障恢复的多核处理器芯片可重构系统,属于计算机技术领域。为了解决现有多核处理器芯片的局部故障恢复存在可用性差的问题。所述系统包括:故障检测模块,用于检测多核处理器芯片的故障,并将故障核隔离;故障定位模块,用于获取故障的位置,地址和类型等信息,实现对故障的准确定位;根据故障点的定位分析,确定重构布线的约束条件和需要重构的最小电路模块;故障恢复模块,避开故障点所在位置,采用硬件演化算法生成与需要重构的最小电路模块功能一致的等效模块,获得新的配置码流,基于局部重配置方法将配置文件的差异码流重新下载,实现对故障核的重构,恢复其正常功能。用于多核处理器局部永久故障恢复。
-
公开(公告)号:CN118210644A
公开(公告)日:2024-06-18
申请号:CN202410102062.7
申请日:2024-01-25
Applicant: 哈尔滨工业大学(威海)
IPC: G06F11/07
Abstract: 本发明提供面向智能平台的故障注入系统,涉及故障注入技术领域。该面向智能平台的故障注入系统,该系统采用客户端与服务器端的架构,用户在客户端设置好故障模型的参数后传递给服务器端,服务器端得到参数后开始进行故障注入和故障结果检测,所述故障注入系统可以利用软件模拟航天场景中的单粒子故障现象,并对该故障注入过程进行覆盖性评测和敏感性评测。本发明中,通过构建面向智能平台的软件模拟故障注入系统,用软件来模拟单粒子故障的注入,采用客户端远程连接服务器端的架构,用户在客户端设置好故障模型的参数传递给服务器端,服务器端得到参数后开始进行故障注入和故障结果检测,能够更好地评测宇航设备的可靠性。
-
公开(公告)号:CN116599726A
公开(公告)日:2023-08-15
申请号:CN202310571388.X
申请日:2023-05-20
Applicant: 哈尔滨工业大学(威海)
Abstract: 本发明提供了一种基于漏洞利用网的工控安全事件识别响应方法及系统,该系统包括知识图谱构建部分和安全事件识别响应部分,分为以下步骤:将知识库数据提取并转化为知识图谱中的节点;使用基于预训练机器学习模型的方式建立节点间的连接;使用设备和攻击方式节点的关键识别特征匹配工控系统的状态并映射至漏洞节点;将所匹配漏洞节点进行连接,形成漏洞利用网;根据漏洞利用网的不同形态,给出对应的响应信息。相比于传统的工控安全检测及响应方法,本发明将漏洞的识别问题转变为有更明显特征的设备和攻击方式的识别问题,减少了识别难度;同时,通过漏洞利用网模型,本发明能够生成更为有效的事件响应信息。
-
公开(公告)号:CN107193661B
公开(公告)日:2020-08-21
申请号:CN201710339568.X
申请日:2017-05-15
Applicant: 哈尔滨工业大学(威海)
Abstract: 面向多核处理器确定性重演的优化分段式内存竞争记录系统及其方法,涉及一种内存竞争记录系统,为了解决现有分段式内存竞争记录方法的冗余和判断方式不足导致漏记的问题,通过设置段号寄存器,实现了多核处理器存在内存竞争的优化记录,所述的记录方法在检测到内存竞争冲突时与之前的竞争记录进行有效地比较,判断是否可以约减,判断是否可以利用相邻同向竞争关系进行人工访问冲突的设置,达到减少内存竞争记录的次数,优化内存竞争日志,降低硬件资源消耗的效果。它可扩展到容错处理、事后安全分析等更为广泛的应用模型中。
-
公开(公告)号:CN107515781B
公开(公告)日:2020-07-07
申请号:CN201710593976.8
申请日:2017-07-20
Applicant: 哈尔滨工业大学(威海)
Abstract: 本发明提出了一种基于多处理器的确定性任务调度及负载均衡系统,包括确定性调度模块,任务消息队列存储器,负载均衡模块。本发明可用于在多处理器系统中对任务进行确定性调度和负载平衡,防止因为进程调度不确定性而带来的访存冲突和运算错误。解决现有多处理器系统的任务分配效率低下和不具备确定性的问题,通过设置进程记录器对进程ID进行记录和管理,以及和内存隔离的备份内存空间建立联系的方式避免出现访存冲突,从而实现确定性调度。同时针对固定处理器分配方法效率低下,可能出现的空闲和阻塞问题进行了优化,采用公用消息队列的方法根据任务数量和优先级按照分配算法对处理器进行分配。
-
公开(公告)号:CN110162399A
公开(公告)日:2019-08-23
申请号:CN201910381305.4
申请日:2019-05-08
Applicant: 哈尔滨工业大学
Abstract: 本发明提出了一种面向多核实时系统的时间确定性方法,其中包括运算资源管理模块、调度裁决模块、任务同步模块和专用核心模块。本发明结合目前通用的确定性技术,应用于实时系统中,使任务执行具备时间确定性、空间确定性和执行确定性。通过在同步阶段设置同步时间片的策略,一定程度上提升确定性技术效率。通过定义特殊数据结构,隐藏了直接与操作系统底层的交互,方便了各模块共享资源的维护工作。将调度管理的对象设为任务组,在确定性执行机制下对任务进行评估,划分优先级,令确定性技术可以更好地贴合实时系统特性。将CPU核心分为运算核心和专用核心两部分,采用不同方案,保障任务运行过程中的实时性。
-
公开(公告)号:CN105653411B
公开(公告)日:2019-01-18
申请号:CN201511005348.0
申请日:2015-12-28
Applicant: 哈尔滨工业大学
IPC: G06F11/22
Abstract: 支持局部永久故障恢复的多核处理器芯片可重构系统,属于计算机技术领域。为了解决现有多核处理器芯片的局部故障恢复存在可用性差的问题。所述系统包括:故障检测模块,用于检测多核处理器芯片的故障,并将故障核隔离;故障定位模块,用于获取故障的位置,地址和类型等信息,实现对故障的准确定位;根据故障点的定位分析,确定重构布线的约束条件和需要重构的最小电路模块;故障恢复模块,避开故障点所在位置,采用硬件演化算法生成与需要重构的最小电路模块功能一致的等效模块,获得新的配置码流,基于局部重配置方法将配置文件的差异码流重新下载,实现对故障核的重构,恢复其正常功能。用于多核处理器局部永久故障恢复。
-
-
-
-
-
-
-
-
-