CN117851295A - Memory sharing method meeting ARINC653 standard - Google Patents
Memory sharing method meeting ARINC653 standard Download PDFInfo
- Publication number
- CN117851295A CN117851295A CN202311829239.5A CN202311829239A CN117851295A CN 117851295 A CN117851295 A CN 117851295A CN 202311829239 A CN202311829239 A CN 202311829239A CN 117851295 A CN117851295 A CN 117851295A
- Authority
- CN
- China
- Prior art keywords
- page
- access
- memory
- partition
- shared memory
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 14
- 238000005192 partition Methods 0.000 claims abstract description 37
- 238000007726 management method Methods 0.000 abstract description 2
- 230000008520 organization Effects 0.000 abstract description 2
- 239000002699 waste material Substances 0.000 abstract description 2
- 238000013507 mapping Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
Landscapes
- Storage Device Security (AREA)
Abstract
The invention provides a memory sharing method meeting ARINC653 standard, which is used for sharing the memory between each partition of a kernel mode and a user mode, and comprises the following steps: defining a group of public page catalogs and page tables by the core state; copying the common page directory to all members needing to access the shared memory; and adding the read-write access authority corresponding to the page table to all members needing to access the shared memory, so that all members needing to access the shared memory can access the page table. By using the common page directory copy technology, memory space sharing is realized under the condition of not changing the original page table size, a simple and effective organization management method is provided for realizing the shared memory of the partition operating system, and unnecessary space waste is avoided.
Description
Technical Field
The invention relates to the technical field of computer architecture, in particular to a memory sharing method meeting ARINC653 standard.
Background
Integrated, modular Avionics Systems (IMAs) integrate multiple application systems into a computer with high-speed processing capabilities, and partitioned operating systems are embedded real-time operating systems that are primarily employed by IMAs. To ensure certainty and robustness, the partitions in the partitioned operating system are spatially isolated from each other. In some user-designed systems, multiple partitions need to access the same space to achieve the purpose of data sharing, and the traditional mode is that each partition independently maintains a page table for the space, so that access control for the same physical space is realized by multiple page tables, the control is complex, the space occupied by the page tables is relatively large, and the data consistency is more difficult to maintain.
Based on the above requirements, in order to meet the data sharing between each partition and the kernel, a simple memory sharing mechanism needs to be implemented to meet the requirement of users for sharing data, so that the users can use the memory more simply and conveniently.
Disclosure of Invention
In view of this, the embodiments of the present disclosure provide a memory sharing method that meets the ARINC653 standard, and addresses the space sharing requirement between each partition and the kernel in the partition operating system.
The embodiment of the specification provides the following technical scheme: a memory sharing method meeting ARINC653 standard is used for sharing the memory between each partition of kernel mode and user mode, and comprises the following steps: defining a group of public page catalogs and page tables by the core state; copying the common page directory to all members needing to access the shared memory; and adding the read-write access authority corresponding to the page table to all members needing to access the shared memory, so that all members needing to access the shared memory can access the page table.
Further, the common page directory content comprises page tables of all address spaces accessible by the kernel mode, and the page table attribute configures read-write access rights of the system mode and the user mode according to the user requirement.
Further, all members that need to access the shared memory refer to the kernel in kernel mode and the various partitions in user mode.
Further, the page table records read-write access control attributes of the shared memory.
Further, the page directories in each partition in the user mode include a public page directory and a private page directory, and the page table space corresponding to the private page directory can only be accessed by the corresponding partition with the private page directory.
Compared with the prior art, the beneficial effects that above-mentioned technical scheme that this description embodiment adopted can reach include at least: by using the common page directory copy technology, memory space sharing is realized under the condition of not changing the original page table size, a simple and effective organization management method is provided for realizing the shared memory of the partition operating system, and unnecessary space waste is avoided.
Drawings
In order to more clearly illustrate the technical solutions of the embodiments of the present application, the drawings that are needed in the embodiments will be briefly described below, and it is obvious that the drawings in the following description are only some embodiments of the present application, and that other drawings may be obtained according to these drawings without inventive effort for a person skilled in the art.
FIG. 1 is a schematic diagram of a user mode and a kernel mode memory sharing scheme.
Detailed Description
Embodiments of the present application are described in detail below with reference to the accompanying drawings.
It should be noted that, in the case of no conflict, the embodiments and features in the embodiments may be combined with each other. The invention will be described in detail below with reference to the drawings in connection with embodiments.
As shown in fig. 1, the present invention provides a memory sharing method that meets the ARINC653 standard, specifically:
the invention defines a group of public page catalogues, and the read-write access authority of page tables in the public page catalogues determines whether the page space is a shared space, namely: the space containing both user-state readable and writable rights and system-state readable and writable rights is shared memory space, and the space containing only system-state readable and writable rights and not readable and writable by user-state is non-shared memory space.
The page directory contents of the kernel and each partition each contain a copy of the common page directory. For the kernel, the content of the page directory is consistent with the content of the public page directory; for a partition, its page directory contents contain its own private page directory contents in addition to the contents in the public page directory.
The sharing of memory space is achieved through a common page directory and corresponding page tables. The common page directory has a plurality of copies, and the page table in the common page directory has only one copy, so that the kernel and each partition can access the page table in which the shared memory is located through the content of the common page directory in the own page directory, thereby achieving the purpose of accessing the shared memory.
The detailed description is as follows:
a section of memory space is configured as a shared memory space in a configuration tool provided by a partition operating system meeting ARINC653 standard, the shared memory is named shareMem, a virtual address corresponding to the space is 0x0, a physical address corresponding to the space is 0x0, the size of the virtual address is 0x1000000 bytes (16 MB), and the read-write access authority of the space is user state readable and writable and system state readable and writable. Two partitions are configured simultaneously, partition 1 and partition 2, respectively, both of which require access to shareMem space.
The core operating system performs MMU initialization, allocates space for the common page directory, the core page directory and the page directory of each partition, completes mapping of page tables in the common page directory according to configuration, and copies contents in the common page directory into the page directory space of the core. At this point the shareMem space has completed mapping of the page tables and can access the shareMem's page tables through the common page directory and the core page directory.
And creating and starting the partition 1 according to the configuration, wherein in the process of creating the partition 1, a space is created for the partition 1, and when the space is created, the public page directory is copied first, and then the private space of the partition 1 is created. The shareMem space can now be accessed by the core operating system and partition 1.
And creating and starting the partition 2 according to the configuration, wherein in the process of creating the partition 2, a space is created for the partition 2, and when the space is created, the copy of the public page directory is first created, and then the private space of the partition 2 is created. The shareMem space can now be accessed by the core steering system, partition 1, and partition 2.
So far, the core operating system and the partition can access the shareMem, and the purpose of memory sharing is achieved.
The foregoing description of the embodiments of the invention is not intended to limit the scope of the invention, so that the substitution of equivalent elements or equivalent variations and modifications within the scope of the invention shall fall within the scope of the patent. In addition, the technical characteristics and technical scheme, technical characteristics and technical scheme can be freely combined for use.
Claims (5)
1. The memory sharing method meeting ARINC653 standard is used for sharing the memory between each partition of the kernel mode and the user mode, and is characterized by comprising the following steps:
the core state defines a group of public page catalogs and page tables;
copying the common page directory to all members needing to access the shared memory;
and adding the read-write access authority corresponding to the page table to all members needing to access the shared memory, so that all members needing to access the shared memory can access the page table.
2. The memory sharing method according to claim 1, wherein the common page directory includes page tables of all address spaces accessible by the kernel mode, and the page table attribute configures read-write access rights of the system mode and the user mode according to the user's requirement.
3. The memory sharing method according to claim 1, wherein all members that need to access the shared memory refer to each partition of kernel and user states in kernel mode.
4. The memory sharing method according to claim 1, wherein the page table records read-write access control attributes of the shared memory.
5. The memory sharing method according to claim 1, wherein the page directories in each partition in the user mode include a public page directory and a private page directory, and the page table space corresponding to the private page directory is only accessible to the corresponding partition having the private page directory.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311829239.5A CN117851295A (en) | 2023-12-27 | 2023-12-27 | Memory sharing method meeting ARINC653 standard |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311829239.5A CN117851295A (en) | 2023-12-27 | 2023-12-27 | Memory sharing method meeting ARINC653 standard |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN117851295A true CN117851295A (en) | 2024-04-09 |
Family
ID=90534047
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202311829239.5A Pending CN117851295A (en) | 2023-12-27 | 2023-12-27 | Memory sharing method meeting ARINC653 standard |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN117851295A (en) |
-
2023
- 2023-12-27 CN CN202311829239.5A patent/CN117851295A/en active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| AU734996B2 (en) | Object and method for providing efficient multi-user access to shared operating system kernal code using instancing | |
| US6163834A (en) | Two level address translation and memory registration system and method | |
| US7676628B1 (en) | Methods, systems, and computer program products for providing access to shared storage by computing grids and clusters with large numbers of nodes | |
| US7171523B2 (en) | Information processing system for updating data in a shared network storage system | |
| US5893166A (en) | Addressing method and system for sharing a large memory address space using a system space global memory section | |
| EP0700000A2 (en) | System and method combining a global object identifier with a local object address in a single object pointer | |
| US8751547B2 (en) | Multiple file system and/or multi-host single instance store techniques | |
| US20060020769A1 (en) | Allocating resources to partitions in a partitionable computer | |
| WO2004066079A2 (en) | Memory-resident database management system and implementation thereof | |
| CN105830059A (en) | Fine pitch connector socket | |
| Bensoussan et al. | The Multics virtual memory | |
| ATE247299T1 (en) | MULTI-PROCESSOR COMPUTER SYSTEM USING A GROUP PROTECTION MECHANISM | |
| JPH1031612A (en) | Advanced file server | |
| JPH05210637A (en) | Method of simultaneously controlling access | |
| CN101477477A (en) | Kernel spacing isolation method, spacing management entity and system | |
| US10268592B2 (en) | System, method and computer-readable medium for dynamically mapping a non-volatile memory store | |
| US5875487A (en) | System and method for providing efficient shared memory in a virtual memory system | |
| JP3629507B2 (en) | System and method for providing shared memory using shared virtual segment identification in a computer system | |
| EP0319148B1 (en) | Method of operating a multi-processor system for the transfer of data between processor units | |
| JP2022016368A (en) | Method for managing name space in storage device, and storage device for using method | |
| CN117851295A (en) | Memory sharing method meeting ARINC653 standard | |
| US20060064562A1 (en) | Adaptive address space operating system | |
| EP0175398A2 (en) | Data processing system comprising a memory access controller which is provided for combining descriptor bits of different descriptors associated with virtual addresses | |
| EP4336336A1 (en) | Data compression method and apparatus | |
| JP3808058B2 (en) | Apparatus for allowing a plurality of hosts to share a set of memory sectors storing compressed data |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |