天脉2（ACoreOS653）操作系统学习01
由于我的毕业设计涉及相关嵌入式操作系统，故最近学了学天脉2操作系统。
一、ARINC653标准 1.ARINC653标准是什么？ARINC 653 : ARINC公司的600系列标准的一部分，全名“ Avionics Application Software Standard Interface”。是为满足综合模块化航电系统（IMA）要求，基于计算机资源时空分区的编程接口标准。
发展：在传统的嵌入式实时操作系统中，内核和应用都运行在同一特权级，应用程序可以无限制的访问整个系统地址空间。因此在某些情况下，应用的潜在危险动作会影响其他应用和内核的正常运行，甚至导致系统崩溃或者误操作。为了满足航空电子对高可靠性、高可用性以及高服务性的要求, 1997年1月ARINC发布了ARINC653（航空电子应用软件标准接口），并于2003年7月发布ARINC653 Supplement 1，对区间管理、区间通信及健康监测部分进行了补充说明，用以规范航空电子设备和系统的开发。 分区（Partitioning）是ARINC653中一个核心概念。
目的：解决由于综合化、模块化带来的故障隔离问题。
定义：航电计算机操作系统与应用的通用接口；
作用：标准服务接口，包括：控制调度、通信和获得内部处理单元的信息等；
目标：应用软件可独立开发，运行在同一硬件平台上。
特征：采用ARINC653标准的操作系统设计原理将传统操作系统分为两级，一个是CoreOS，任务是区间化以及区间的管理和调度，CoreOS的上层就是POS，即分区操作系统，在POS的上层才是应用程序的执行。
2.ARINC653体系结构
从用户角度观察的协议层次划分：
核心模块(core module)：一个至少包含了处理器资源和存储器资源的模块。该模块支持对其内存空间、处理时间和I/O等资源进行限制和隔离，以分成多个时间和空间上相互隔离的子系统。
核心操作系统(core O/S)：管理核心模块、分区、APEX接口的操作系统。
分区(partition)：包括代码和数据的程序，它可以被装载到核心模块中的一个独立的地址空间（核心模块的子系统）。运行在核心模块上一个分区由一个或多个并发执行的进程组成，分区内所有进程共享分区所占有的子系统资源。
端口(port)：分区定义的资源，用于在指定的通道上发送或接收消息。端口的属性规定了它对消息传输的控制以及所传输消息的特性。
通道(channel)：分区通信的一个途径，它由一组逻辑上相互连接的端口组成。
APEX服务(service)：APEX<APplication EXecutive>定义的每个系统调用功能称为一个“服务”，标准的服务描述中只确定数据类型名称、服务名称、参数名称和参数的顺序，而忽略过程的实现。
3.ARINC653标准分为4个部分：
PART 1-Required Services：基本服务（重点）
PART 2-Extended Services：扩展服务
PART 3-Confirmity Test Specification：符合性测试规范
PART 4-Subset Services：受限制的服务子集。
PART 1提供的标准服务接口：
分区管理：对运行在核心模块上的多个应用软件按功能可划分为多个分区，一个分区由一个或多个并发执行的进程组成，分区内所有进程共享分区所占有的系统资源。操作系统对分区所占用的处理时间、内存和其它资源拥有控制权，从而使得核心模块中各分区相互独立。
分区管理保证了同时运行的多个不同类型的应用软件集合在时间上和空间上互不影响。