-
公开(公告)号：CN119829236A
公开(公告)日：2025-04-15
申请号：CN202411810296.3
申请日：2024-12-10
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明属于计算机系统软件技术领域，具体涉及一种三态系统中分区操作系统的中断服务实现方法，在三态系统的配置记录中定义中断服务的名称和所属的分区号，然后编译配置记录生成中断服务配置记录信息包；随后当三态系统启动后，将中断服务配置记录信息包共享给所有系统态的分区操作系统；本发明能够实现在三态分区操作系统下能够使进程被通过配置记录定义好的外部事件直接进行触发，提高系统应用的灵活性。
-
公开(公告)号：CN113805951B
公开(公告)日：2025-04-08
申请号：CN202111066644.7
申请日：2021-09-10
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/4401 , G06F9/50 , G06F9/54
Abstract: 本申请提供一种基于ARINC653标准的服务分区设备共享的端口映射方法，其特征在于，所述方法包括：操作系统开发环境配置工具，根据用户分区配置中设备共享的分区类型，自动创建与分区类型对应的分区设备共享端口的配置记录；在核心操作系统端口初始化的过程中，对所所述分区设备共享端口的配置记录进行处理，设置分区设备共享端口的属性；在分区操作系统初始化过程中，分区设备共享管理根据用户分区配置中设备共享的分区类型，对分区设备共享端口进行自动创建；将对应不同端口目的分区的分区设备共享端口分类，将服务于本分区多组端口ID信息加入到本分区的设备共享端口管理列表中。
-
公开(公告)号：CN116126519A
公开(公告)日：2023-05-16
申请号：CN202211615117.1
申请日：2022-12-15
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明属于计算机系统软件技术领域，具体涉及一种嵌入式实时操作系统设备管理高频临界资源保护方法，提升设备管理获取文件描述符驱动信息的高频临界区多核程序并发执行的效率，减少临界区不能并发执行的程序的占比，在保证了程序多核确定性的同时，提升了设备管理高频临界区多核运行程序的并发能力，给操作系统设备管理带来很大的性能提升。
-
公开(公告)号：CN110868365B
公开(公告)日：2023-04-07
申请号：CN201911138952.9
申请日：2019-11-20
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: H04L49/9015 , H04L49/901 , H04L49/90
Abstract: 本发明属于计算机系统软件专业技术领域，涉及一种多核下基于环形缓冲的分区间通信方法，该方法包括：确定需要进行分区间通信的第一分区和第二分区；在所述第一分区和所述第二分区之间建立一环形缓冲通道，其中，所述环形缓冲通道配置有一个源端口和至少一个目的端口；在所述第一分区调用端口创建服务创建所述源端口，以及，在所述第二分区调用端口创建服务创建目的端口；调用所述第一分区的发送服务通过所述源端口循环发送消息，以及，调用所述第二分区的接收服务通过所述目的端口循环接收消息。这样可简化分区间通信消息传输过程，实现通信共享资源解耦，有效提高分区间通信运行的确定性，充分利用CPU多核的并行计算处理能力，提升系统运行效能。
-
公开(公告)号：CN112328331B
公开(公告)日：2023-03-24
申请号：CN202011376990.0
申请日：2020-11-30
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/445 , G06F9/4401
Abstract: 本发明提供一种分区更换应用的方法和装置，应用于分区操作系统，分区操作系统包括至少一个分区，每个分区划分有第一部署空间和运行空间，运行空间用于运行第一部署空间中的分区应用；方法包括：在分区操作系统的空间中划分第二部署空间，确定第二部署空间对应的应用更换分区，将待加载的应用映像部署在第二部署空间中；重启应用更换分区，将待加载的应用映像从第二部署空间加载到应用更换分区的运行空间中；运行应用更换分区的运行空间中的应用映像。本发明实现在操作系统运行过程中、不影响其他分区运行的条件下，更换其中某一分区或某几个分区的应用，提高系统应用的灵活性。
-
Patent Agency Ranking
公开(公告)号：CN113805951A
公开(公告)日：2021-12-17
申请号：CN202111066644.7
申请日：2021-09-10
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/4401 , G06F9/50 , G06F9/54
Abstract: 本申请提供一种基于ARINC653标准的服务分区设备共享的端口映射方法，其特征在于，所述方法包括：操作系统开发环境配置工具，根据用户分区配置中设备共享的分区类型，自动创建与分区类型对应的分区设备共享端口的配置记录；在核心操作系统端口初始化的过程中，对所所述分区设备共享端口的配置记录进行处理，设置分区设备共享端口的属性；在分区操作系统初始化过程中，分区设备共享管理根据用户分区配置中设备共享的分区类型，对分区设备共享端口进行自动创建；将对应不同端口目的分区的分区设备共享端口分类，将服务于本分区多组端口ID信息加入到本分区的设备共享端口管理列表中。
-
公开(公告)号：CN108228524A
公开(公告)日：2018-06-29
申请号：CN201611154079.9
申请日：2016-12-14
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F15/163 , G06F9/48
Abstract: 本发明属于计算机系统软件专业技术领域，涉及多核操作系统的核间交互方法。本发明为每个处理器核提供专用交互通道，其他处理器核将数据投递到专用通道中与该处理器核进行交互，而该处理器核摘取通道中的数据并处理，完成交互。该方法具有唯一性、实时性和高并行特点特性。针对目前的共享内存核间交互技术，本发明提高了核间交互并行性和实时性。通过一个空闲链表管理所有的空闲处理器核间交互数据块；源处理器核在发起处理器核间交互时从空闲链表中获取一个核间交互数据块；源处理器核根据核间交互需要设置交互数据并将核间交互数据块投递到目的处理器核对应的专用交互通道中。目的处理器核从专用交互通道中摘取核间交互数据并处理，处理结束后释放核间交互数据块。
-
公开(公告)号：CN105404550A
公开(公告)日：2016-03-16
申请号：CN201510902249.6
申请日：2015-12-08
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/48
CPC classification number: G06F9/4887 , G06F2209/484 , G06F2209/485
Abstract: 本发明属于计算机系统软件专业技术领域，涉及两级操作系统架构的阻塞性系统调用方法。该方法包括1)核心操作系统内创建worker任务；2)分区内某进程开始调用阻塞性系统调用；3)核心操作系统将步骤2)调用的阻塞性系统调用交由worker任务执行；4)worker任务调用阻塞性系统调用，导致worker任务阻塞；5)分区操作系统阻塞步骤2)中所述的进程；6)worker任务解除阻塞状态；7)解除调用系统的阻塞状态。该方法在分区内某进程调用阻塞性系统调用时，不阻塞分区，仅阻塞该进程，分区内其他进程在等待阻塞性系统调用完成时依然可以运行，提高了工作性能。
-
公开(公告)号：CN112416862B
公开(公告)日：2024-06-18
申请号：CN202011376542.0
申请日：2020-11-30
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F16/11 , G06F16/172 , G06F16/18
Abstract: 本发明提供一种基于分区操作系统架构的文件管理系统和方法，分区操作系统架构包括：核心操作系统和至少一个应用分区；其中，各应用分区包括：用户应用和分区操作系统，用户应用运行在分区操作系统上；各分区操作系统中均包括文件系统，文件系统管理至少一个逻辑盘；第一应用分区的文件系统挂载有第二应用分区的逻辑盘，对第二应用分区的至少一个逻辑盘只具有读权限；第一应用分区和第二应用分区为至少一个应用分区中的应用分区，第一应用分区对第二应用分区具有读数据需求。可解决分区文件系统面临的文件安全并行访问问题。
-
公开(公告)号：CN115686902A
公开(公告)日：2023-02-03
申请号：CN202211320506.1
申请日：2022-10-26
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明提供了一种多处理器核的时钟tick处理维护方法，包括初始化时，将时钟中断处理程序挂接在时钟中断上，每一个处理器核接收时钟中断信号时均会执行时钟中断处理程序；获取上一次timebase时间戳；时钟tick被触发时，向每个处理器核发送时钟中断信号；各处理器核获取其进入时钟中断处理程序的当前timebase时间戳；将上一次timebase时间戳与当前timebase时间戳比较，判断本次时钟tick中断是否已被响应过；若未被响应过，则该处理器核处理和维护本次时钟tick中断；完成后退出时钟中断处理程序。上述方法能减少丢失时钟tick、方法高效、没有额外的维护费用、提高了多处理器核执行效率。
-
-
-
-
-
-
-
-
-
Search Results
32
records
(took 0.044 seconds)
