A port mapping method for service partition device sharing based on ARINC653 standard

Abstract

The present application provides a port mapping method for service partition device sharing based on the ARINC653 standard, characterized in that the method comprises: an operating system development environment configuration tool, which automatically creates a configuration record of a partition device sharing port corresponding to a partition type according to a partition type of device sharing in a user partition configuration; in a process of port initialization of a core operating system, processing the configuration record of the partition device sharing port and setting the attribute of the partition device sharing port; in a process of initializing a partition operating system, the partition device sharing management automatically creates a partition device sharing port according to the partition type of device sharing in the user partition configuration; and classifying partition device sharing ports corresponding to partitions with different port destinations, and adding multiple groups of port ID information serving the partition to a device sharing port management list of the partition.

Description

Technical Field

[0001] The invention belongs to the technical field of computer system software, and in particular relates to a port mapping method for service partition device sharing based on ARINC653 standard. Background Art

[0002] Integrated and modular avionics (IMA) integrates multiple application systems into computers with high-speed processing capabilities, and improves system energy efficiency through resource sharing. Partitioned operating system is the main embedded real-time operating system used in IMA system. In order to ensure determinism and robustness, the partitions in the partitioned operating system are isolated from each other in space and time. Queue ports are the main way to provide interconnection and information exchange between partitions.

[0003] With the trend of aviation system integration, partition operating systems that meet the ARINC653 standard are widely used in avionics systems. In some user-designed systems, multiple partitions need to access the same device. Considering the mutually exclusive protection operation of partition devices in multi-core operating systems, device drivers are generally placed in a service partition, and other partitions are equivalent to client partitions that exchange request information with the device shared service partition through port communication. The traditional way of use is that users manually configure ports and create them in the program and use them to process communication information, which is very inconvenient.

[0004] Based on the above requirements, if the channels and ports can be automatically organized and created during the use of partitioned device sharing and the ports that should be used can be quickly located during the use of ports, it will be able to support the convenient and efficient use of the device sharing function. Summary of the invention

[0005] The invention provides a mapping method for serving the shared port of partitioned equipment, which solves the problem of quickly organizing ports when equipment is shared in a partitioned operating system and providing a method for quickly finding the used port mapping for the management sharing of partitioned equipment.

[0006] The present application provides a port mapping method for service partition device sharing based on the ARINC653 standard, characterized in that the method comprises:

[0007] The operating system development environment configuration tool automatically creates a configuration record of a partition device sharing port corresponding to the partition type according to the partition type of the device sharing in the user partition configuration;

[0008] During the process of initializing the core operating system port, the configuration record of the partition device shared port is processed to set the attribute of the partition device shared port;

[0009] During the partition operating system initialization process, the partition device sharing management automatically creates the partition device sharing port according to the partition type of the device sharing in the user partition configuration;

[0010] The partition device shared ports corresponding to different port destination partitions are classified, and multiple groups of port ID information serving the partition are added to the device shared port management list of the partition.

[0011] Preferably, the partition types shared by devices in the user partition configuration include service partitions and client partitions.

[0012] Preferably, the shared port attributes of the partitioned device include reverse mapping port number, port ID, port name, port-to-partition, port destination partition, port direction, and port message size.

[0013] Preferably, the partition device shared ports corresponding to different port destination partitions are classified, and multiple groups of port ID information serving the partition are added to the device shared port management list of the partition, specifically including:

[0014] According to the partition to which the port belongs, through the port direction, port destination partition and the reverse mapping port number of this port, the sending port ID and receiving port ID of the successfully initialized resources connected to the port destination partition are placed in the device shared port management list, and the sending port ID and receiving port ID are matched and searched through the reverse mapping port number.

[0015] Preferably, the partition operating system is an operating system based on the ARINC653 standard.

[0016] Preferably, according to the partition number of the customer partition, multiple groups of classified transceiver port IDs created and connected to the destination customer partition are put into the device shared port management list; the service partition can perform linear mapping to find a pair of transceiver service ports for use through the customer service partition number where the virtual device request is located; the service partition shared device can perform two-way communication of device data with multiple customer partitions according to the ports in the list, thereby meeting the usage requirements of partition device sharing.

[0017] Preferably, according to the partition number of the service partition, a pair of classified transceiver port IDs created and connected to the destination service partition are put into the device shared port management list; the client partition uses this device shared port list to build the basic communication capability of the virtual driver interface, which is ultimately used by the user for quick call.

[0018] Preferably, the reverse mapping port number is used to record the port number used by the partition in the opposite channel transmission direction serving the same shared destination partition.

[0019] The advantages and effects of the present invention are as follows: after the method described in the present invention is implemented, a device sharing port mapping method can be provided for the partition operating system device management sharing, which can quickly organize and create channel port resources. At the same time, a method for quickly finding corresponding port resources is provided for the partition device management sharing, which can save CPU computing resources. BRIEF DESCRIPTION OF THE DRAWINGS

[0020] Figure 1 A schematic diagram of a device shared port management list provided in this application.

[0021] Figure 2 A schematic diagram of a port mapping initialization process provided for this application. DETAILED DESCRIPTION

[0022] Embodiment 1

[0023] The present invention proposes a port mapping method for serving partition device sharing, which uses a new port type identifier to enable the partition operating system to automatically organize ports serving partition device management. Figure 1-2 As shown, the technical solution includes:

[0024] Step 101: The operating system development environment configuration tool automatically creates a configuration record of a partition device sharing port corresponding to the partition type according to the partition type of device sharing in the user partition configuration;

[0025] Among them, the partition types shared by devices in the user partition configuration include service partitions and client partitions.

[0026] It should be noted that the present application predefines a partition device shared port type in the static configuration of the port of the operating system. The partition device shared port does not conflict with other types of ports and is easy to identify and manage.

[0027] It should be noted that the service partition and each client partition have a pair of receiving and sending partition device shared ports, and the client partition and the service partition have a pair of receiving and sending partition device shared ports.

[0028] Step 102: During the process of initializing the core operating system port, the configuration record of the partition device shared port is processed to set the attributes of the partition device shared port.

[0029] The shared port attributes of the partitioned device include the reverse mapping port number, port ID, port name, the partition to which the port belongs, the port destination partition, the port direction, and the port message size.

[0030] This application adds a reverse mapping port number item to the port attributes defined in the ARINC653 standard. The reverse mapping port number is used to record the port number used by the partition in the opposite channel transmission direction serving the same shared destination partition. The reverse mapping port number can provide the partition device sharing with the ability to quickly locate a group of bidirectional transceiver ports serving the partition, so that the partition sharing device can accurately and quickly locate the location of the required port when transmitting data, reducing CPU consumption.

[0031] Step 103: During the partition operating system initialization process, the partition device sharing management automatically creates a partition device sharing port according to the partition type of device sharing in the user partition configuration.

[0032] Step 104: Classify the partition device shared ports corresponding to different port destination partitions, and add multiple groups of port ID information serving this partition to the device shared port management list of this partition;

[0033] Specifically: According to the partition to which the port belongs, through the port direction, port destination partition and the reverse mapping port number of this port, the sending port ID and the receiving port ID that are connected to the port destination partition and have successfully initialized resources are put into the device shared port management list, and the sending port ID and the receiving port ID are matched and searched through the reverse mapping port number.

[0034] It should be noted that the service partition can use the customer service partition number of the virtual device request to perform linear mapping to find a pair of transceiver service ports for use, and the search complexity is O(1). The service partition shared device can communicate device data with multiple customer partitions in two directions according to the ports in the list, thereby meeting the use requirements of partition device sharing. The customer partition uses this partition device shared port list to build the basic communication capability of the virtual driver interface, which is ultimately used by users for quick invocation.

[0035] Embodiment 2

[0036] The embodiment of the present application takes three partitions as an example for explanation. In the partition configuration, partition 1 is configured as a partition device shared service partition, and partition 2 and partition 3 are configured as client partitions. The method includes:

[0037] Step 201: In the development environment provided by the partition operating system of the ARINC653 standard, the configuration of the partition 1 in the project is set as a service partition, and the configurations of the partitions 2 and 3 are set as client partitions;

[0038] Step 202: The operating system development environment configuration tool creates a configuration record of ports and channels of a partition device sharing type according to whether the device sharing in the partition configuration belongs to a service partition or a client partition;

[0039] Step 203: during the process of initializing the port configuration record, the core operating system adds a reverse mapping port number item in the partition shared device port attribute, which is used to record the port number used by the partition in the opposite channel transmission direction serving the same shared destination partition, and sets this item through port matching search;

[0040] Specifically: Initialize the attribute structure of the partition shared device port. Initialize the partition device shared port information, including the reverse mapping port number, port ID, port name, port partition, port destination partition, port direction and port message size. Include all ports belonging to partition 1, partition 2 and partition 3.

[0041] Step 204: During the partition operating system port initialization process, the partition device sharing management automatically creates the partition sharing device port according to the device sharing partition type (service partition and client partition) in the user partition configuration.

[0042] Specifically: when the partition 1 service partition is initialized, the shared device port of the partition is automatically created; when the partition 2 and the partition 3 client partitions are initialized, the shared device port of the partition is automatically created.

[0043] Step 206: When the partition is initialized, the ports corresponding to different customer partitions are classified, and the multiple groups of port ID information serving the partition are added to the device shared port management list of the partition. Partition 1 service partition: According to the partition number of the customer partition, the classified multiple groups of created transceiver ports connected to the target customer partition are added to the device shared port management list. Partition 2 and Partition 3 customer partitions: According to the partition number of the service partition, a pair of created transceiver ports connected to the target service partition are added to the device shared port management list.

[0044] Step 207: The service partition of partition 1 can use the client service partition number included in the virtual device request information to perform linear mapping to find a pair of transceiver service ports for use, and the search complexity is O(1). The service partition shared device of partition 1 can perform two-way communication of device data with client partitions of partitions 2 and 3 according to the ports in the list, thereby meeting the use requirements of partition device sharing. Client partitions of partitions 2 and 3 use this device shared port list to build the basic communication capability of the virtual driver interface, which is finally quickly called and used by users.

[0045] In partition 1, the partition device driver is installed in the partition device sharing service. After the partition device management sharing is initialized, request information from the ports of partition 2 and partition 3 is received at the same time. The request information refers to the partition number containing the source information. At this time, the reverse mapped port number can be quickly obtained through the present invention. After the device driver processing is completed, the reply information is sent to the request source partition; therefore, the present invention can serve the partition device management sharing well in the process of automatic creation and organization of port use.

[0046] The invention belongs to the technical field of computer system software. The method defines a new type of partition device shared port, which is easy to identify and manage. According to the partition type shared by the device in the partition configuration, the configuration record of this type of port is automatically created.

[0047] This method provides a method for quickly locating the shared ports of partitioned devices. A reverse mapping port number item is added to the device shared port properties to record the port number used by the partition in the opposite channel transmission direction serving the same shared destination partition. This can provide partitioned device sharing with the ability to quickly locate a group of bidirectional transceiver ports serving the partition.

[0048] This method generates a device shared port management list based on the reverse mapping port number and the port attributes of the port, so that the service partition can perform linear mapping to find a pair of transceiver service ports for use through the customer service partition number where the virtual device request is located, and the search complexity is O(1).

[0049] The present invention solves the problem of conveniently organizing ports when devices are shared in a partition operating system and providing fast positioning port mapping according to request data for partition device sharing management, is convenient for users to use and saves CPU computing resources.

Claims

1. A port mapping method for service partition device sharing based on ARINC653 standard, characterized in that: The method comprises: Step 1: In the development environment provided by the ARINC653 standard partition operating system, the configuration of partition 1 in the project is set as a service partition, and the configurations of partitions 2 and 3 are set as customer partitions; Step 2: The operating system development environment configuration tool creates a configuration record of ports and channels of the partition device sharing type according to whether the device sharing in the partition configuration belongs to the service partition or the client partition; Step 3: During the process of initializing the port configuration record, the core operating system adds a reverse mapping port number item in the partition shared device port attribute to record the port number used by the partition in the opposite channel transmission direction serving the same shared destination partition, and sets the reverse mapping port number item through port matching search; Step 4: During the initialization of the partition operating system port, the partition shared device port is automatically created according to the device shared partition type in the user partition configuration; Specifically: when the service partition of partition 1 is initialized, the shared device port of the partition is automatically created; when the client partitions of partition 2 and partition 3 are initialized, the shared device port of the partition is automatically created; Step 5: When the partition is initialized, the ports corresponding to different customer partitions are classified, and the multiple groups of port ID information serving the partition are added to the device shared port management list of the partition; Partition 1 service partition: according to the partition number of the customer partition, the classified multiple groups of created transceiver ports connected to the target customer partition are added to the device shared port management list; Partition 2 and Partition 3 customer partitions: according to the partition number of the service partition, a pair of created transceiver ports connected to the target service partition are added to the device shared port management list; Step 6: The service partition of partition 1 can use the customer service partition number contained in the virtual device request information to find a pair of transceiver service ports through linear mapping, and the search complexity is O or 1; the service partition shared device of partition 1 can communicate device data with the client partitions of partition 2 and partition 3 in both directions according to the ports in the list, thereby meeting the use requirements of partition device sharing; the client partitions of partition 2 and partition 3 use this device shared port management list to build the basic communication capability of the virtual driver interface, which is finally available for users to call and use quickly.

2. The port mapping method according to claim 1, characterized in that: Step 3 is as follows: Initialize the attribute structure of the partition shared device port, initialize the partition device shared port information, including the reverse mapping port number, port ID, port name, port partition, port destination partition, port direction and port message size, including all ports belonging to partition 1, partition 2 and partition 3.

3. The port mapping method according to claim 1, characterized in that: Step 5 specifically includes: According to the partition to which the port belongs, through the port direction, port destination partition and the reverse mapping port number of this port, the sending port ID and receiving port ID of the successfully initialized resources connected to the port destination partition are placed in the device shared port management list, and the sending port ID and receiving port ID are matched and searched through the reverse mapping port number.

4. The port mapping method according to claim 3, characterized in that: According to the partition number of the service partition, a pair of classified transceiver port IDs created and connected to the destination service partition are put into the device shared port management list; the client partition uses this device shared port management list to build the basic communication capability of the virtual driver interface, which is finally available for users to call and use quickly.

Images