Microkernel Interprocess Communication Method and System

Abstract

Provided are a microkernel interprocess communication method and system. Th microkernel interprocess communication method comprises: activating a virtual environment by means of hardware, configuring a microkernel to be a sub-kernel, and configuring a root-kernel under the sub-kernel, the root-kernel being capable of interacting with the virtual environment; configuring extended page tables corresponding to different processes, the processes being divided into a client process and a server process, and filling a page-table-based address of the client process in the extended page table of the server process; providing a user-mode process-oriented interface, the interface enabling switching between processes in a user-mode address space; and scanning code pages in the processes, and substituting for illegal code jump instructions. The present invention employs hardware virtualization techniques, and uses an extended page table to control content in a page table corresponding to a user-mode process, thereby realizing switching between processes without having to modify page-table-based addresses thereof. The invention significantly enhances communication performance between microkernel processes without requiring any modification of existing hardware architectures.

Description

technical field [0001] The present invention relates to the technical field of operating system microkernels, in particular to a microkernel interprocess communication method and system, and in particular to an efficient and safe microkernel interprocess communication method and system. Background technique [0002] Since the microkernel was proposed in the last century, after 30 years of research and development, its key design is to provide only the most basic mechanism of the operating system kernel, and move most of the other functions of the operating system kernel from the kernel mode to the user mode. In server process. This means that errors that occur in one server process will not affect other server processes, let alone the microkernel server microkernel. Therefore, such a design can enhance the robustness of the microkernel. At the same time, removing most of the functions from the kernel state can effectively reduce the Trusted Computing Base (TCB), making the...

AI Technical Summary

Problems solved by technology

However, there are defects in seL4. First, the fast channel technology still needs to sink into the kernel, so its performance overhead is also relatively large; secondly, the fast channel path is only applicable to some system calls (Call and ReplyWait), and can only transmit a small amount of data at the same time. Using other system calls or transferring data beyond a certain limit, only the slow channel technology with higher performance overhead can be used, which is the traditional microkernel inter-process communication method

Third, when the two communicating processes run on different processors, an inter-process communication needs to use an inter-processor interrupt (Inter-Processor Interrupt), which will greatly affect the performance of inter-process communication

It still takes a long time for the technical means of modifying hardware to be used on a large scale. At the same time, compared with the method of directly using mature commercial hardware, this method is more difficult to be deployed.

Therefore, it is difficult for this method to be accepted in a short period of time

Images