-
公开(公告)号：CN119902598A
公开(公告)日：2025-04-29
申请号：CN202411990842.6
申请日：2024-12-31
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种定时器配置方法及装置，属于时钟技术领域。方法包括：基于总线频率和预分频器的最大分频能力，确定预分频器所能提供的计时当量是否满足定时器所需实现的计时当量；若不满足，则基于总线频率p和定时器所需实现的计时当量，确定满足设定条件的一组正整数m和n；所述设定条件为mnf＝p；m和n均具有对应的选择范围，f为定时器所需实现的计时当量的倒数；并将预分频器的分频资源配置为m，将计数器的分频资源配置为nc；其中，c为所需的计时时长；利用配置好的结果进行计时。本发明能够在多级分频方式下弥补预分频器资源受限问题，且能够使得定时器的定时精度更高。
-
公开(公告)号：CN115514609B
公开(公告)日：2024-05-03
申请号：CN202211066243.6
申请日：2022-08-31
Applicant: 北京控制工程研究所
IPC: H04L41/0246 , H04L41/0273 , H04L41/12 , H04L41/50 , H04L45/02 , H04L69/16
Abstract: 本发明涉及一种Socket链路受限的发布订阅系统及方法，该系统包括N个单机，单机内部建立多个节点，其中一个单机为系统管理器，系统管理器之外的单机以单机为注册单位进行入网申请，入网成功后，单机间通过Socket链路进行网络通信，单机内部节点利用共享内存分发和接收消息，实现消息的传输。
-
公开(公告)号：CN112256463B
公开(公告)日：2023-07-14
申请号：CN202011061700.3
申请日：2020-09-30
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 本发明公开了一种保证Cache与片外存储器内容一致性的单粒子软错误处理方法，包括：设置刷新地址为存储器首地址；按字读取刷新地址内容；当确定触发单粒子软错误时，读取处理器错误状态寄存器；当确定当前单粒子软错误是可纠正错误时，对当前单粒子软错误所对应的出错地址进行纠正，并将纠正结果回写至存储器；对刷新地址进行4字节累加；当确定4字节累加后的刷新地址超过存储器有效地址范围时，返回执行设置刷新地址为存储器首地址的步骤。本发明在单粒子效应导致非法指令陷阱、数据访问陷阱等单粒子软错误时，采用清除对应核的指令Cache和数据Cache等措施，与处理器在使能Cache时的运行特性相适应，保证了单粒子错误时Cache与片外存储器的内容一致性。
-
公开(公告)号：CN112256463A
公开(公告)日：2021-01-22
申请号：CN202011061700.3
申请日：2020-09-30
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 本发明公开了一种保证Cache与片外存储器内容一致性的单粒子软错误处理方法，包括：设置刷新地址为存储器首地址；按字读取刷新地址内容；当确定触发单粒子软错误时，读取处理器错误状态寄存器；当确定当前单粒子软错误是可纠正错误时，对当前单粒子软错误所对应的出错地址进行纠正，并将纠正结果回写至存储器；对刷新地址进行4字节累加；当确定4字节累加后的刷新地址超过存储器有效地址范围时，返回执行设置刷新地址为存储器首地址的步骤。本发明在单粒子效应导致非法指令陷阱、数据访问陷阱等单粒子软错误时，采用清除对应核的指令Cache和数据Cache等措施，与处理器在使能Cache时的运行特性相适应，保证了单粒子错误时Cache与片外存储器的内容一致性。
-
公开(公告)号：CN107463442B
公开(公告)日：2020-09-18
申请号：CN201710566062.2
申请日：2017-07-12
Applicant: 北京控制工程研究所
IPC: G06F9/50
Abstract: 本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多核SoC系统的多个处理器核并行运行调度器模块；调度器模块采用自旋锁访问全局任务调度队列OSTaskRdyList，从全局任务调度队列OSTaskRdyList中取得当前优先级最高的任务T1；调度器模块查找空闲的处理器核或者运行最低优先级任务的处理器核，把优先级最高的任务调度到该处理器核上。本发明解决了多任务在多核SoC上均衡分配和并行运行的问题，大幅度提高了多核SoC的计算和处理效率。
-
Patent Agency Ranking
公开(公告)号：CN106445659B
公开(公告)日：2019-07-12
申请号：CN201610814726.8
申请日：2016-09-09
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方法在当固定时间点任务不占用CPU时，控制随机任务随时执行，直到任务在固定时间点启动运行，同时支持任务的实时加入和退出，与现有技术相比，能够有效的提高空间飞行器计算机的CPU利用率，使得操作系统不仅能保持原有任务调动策略，还具有良好的复用性、适应性和灵活性，具有很好的适用价值。
-
公开(公告)号：CN105204952B
公开(公告)日：2018-03-09
申请号：CN201510521047.7
申请日：2015-08-21
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 本发明提供一种多核操作系统容错管理方法，主要包括，构建n×n的核间故障检测矩阵，每个处理器核利用核间故障检测矩阵定期检测系统中其他处理器核是否发生故障；其中，每个处理器核的故障检测包括：在每个定时监测周期起始，各个处理器核在核间故障检测矩阵中各自对应的一列k中的元素设置为TRUE；在每个定时监测周期末尾，各个处理器核查看矩阵中各自对应的一行j中的元素，如果其中某一个元素ejk不为TRUE，则认为与该列对应的处理器核k可能发生了故障，最后将行j中的元素全部清零。本发明的系统每个处理器核均具备对处理器中其他核进行故障检测的能力，大大提高了系统容错能力。
-
公开(公告)号：CN106708730A
公开(公告)日：2017-05-24
申请号：CN201611046321.0
申请日：2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
-
公开(公告)号：CN104063295B
公开(公告)日：2016-08-24
申请号：CN201410295331.2
申请日：2014-06-26
Applicant: 北京控制工程研究所
Abstract: 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器核将自己的处理器核ID设置为主核ID号，并设置同步信号，然后释放自旋锁；后续申请到自旋锁的处理器核通过读取到的值得知自己为从核，且主核ID对应的处理器核为主核，释放自旋锁；主核完成内存、总线设备及操作系统内核的初始化后通过设置核间同步信号启动从核，使主核和从核同时开始任务调度。本发明能够在主核故障时仍能正常启动其他处理器核运行，提高了多核计算机的可靠性。
-
公开(公告)号：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)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。
-
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.035 seconds)
