A method for realizing inter-partition communication of an embedded partition operation system

Abstract

The invention provides a method for realizing inter-partition communication of an embedded partition operation system. The method is based on lock-free annular channel caching. By means of conditionalcompilation, partition communication is configured, when a user channel cache is configured and used, the channel cache is defined in the user partition space, if a task needs to construct and send amessage, the channel cache operation in the user partition space can be carried out without switching a kernel mode, and one-time copying of the user partition space to the channel cache is omitted.According to the invention, channel buffering based on the annular queue is adopted; the lockless communication of one writer / at least one reader can be realized without relying on hardware; or lock-free communication of a plurality of writers / readers is realized on a hardware platform supporting CAS operation; the real-time performance and safety of the operating system are improved, the verification and test expenditure of the operating system is optimized, meanwhile, two memory optimized conditional compilation configuration options are provided, two times of copying are reduced compared with a traditional implementation mode after starting, and the space expenditure of communication is greatly reduced.

Description

technical field [0001] The invention relates to the field of embedded operation, in particular to a realization method of inter-partition communication conforming to the ARINC-653 standard. Background technique [0002] The inter-partition communication conforming to the ARINC-653 standard is different from the traditional inter-process communication. The inter-partition mainly relies on the communication mechanism of channels and ports, and the operating system is responsible for managing the receiving and sending of messages. A channel is a map of partitions to partitions. Channels and ports are defined during system configuration, and all partition communication is carried by messages via channels and ports. [0003] The traditional channel-port implementation needs to lock or enter the critical section when the operating system reads and writes the channel cache to ensure that there will be no concurrent security issues. However, using locks or critical sections will af...

AI Technical Summary

Problems solved by technology

[0005] In order to overcome the deficiencies of the prior art, the lock or critical section implementation of the traditional channel-port communication mechanism and the literature "A partition based on an embedded operating system The method proposed in "Communication Method and Device" has the shortcomings of large memory overhead and low communication efficiency. The present invention proposes a lock-free and configurable partition communication implementation method, based on a lock-free ring channel cache, and using conditional compilation to configure partitions communication

Images