-
公开(公告)号：CN106528453A
公开(公告)日：2017-03-22
申请号：CN201510573746.6
申请日：2015-09-10
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F12/0882
摘要： 本发明涉及一种使用多尺度复合页表，进行分区空间页表映射管理的优化方法。面向安全关键的操作系统在实现空间分区时，需要使用处理器的页表式存储管理机制来完成各分区的逻辑地址和物理地址的映射。本发明的基于可变页表大小的页表管理方法，将一个分区的逻辑空间，以优化的方式，转化成多个不同大小页的组合。分区的页表，首先尽可能使用大尺度的页进行空间映射，剩下的空间，才使用4K页进行管理。使用本发明，在不会造成空间碎片的情况下，不仅能够减少页表占用的空间，同时减少了缺页发生的次数，最终节省操作系统空间保护功能消耗的时间与空间资源。
-
公开(公告)号：CN106528453B
公开(公告)日：2019-10-18
申请号：CN201510573746.6
申请日：2015-09-10
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F12/0882
摘要： 本发明涉及一种使用多尺度复合页表，进行分区空间页表映射管理的优化方法。面向安全关键的操作系统在实现空间分区时，需要使用处理器的页表式存储管理机制来完成各分区的逻辑地址和物理地址的映射。本发明的基于可变页表大小的页表管理方法，将一个分区的逻辑空间，以优化的方式，转化成多个不同大小页的组合。分区的页表，首先尽可能使用大尺度的页进行空间映射，剩下的空间，才使用4K页进行管理。使用本发明，在不会造成空间碎片的情况下，不仅能够减少页表占用的空间，同时减少了缺页发生的次数，最终节省操作系统空间保护功能消耗的时间与空间资源。
-
公开(公告)号：CN105653465A
公开(公告)日：2016-06-08
申请号：CN201410649498.4
申请日：2014-11-14
申请人： 中国航空工业第六一八研究所
摘要： 本发明提供了一种基于HASH算法的倒置页表确定性管理方法，其特征在于：在获得应用场景的分区数量和各分区所需虚地址空间大小的基础上，调整各分区的虚地址空间大小，并根据物理存储空间大小进行初步的页表大小分配；根据虚地址空间大小，对各虚地址分区进行排序，并统一各分区的虚拟起始地址；随机分配第一个分区的hash算子，并仿真将此分区的页索引分配到页表中；根据之前分区的算子和虚地址空间大小，以及当前分区的虚空间大小，分配当前分区的hash算子，以尽可能避免虚地址在页表中的偏移冲突，若得到的当前分区hash算子为0，则调整hash算子。
-
公开(公告)号：CN106528276B
公开(公告)日：2019-08-02
申请号：CN201510575790.0
申请日：2015-09-10
申请人： 中国航空工业第六一八研究所
摘要： 本发明针对安全关键操作系统提供了一种基于任务调度的故障处理方法，除了能够隔离软件运行中发生的故障、避免其蔓延之外，应该能够在故障发生时进行，根据用户预先设定的策略进行故障的处理和系统功能的恢复。当调度运行中的某个任务发生了故障时，为保证任务执行时间的确定性，对此任务故障进行的处理和恢复应不影响其它任务的正常运行。为每个用户任务指定专门的故障处理任务。当某个任务在运行过程中发生故障时，操作系统内核会调度相应的故障处理任务占用其原有的时间片。在时间规划调度中，对此类故障处理任务也进行特殊处理，保证任务故障处理的过程中，其它正常用户任务的运行时间不受影响。
-
公开(公告)号：CN105653465B
公开(公告)日：2018-08-24
申请号：CN201410649498.4
申请日：2014-11-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F12/1009
摘要： 本发明提供了一种基于HASH算法的倒置页表确定性管理方法，其特征在于：在获得应用场景的分区数量和各分区所需虚地址空间大小的基础上，调整各分区的虚地址空间大小，并根据物理存储空间大小进行初步的页表大小分配；根据虚地址空间大小，对各虚地址分区进行排序，并统一各分区的虚拟起始地址；随机分配第一个分区的hash算子，并仿真将此分区的页索引分配到页表中；根据之前分区的算子和虚地址空间大小，以及当前分区的虚空间大小，分配当前分区的hash算子，以尽可能避免虚地址在页表中的偏移冲突，若得到的当前分区hash算子为0，则调整hash算子。
-
公开(公告)号：CN106874155A
公开(公告)日：2017-06-20
申请号：CN201510933294.8
申请日：2015-12-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F11/30
CPC分类号： G06F11/3006
摘要： 本发明属于嵌入式软件集成开发环境技术，具体涉及一种嵌入式软件开发阶段针对目标机的动态监控方法。本发明嵌入式软件开发阶段针对目标机的动态监控方法在宿主机[1]、目标机服务器[2]和目标机[3]间进行多根树型拓扑连接，目标机[3]主动被动结合方式发送自身信息，目标机服务器[2]事件制与定时制结合方式广播目标机信息集合，宿主机[1]动态发现及管理目标机信息，以树型拓扑方式动态显示信息。该方法通过软件设计自动对目标机[3]动态发现和管理，避免嵌入式软件开发时对目标机[3]的配置，宿主机[1]完全动态发现目标机[3]启动和关闭状态，动态发现目标机服务的变化，从而降低目标机软件开发时对目标机[3]连接和配置的复杂度，提高嵌入式软件开发效率。
-
公开(公告)号：CN106528276A
公开(公告)日：2017-03-22
申请号：CN201510575790.0
申请日：2015-09-10
申请人： 中国航空工业第六一八研究所
摘要： 本发明针对安全关键操作系统提供了一种基于任务调度的故障处理方法，除了能够隔离软件运行中发生的故障、避免其蔓延之外，应该能够在故障发生时进行，根据用户预先设定的策略进行故障的处理和系统功能的恢复。当调度运行中的某个任务发生了故障时，为保证任务执行时间的确定性，对此任务故障进行的处理和恢复应不影响其它任务的正常运行。为每个用户任务指定专门的故障处理任务。当某个任务在运行过程中发生故障时，操作系统内核会调度相应的故障处理任务占用其原有的时间片。在时间规划调度中，对此类故障处理任务也进行特殊处理，保证任务故障处理的过程中，其它正常用户任务的运行时间不受影响。
-
公开(公告)号：CN204256727U
公开(公告)日：2015-04-08
申请号：CN201420684628.3
申请日：2014-11-14
申请人： 中国航空工业第六一八研究所
IPC分类号： G06F11/36
摘要： 本实用新型属于计算机调试技术领域，涉及一种多机远程调试精确同步系统，其包括调试器、远程调试接口以及多目标计算机。其中，所述远程调试接口包括控制模块、同步停模块、同步启模块、低级调试命令模块以及停止信号专线、启动信号专线和调试专线。所述控制模块连接调试器，同时分别连接到同步停模块、同步启模块和低级调试命令模块，该同步停模块经停止信号专线、同步启模块经启动信号专线、低级调试命令模块经调试专线分别连接到多目标计算机。本实用新型通过对远程调试接口内部架构及与多目标计算机连线的设计，能够在多机远程调试过程中，保证多机精确同步停止，在调试多机系统后，保证多机精确同步启动，从而实现多机远程精确同步调试。
-
-
-
-
-
-
-
搜索结果
8 条记录 (耗时 0.033 秒)
