天脉2（ACoreOS653）操作系统学习02
一、分区内通信方法
分区内通信指同一分区内进程之间的通信。ARINC 653定义的分区内进程通信机制，包括：缓存队列（Buffers-Queue）、黑板（Blackboards）、信号量（Semaphores）和事件（Events）。其中缓存队列和黑板用于进程间通信，信号量和事件用于进程间同步与互斥。
缓存队列允许其中的消息以队列形式存储，消息不允许覆盖；
黑板在任何时刻最多只保留一个消息，消息允许覆盖。
信号量提供对资源的受控访问；
事件通过通知等待进程某种条件的发生来支持进程间同步控制。
1.缓存队列
消息缓存（message buffer）在发送过程中，等待发送的消息按照先进先出次序存放在缓存队列中。缓存队列中可存放消息的数量由创建时缓存区的大小决定。
接收消息的进程按照先进先出或优先级次序原则排队接收缓存消息。在按优先级次序排队的情况下，相同优先级的接收进程按照先进先出原则排队。接收消息的进程的排队原则在缓存队列创建时定义。
如果多个进程等待一个缓存队列，当这个缓存队列不空，则排队原则（先进先出原则或者优先级原则）将决定哪个进程获得消息。操作系统将把该进程从等待队列中移出，并置为就绪态，并将消息从缓存队列中移出。
如果一个进程试图从空缓存队列中接收消息，或者发送消息到满的缓存队列，操作系统将产生进程重调度，该进程将被放入等待队列中，等待一段指定的时间，如果在该段时间内没有消息被接收或者发送，操作系统将自动从队列中移出该进程，将其置为就绪状态。
2.黑板
通过黑板，可以将消息发布给分区内的所有进程
黑板中的消息不允许排队，任何写到黑板的消息将一直保持直到被清除或者被新消息覆盖。这就允许发送进程在任何时刻都能发送消息，允许接收进程在任何时刻都可以访问最新的消息。
分区内任何进程可以从黑板上读取消息、在黑板上写一个消息或者清空黑板。
如果进程试图从空黑板中读取消息，操作系统将产生进程重调度，该进程将被放入等待队列中，等待一段指定的时间，如果在该段时间内没有消息到达，操作系统将自动从队列中移出该进程，将其置为就绪状态。
当有消息到达黑板上时，操作系统将从进程等待队列中移出所有等待进程，将他们置为就绪状态，而消息仍然保留在黑板上。当黑板被清除时，黑板变为空状态。
3.信号量
提供对资源的受控访问，用于进程间的同步和互斥
两种信号量：计数信号量和互斥信号量
计数信号量功能与标准一致，用于多个资源的互斥访问
互斥信号量作为扩展功能，既可以实现同步，也可以实现互斥，且可以嵌套访问
等待信号量的进程可以按照先进先出原则，也可以按照优先级次序原则在队列中排队。在优先级次序条件下，同等优先级的进程按照先进先出原则排队。
4.事件
事件是一种进程通信机制：它可以把某种发生的情况告知等待该情况的进程。事件是由一个二值状态变量（状态为“有效态（UP）”和“无效态（DOWN）”）和一组等待进程组成。
同一分区内的进程可以设置和清除事件。事件创建时，被设置为“无效态”。为了通知事件条件的发生，可以设置指定的事件为“有效态”，此时，所有等待该事件的进程从等待状态变为就绪状态，然后进入重调度。等待事件的进程执行顺序应该只依赖于分区内进程调度规则。
进程可以同时等待超过一个以上的事件，事件相互之间是独立的。
事件不排队、不携带或传输数据。
二、分区间的通信方法
1.概念
分区间通信是指在同一核心模块或不同核心模块上运行分区之间的通信。分区间通信可分为四类：
a) 同一核心模块内分区间的通信；
b) 同一机箱内不同核心模块上的分区间的通信；
c) 不同机箱的分区间的通信；
d) 航空电子系统与其它设备之间的通信。
所有的分区间通信都基于消息进行，消息从单个的源发出，到一个或多个目的地。消息的目的地是分区而不是分区内的进程。通过消息连接分区的基本机制是通道（channel）。通道指定从源到目的地的消息传递模式，以及要发送的消息的特性。
分区通过已定义的访问点访问通道，访问点称为端口（port）。通道由端口以及相关的资源组成，端口提供资源以允许分区在特定的通道中发送或接收消息。
2.方式
通道可以分布在组成系统的各个核心模块上，每个通信节点（核心模块，网关，I/O模块等）可以通过配置表单独配置。系统设计人员必须确保每个通道的不同端口有一致性的配置，而源、目的、传递模式和每个通道的唯一性不会在运行时改变。通道的消息传递模式包含两种：采样模式和队列模式。
分区间消息被定义为有限长度的连续数据块，分Fixed/Variable Length、Periodic/Aperiodic、Broadcast, Multicast and Unicast Messages。固定长度且允许覆盖的采样方式和可变长度且不允许覆盖的队列方式。
（1）队列模式
队列方式不允许在传递中覆盖先前的消息，即消息在队列方式中不会丢失。
通道中以队列方式运行的端口允许缓冲多个消息，源分区发送的消息存储在源端口的消息队列中，直到被发送；当消息到达目的端口后，消息将缓存在目的端口的消息队列中。消息队列通过通信协议来管理，以先进先出顺序将消息从源端口发送到目的端口。
队列方式支持变长消息，它允许对消息进行分割和重组。如果不直接支持变长消息的发送，源端口必须将消息分解成一系列固定长度的分段，目的端口必须重组这些分段。分段的长度应小于或等于通道内所有端口可接受的最大未分割长度。
适用范围：适用于需要连续数据的通信方式
（2）采样模式
在采样方式下，消息保持在采样端口直到被发送或者被新的消息所覆盖。采样方式允许源分区在任何时间发送消息，每个新的消息覆盖当前消息并持续到被覆盖。目的分区在任何时间访问最新的广播消息。
采样方式下没有消息队列，不允许对消息进行分割，必须为每个通道定义最大未分割消息长度。只有固定长度的消息允许以采样方式发送。
此模式下端口的运行方式与共享存储区相似
接收者不会以等待方式读数据
数据一致性可以保证
适用范围：适用于需要最新数据的通信方式
如有侵权，告知必删。
