多核分区管理方法的设计与实现  

Design and implementation of multicore partition control method

作　　者：郝继锋[1] 虞保忠[1] 郭芳超 HAO Ji-feng;YU Bao-zhong;GUO Fang-chao(Third Research Lab of Aeronautics Computing Technique Research Institute,Xi’an 710065,China)

机构地区：[1]中航工业西安航空计算技术研究所第三研究室,陕西西安710065

出　　处：《计算机工程与设计》2018年第2期387-392,共6页Computer Engineering and Design

基　　金：工信部民机科研基金项目(MJ-S-2012-05)

摘　　要：针对目前综合化模块化航空电子系统中,满足航空电子应用软件接口标准的分区管理方法基于单核嵌入式处理器的现状,研读航空电子工程委员会最新发布航空电子应用软件接口标准第1部分第4次修订版的要求,对恩智浦公司的嵌入式多核处理器、绿山公司的多核分区操作系统、风河公司的多核分区操作系统进行调研;基于多核分区操作系统设计并实现一种多核分区管理方法,提出3个创新点,包括分区在核间的动态控制方法、C/S架构的多核分区动态控制模型、虚拟机管理器的分区动态控制的接口标准;在典型嵌入式多核处理器目标硬件平台上,对多核分区管理方法的功能正确性进行测试和验证。ARINC653-compliant partition operating system applied on IMA system was researched.and the fact that most of partition control methods are based on single core processor was reported.The requirements of the ARINC(avionics application standard software interface)653 P1-4 specification published by the AEEC organization were studied.and a survey about the multicore processor(mainly provided by NXP),the multicore partition RTOS(mainly provided by Green Hills and Wind Ri-ver)was made.The multicore partition control method based on multicore partition operating system was designed and implemented,three innovations were made including the partition multicore control,the partition control model based on the C/S architecture,and the standard interface based on the hypervisor.The test and verification of the correctness of the proposed control method based on the typical target hardware was carried out.

关 键 词：综合化模块化航空电子系统 航空电子工程委员会 航空电子应用软件接口标准第1部分第4次修订版 客户/服务器架构 多核分区操作系统 多核分区管理 虚拟机管理器 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]