-
公开(公告)号：CN115686902A
公开(公告)日：2023-02-03
申请号：CN202211320506.1
申请日：2022-10-26
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明提供了一种多处理器核的时钟tick处理维护方法，包括初始化时，将时钟中断处理程序挂接在时钟中断上，每一个处理器核接收时钟中断信号时均会执行时钟中断处理程序；获取上一次timebase时间戳；时钟tick被触发时，向每个处理器核发送时钟中断信号；各处理器核获取其进入时钟中断处理程序的当前timebase时间戳；将上一次timebase时间戳与当前timebase时间戳比较，判断本次时钟tick中断是否已被响应过；若未被响应过，则该处理器核处理和维护本次时钟tick中断；完成后退出时钟中断处理程序。上述方法能减少丢失时钟tick、方法高效、没有额外的维护费用、提高了多处理器核执行效率。
-
公开(公告)号：CN113867906A
公开(公告)日：2021-12-31
申请号：CN202111052056.8
申请日：2021-09-08
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明提供了一种分区多核操作系统下的处理器核映射管理方法，包括在系统态内核中配置指定分区多核操作系统使能的处理器物理核号，并采用位定义表示配置的处理器核信息，建立处理器核的使能状态的位集标志，标识当前系统的核使能状态；在分区运行前配置指定分区内处理器核自定义逻辑核号与处理器物理核号的对应关系，根据处理器平台支持的最大处理器核数，定义核映射表大小，并以逻辑核号为索引配置对应的物理核号。本发明为操作系统上运行的分区提供多核支持，并基于配置构建物理核与逻辑核的映射关系，为分区提供逻辑核映射信息，从而支持分区的多核启动与分区内进程的并行执行。
-
公开(公告)号：CN112328331A
公开(公告)日：2021-02-05
申请号：CN202011376990.0
申请日：2020-11-30
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/445 , G06F9/4401
Abstract: 本发明提供一种分区更换应用的方法和装置，应用于分区操作系统，分区操作系统包括至少一个分区，每个分区划分有第一部署空间和运行空间，运行空间用于运行第一部署空间中的分区应用；方法包括：在分区操作系统的空间中划分第二部署空间，确定第二部署空间对应的应用更换分区，将待加载的应用映像部署在第二部署空间中；重启应用更换分区，将待加载的应用映像从第二部署空间加载到应用更换分区的运行空间中；运行应用更换分区的运行空间中的应用映像。本发明实现在操作系统运行过程中、不影响其他分区运行的条件下，更换其中某一分区或某几个分区的应用，提高系统应用的灵活性。
-
公开(公告)号：CN105550027A
公开(公告)日：2016-05-04
申请号：CN201510907017.X
申请日：2015-12-09
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/48
CPC classification number: G06F9/4881
Abstract: 本发明属于计算机系统软件专业技术领域，涉及分区操作系统的多时间调度表切换方法。本发明的主要步骤是为整个系统多个时间调度表；定义三种时间调度表切换时机：下一个时钟TICK到来时切换、当前时间窗口结束时切换、下一个主时间框架开始时切换，为分区定义四种时间调度表切换动作：冷启动、热启动、挂起、忽略；发起时间调度表切换请求；监控时间调度表切换时机的到来；进行时间调度表切换；为分区执行调度表切换动作。达到了分区操作系统中动态改变多个分区的运行时序及运行频率的效果。
-
公开(公告)号：CN116204329A
公开(公告)日：2023-06-02
申请号：CN202211617160.1
申请日：2022-12-15
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/52
Abstract: 本发明提供了一种多任务间互斥信号量死锁的检测方法，包括初始化一个任务位图和一个空的阻塞位图；取出一个任务在阻塞位图上标记，判断如果重复标记则说明存在死锁，否则进入检测；将同样等待在该任务的互斥信号量上的其他任务在阻塞位图上标记，判断如果重复标记则说明存在死锁；查看持有该互斥信号量的任务是否在永久等待其他互斥信号量，如果没有则与该互斥信号量相关的任务从任务位图中清除，重复上述步骤对其他任务检测直至任务位图为空，说明不存在死锁，检测结束。本发明设计的方法不仅有效且效率高，可以及时发现并解决死锁问题，保证系统继续运行。
-
Patent Agency Ranking
公开(公告)号：CN116107766A
公开(公告)日：2023-05-12
申请号：CN202211612125.0
申请日：2022-12-15
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/52
Abstract: 本发明提供了一种多核操作系统的自旋锁死锁检测方法，方法包括获取操作系统处理器核集，依次查找各处理器核的变量；将变量中无待获取自旋锁信息的处理器核集中去除形成待检测核集；使用位图染色法循环查找待检测核集中运行检测程序的处理器核待获取自旋锁是否已被其他处理器核获取，如果有则发生了死锁，没有则将该处理器核剔除，并对其他处理器一一进行检测直至此待检测核集为空，多核操作系统不存在死锁，检测结束。本发明设计的方法具有高效、精确、简单方便的优点，可以尽早发现死锁问题并及时进行反馈，使用户可以根据反馈结果采取相应的解除死锁措施，从而保证系统继续运行。
-
公开(公告)号：CN105549966A
公开(公告)日：2016-05-04
申请号：CN201510901584.4
申请日：2015-12-08
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/44
CPC classification number: G06F8/71
Abstract: 本发明属于计算机系统软件专业技术领域，具体涉及一种满足综合化要求的资源确定性配置方法。该方法包括1】预先静态配置系统资源信息；2】操作系统初始化过程中，根据预先静态配置完成的系统资源信息创建系统资源；3】系统资源的使用。通过该方法使得整个系统的运行可预知、可控制，保证了系统运行时的确定性和稳定性，从而满足整个系统的综合化要求。
-
公开(公告)号：CN118193068A
公开(公告)日：2024-06-14
申请号：CN202311832287.X
申请日：2023-12-27
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/4401
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: 本发明属于计算机系统软件技术领域，具体涉及一种嵌入式实时操作系统设备管理高频临界资源保护方法，提升设备管理获取文件描述符驱动信息的高频临界区多核程序并发执行的效率，减少临界区不能并发执行的程序的占比，在保证了程序多核确定性的同时，提升了设备管理高频临界区多核运行程序的并发能力，给操作系统设备管理带来很大的性能提升。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.036 seconds)
