您的位置： 专家智库 > >

郑小宁

作品数：8 被引量：0H指数：0
供职机构：中国航空工业第六一八研究所更多>>

合作作者

文献类型

  • 8篇中文专利

主题

  • 4篇页表
  • 2篇调度
  • 2篇虚地址
  • 2篇映射
  • 2篇任务调度
  • 2篇时间片
  • 2篇算子
  • 2篇排序
  • 2篇物理地址
  • 2篇系统内核
  • 2篇逻辑地址
  • 2篇内核
  • 2篇空间映射
  • 2篇空间资源
  • 2篇故障处理
  • 2篇分区管理
  • 2篇HASH算法
  • 2篇操作系
  • 2篇操作系统
  • 2篇操作系统内核

机构

  • 8篇中国航空工业...

作者

  • 8篇郑小宁
  • 7篇朱立平
  • 6篇淡图南
  • 5篇徐建军
  • 5篇武方方
  • 4篇宋科璞
  • 2篇马瑞
  • 2篇杜林
  • 1篇石鹏飞
  • 1篇王晓

年份

  • 2篇2019
  • 1篇2018
  • 3篇2017
  • 1篇2016
  • 1篇2015
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种基于任务调度的故障处理方法
本发明针对安全关键操作系统提供了一种基于任务调度的故障处理方法，除了能够隔离软件运行中发生的故障、避免其蔓延之外，应该能够在故障发生时进行，根据用户预先设定的策略进行故障的处理和系统功能的恢复。当调度运行中的某个任务发生...
颜纪迅宋科璞武方方淡图南徐建军郑小宁朱立平丛日朝
文献传递
基于复合尺度页的页表分区管理装置和方法
本发明涉及一种使用多尺度复合页表，进行分区空间页表映射管理的优化方法。面向安全关键的操作系统在实现空间分区时，需要使用处理器的页表式存储管理机制来完成各分区的逻辑地址和物理地址的映射。本发明的基于可变页表大小的页表管理方...
颜纪迅武方方宋科璞朱立平淡图南罗星原徐建军郑小宁
文献传递
一种多机远程调试精确同步系统
本实用新型属于计算机调试技术领域，涉及一种多机远程调试精确同步系统，其包括调试器、远程调试接口以及多目标计算机。其中，所述远程调试接口包括控制模块、同步停模块、同步启模块、低级调试命令模块以及停止信号专线、启动信号专线和...
郑小宁王晓马瑞杜林
文献传递
一种嵌入式软件开发阶段针对目标机的动态监控方法
本发明属于嵌入式软件集成开发环境技术，具体涉及一种嵌入式软件开发阶段针对目标机的动态监控方法。本发明嵌入式软件开发阶段针对目标机的动态监控方法在宿主机[1]、目标机服务器[2]和目标机[3]间进行多根树型拓扑连接，目标机...
马瑞武方方石鹏飞徐建军郑小宁杜林苏春宇颜纪迅朱立平
文献传递
一种基于HASH算法的倒置页表确定性管理方法
本发明提供了一种基于HASH算法的倒置页表确定性管理方法，其特征在于：在获得应用场景的分区数量和各分区所需虚地址空间大小的基础上，调整各分区的虚地址空间大小，并根据物理存储空间大小进行初步的页表大小分配；根据虚地址空间大...
颜纪讯朱立平淡图南鹿雪玲郑小宁
文献传递
一种基于任务调度的故障处理方法
本发明针对安全关键操作系统提供了一种基于任务调度的故障处理方法，除了能够隔离软件运行中发生的故障、避免其蔓延之外，应该能够在故障发生时进行，根据用户预先设定的策略进行故障的处理和系统功能的恢复。当调度运行中的某个任务发生...
颜纪迅宋科璞武方方淡图南徐建军郑小宁朱立平丛日朝
文献传递
一种基于HASH算法的倒置页表确定性管理方法
本发明提供了一种基于HASH算法的倒置页表确定性管理方法，其特征在于：在获得应用场景的分区数量和各分区所需虚地址空间大小的基础上，调整各分区的虚地址空间大小，并根据物理存储空间大小进行初步的页表大小分配；根据虚地址空间大...
颜纪讯朱立平淡图南鹿雪玲郑小宁
文献传递
基于复合尺度页的页表分区管理装置和方法
本发明涉及一种使用多尺度复合页表，进行分区空间页表映射管理的优化方法。面向安全关键的操作系统在实现空间分区时，需要使用处理器的页表式存储管理机制来完成各分区的逻辑地址和物理地址的映射。本发明的基于可变页表大小的页表管理方...
颜纪迅武方方宋科璞朱立平淡图南罗星原徐建军郑小宁
文献传递
全选 清除 导出
共1页<1>
聚类工具0