【文章內容簡介】 n 接收消息（ RECEIVER_BUFFER）；n 獲取消息緩存的標示（ GET_BUFFER_ID）；n 獲取消息緩存的狀態(tài)（ GET_BUFFER_STATUS）。分區(qū)內通信：ARINC 653 標準介紹分區(qū)內通信：ARINC 653 標準介紹　　黑板中的消息不允許排隊，任何寫到黑板的消息將一直保持直到被清除或者被新消息覆蓋。這就允許發(fā)送進程在任何時刻都能發(fā)送消息，允許接收進程在任何時刻都可以訪問最新的消息?！　》謪^(qū)內任何進程可以從黑板上讀取消息、在黑板上寫一個消息或者清空黑板?！　∪绻M程試圖從空黑板中讀取消息，操作系統(tǒng)將產生進程重調度，該進程將被放入等待隊列中，等待一段指定的時間，如果在該段時間內沒有消息到達，操作系統(tǒng)將自動從隊列中移出該進程，將其置為就緒狀態(tài)?！　‘斢邢⒌竭_黑板上時，操作系統(tǒng)將從進程等待隊列中移出所有等待進程，將他們置為就緒狀態(tài)，而消息仍然保留在黑板上。當黑板被清除時，黑板變?yōu)榭諣顟B(tài)。分區(qū)內通信：黑板ARINC 653 標準介紹APEX服務接口（ Blackboard）：n 創(chuàng)建黑板（ CREATE_BLACKBOARD）；n 寫黑板消息（ DISPLAY_BLACKBOARD）；n 讀黑板的消息（ READ_BLACKBOARD）；n 清除黑板上的消息（ CLEAR_BLACKBOARD）；n 獲取黑板的標識（ GET_BLACKBOARD_ID）；n 獲取黑板的狀態(tài)（ GET_BLACKBOARD_STATUS）。分區(qū)內通信：ARINC 653 標準介紹分區(qū)內通信：ARINC 653 標準介紹　　 ARINC 653定義了計數信號量（ Counting Semaphore） 。信號量用于對分區(qū)內資源的多重訪問?！　∵M程獲得信號量成功后信號量的計數值減一，當訪問結束時釋放信號量時加以。其計數值反映了允許訪問資源的次數。信號量的調度策略在創(chuàng)建時定義，當進程試圖獲取的信號量計數值為零時，該進程可以被放入等待隊列或等待其指定的時間后退出?！　〉却盘柫康倪M程可以按照先進先出原則，也可以按照優(yōu)先級次序原則在隊列中排隊。在優(yōu)先級次序條件下，同等優(yōu)先級的進程按照先進先出原則排隊。分區(qū)內通信：信號量ARINC 653 標準介紹APEX服務接口（ Semaphore）：n 創(chuàng)建信號量（ CREATE_SEMAPHORE）；n 等待信號量（ WAIT_SEMAPHORE）；n 釋放信號量（ SIGNAL_SEMAPHORE）；n 獲取信號量的標識（ GET_SEMAPHORE_ID）n 獲取信號量的狀態(tài)（ GET_SEMAPHORE_STATUS）。分區(qū)內通信：ARINC 653 標準介紹　　事件是一種進程通信機制：它可以把某種發(fā)生的情況告知等待該情況的進程。事件是由一個二值狀態(tài)變量（狀態(tài)為 “ 有效態(tài)（ UP） ” 和 “ 無效態(tài)（ DOWN） ” ）和一組等待進程組成。　　同一分區(qū)內的進程可以設置和清除事件。事件創(chuàng)建時，被設置為 “ 無效態(tài) ” 。為了通知事件條件的發(fā)生，可以設置指定的事件為“ 有效態(tài) ” ，此時，所有等待該事件的進程從等待狀態(tài)變?yōu)榫途w狀態(tài)，然后進入重調度。等待事件的進程執(zhí)行順序應該只依賴于分區(qū)內進程調度規(guī)則。分區(qū)內通信：事件ARINC 653 標準介紹APEX服務接口（ Event）：n 創(chuàng)建事件（ CREATE_EVENT）；n 設置事件為（ UP）狀態(tài)（ SET_EVENT）；n 重新初始化（ DOWN）事件（ RESET_EVENT）；n 等待事件（ WAIT_EVENT）；n 獲取事件的標識（ GET_EVENT_ID）；n 獲取事件的狀態(tài)（ GET_EVENT_STATUS）。分區(qū)內通信：ARINC 653 標準介紹分區(qū)內通信：ARINC 653 標準介紹　　分區(qū)間通信是指在同一核心模塊或不同核心模塊上運行分區(qū)之間的通信。分區(qū)間通信可分為四類：a) 同一核心模塊內分區(qū)間的通信；b) 同一機箱內不同核心模塊上的分區(qū)間的通信；c) 不同機箱的分區(qū)間的通信；d) 航空電子系統(tǒng)與其它設備之間的通信?！　∷械姆謪^(qū)間通信都基于消息進行，消息從單個的源發(fā)出，到一個或多個目的地。消息的目的地是分區(qū)而不是分區(qū)內的進程。通過消息連接分區(qū)的基本機制是通道（ channel）。通道指定從源到目的地的消息傳遞模式，以及要發(fā)送的消息的特性?！　》謪^(qū)通過已定義的訪問點訪問通道，訪問點稱為端口（ port）。通道由端口以及相關的資源組成，端口提供資源以允許分區(qū)在特定的通道中發(fā)送或接收消息。分區(qū)間通信：ARINC 653 標準介紹 通道可以分布在組成系統(tǒng)的各個核心模塊上，每個通信節(jié)點（核心模塊，網關， I/O模塊等）可以通過配置表單獨配置。系統(tǒng)設計人員必須確保每個通道的不同端口有一致性的配置，而源、目的、傳遞模式和每個通道的唯一性不會在運行時改變。通道的消息傳遞模式包含兩種：采樣模式（ Sampling Mode）和隊列模式（ Queuing Mode）?！　》謪^(qū)間消息被定義為有限長度的連續(xù)數據塊，分 Fixed/Variable Length、 Periodic/Aperiodic、 Broadcast, Multicast and Unicast Messages。固定長度且允許覆蓋的采樣方式和可變長度且不允許覆蓋的隊列方式。分區(qū)間通信：ARINC 653 標準介紹　　在采樣方式下，消息保持在采樣端口直到被發(fā)送或者被新的消息所覆蓋。采樣方式允許源分區(qū)在任何時間發(fā)送消息，每個新的消息覆蓋當前消息并持續(xù)到被覆蓋。目的分區(qū)在任何時間訪問最新的廣播消息?！　〔蓸臃绞较聸]有消息隊列，不允許對消息進行分割，必須為每個通道定義最大未分割消息長度。只有固定長度的消息允許以采樣方式發(fā)送。采樣模式分區(qū)間通信：ARINC 653 標準介紹　　隊列方式不允許在傳遞中覆蓋先前的消息，即消息在隊列方式中不會丟失。　　通道中以隊列方式運行的端口允許緩沖多個消息，源分區(qū)發(fā)送的消息存儲在源端口的消息隊列中，直到被發(fā)送；當消息到達目的端口后，消息將緩存在目的端口的消息隊列中。消息隊列通過通信協(xié)議來管理，以先進先出順序將消息從源端口發(fā)送到目的端口。 隊列方式支持變長消息，它允許對消息進行分割和重組。如果不直接支持變長消息的發(fā)送，源端口必須將消息分解成一系列固定長度的分段，目的端口必須重組這些分段。分段的長度應小于或等于通道內所有端口可接受的最大未分割長度。隊列模式分區(qū)間通信：ARINC 653 標準介紹? 分區(qū)標識：分區(qū)標識指示哪一個分區(qū)能訪問該端口；? 端口名：分區(qū)訪問端口的唯一標識，應用軟件使用端口名指定端口。通過使用端口名而非直接尋址源 /目的分區(qū)，使得應用軟件與通信網絡有更好的獨立性；? 源 /目的端口名：指出端口與其它分區(qū)中端口的關系。如果是發(fā)送端口，則應指出接收消息的端口名；如果是接收端口，則應指出消息源所在的端口名；? 傳遞方式：指出端口的消息傳遞方式（采樣方式或隊列方式）。該屬性主要用于管理端口內的消息、通道內發(fā)送到該端口的消息；? 傳遞方向：指出端口是發(fā)送消息還是接收消息；? 消息