-
公开(公告)号：CN104657238B
公开(公告)日：2016-09-21
申请号：CN201510070076.6
申请日：2015-02-10
Applicant: 北京控制工程研究所
IPC: G06F11/16
Abstract: 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电路，该电路能够通过I/O接口被处理器访问和操作；(3)构建可重构阵列模型中N×N个节点之间的通信协议；(4)基于处理器通过步骤(3)建立的通信协议实现对可重构阵列模型的重构。
-
公开(公告)号：CN104063295B
公开(公告)日：2016-08-24
申请号：CN201410295331.2
申请日：2014-06-26
Applicant: 北京控制工程研究所
Abstract: 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器核将自己的处理器核ID设置为主核ID号，并设置同步信号，然后释放自旋锁；后续申请到自旋锁的处理器核通过读取到的值得知自己为从核，且主核ID对应的处理器核为主核，释放自旋锁；主核完成内存、总线设备及操作系统内核的初始化后通过设置核间同步信号启动从核，使主核和从核同时开始任务调度。本发明能够在主核故障时仍能正常启动其他处理器核运行，提高了多核计算机的可靠性。
-
公开(公告)号：CN105069052A
公开(公告)日：2015-11-18
申请号：CN201510441109.3
申请日：2015-07-24
Applicant: 北京控制工程研究所
IPC: G06F17/30
CPC classification number: G06F17/30949
Abstract: 本发明一种星载操作系统集成的故障快速自主处理方法，步骤如下：(1)为每种故障分配一个故障代码，并由用户自定义故障处理函数，作为一个记录项，以hash表的方式组织，实现以故障代码为关键字的快速插入和快速查找；(2)在星载操作系统运行过程中，当内核检测到故障时把故障代码发送到一个消息队列，通过消息队列取得故障消息，根据故障代码在hash表中进行查找，得出故障诊断的详细结果，并进行处理。本发明提供了应用层面的一种故障诊断和处理机制，能够采用软件手段有效解决系统中处理器中断或陷阱无法识别和处理的故障问题。
-
公开(公告)号：CN103713948B
公开(公告)日：2015-09-23
申请号：CN201310746023.2
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装，即先挂起函数TaskFunc_N()，再调用函数TaskFunc_N()；(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图，利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针；(3)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。
-
公开(公告)号：CN103713948A
公开(公告)日：2014-04-09
申请号：CN201310746023.2
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装，即先挂起函数TaskFunc_N()，再调用函数TaskFunc_N()；(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图，利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针；(3)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。
-
Patent Agency Ranking
公开(公告)号：CN107193692B
公开(公告)日：2020-01-21
申请号：CN201710369325.0
申请日：2017-05-23
Applicant: 中国科学院计算技术研究所 , 北京控制工程研究所
IPC: G06F11/14
Abstract: 本发明提供一种基于检查点的计算机的容错方法。该方法包括：在判断为执行检查点时，暂停用户进程；利用计算机中空闲的计算资源对所述用户进程的进程状态数据进行分块并计算每个分块的hash值，以确定需要保存的分块；在计算分块的hash值的过程中，将已经确定的需要保存的分块和相应的hash值进行保存，以形成用于恢复出错的用户进程的检查点文件。利用本发明的方法能够有效的利用超级计算机中空闲计算资源和并行文件系统的I/O带宽，从而缩短执行检查点和检查点卷回的时间。
-
公开(公告)号：CN107193692A
公开(公告)日：2017-09-22
申请号：CN201710369325.0
申请日：2017-05-23
Applicant: 中国科学院计算技术研究所 , 北京控制工程研究所
IPC: G06F11/14
Abstract: 本发明提供一种基于检查点的计算机的容错方法。该方法包括：在判断为执行检查点时，暂停用户进程；利用计算机中空闲的计算资源对所述用户进程的进程状态数据进行分块并计算每个分块的hash值，以确定需要保存的分块；在计算分块的hash值的过程中，将已经确定的需要保存的分块和相应的hash值进行保存，以形成用于恢复出错的用户进程的检查点文件。利用本发明的方法能够有效的利用超级计算机中空闲计算资源和并行文件系统的I/O带宽，从而缩短执行检查点和检查点卷回的时间。
-
公开(公告)号：CN104657238A
公开(公告)日：2015-05-27
申请号：CN201510070076.6
申请日：2015-02-10
Applicant: 北京控制工程研究所
IPC: G06F11/16
Abstract: 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电路，该电路能够通过I/O接口被处理器访问和操作；(3)构建可重构阵列模型中N×N个节点之间的通信协议；(4)基于处理器通过步骤(3)建立的通信协议实现对可重构阵列模型的重构。
-
公开(公告)号：CN104579314A
公开(公告)日：2015-04-29
申请号：CN201410844496.0
申请日：2014-12-30
Applicant: 北京控制工程研究所
IPC: H03K19/177
Abstract: 本发明提供一种针对SRAM型FPGA的可靠性优化方法，该方法包括如下步骤：以查找表LUT为单位，建立含有逻辑屏蔽效应的功能等价类；对网表中各查找表的可靠性进行评估；根据可靠性评估的结果，对于电路中输入地址线未完全使用的查找表，进行可靠性优化；对优化后的电路可靠性进行评估，计算优化效果；本发明充分利用FPGA电路中存在的空闲资源，在不带来额外面积开销的前提下有效提高电路可靠性，并且具有计算复杂度低，对电路性能影响小，不依赖于特定FPGA芯片物理结构，应用范围广等特点。
-
公开(公告)号：CN104572213A
公开(公告)日：2015-04-29
申请号：CN201510036911.4
申请日：2015-01-23
Applicant: 北京控制工程研究所
IPC: G06F9/445
Abstract: 本发明涉及一种星载控制计算机的重构方法，该方法的步骤包括：(1)、对计算机单元的FPGA进行系统划分；(2)、地面控制中心计算机单元的FPGA配置文件；(3)、地面控制中心发送所述FPGA配置文件到数管分系统；(4)、数管分系统将所述FPGA配置文件发送到整星总线上；(5)、计算机单元在当班工作状态下进行重构操作；该方法采用SRAM型FPGA替换原有星载计算机的中央处理器，并在原有星载计算机上设计重构控制电路和重构配置数据存储器与该SRAM型FPGA的配置接口连接，该SRAM型FPGA划分为可重构区和固定区，可以实现星载控制计算机完成在轨重构，使得星载计算机在轨期间能够在地面的控制下，使用上行注入的配置文件实时改变功能。
-
-
-
-
-
-
-
-
-
Search Results
32
records
(took 0.033 seconds)
