Research And Implementation Of Microkernel Operating System Based On X86 Architecture

With the rapid development of the information of contemporary society,the future society has an increasing demand for security and credibility.In terms of the field of the operating system,the current mainstream architectures of the operating systems are mainly based on the architecture of the monolithic kernel.This architecture has certain disadvantages in security and flexibility compared with the architecture of microkernel.Scientific researchers and enterprise developers around the world are increasingly interested in researching the microkernel architecture.Through a comparative study of the monolithic kernel and microkernel,this paper finds that the feature of the microkernel meets the requirements of future operating systems,which can be regarded as a futureoriented architecture of operating systems and an important direction for the development of future operating systems.This paper systematically researches the architecture of the microkernel of DeHyp which developed in the architecture of Arm.In terms of the microkernel,we have researched the architecture and analyzed its advantages and disadvantages.Then we take the DeHyp as a typical microkernel analyzing its constituent modules: process scheduling management,memory management,interrupt management,inter-process communication management,and capability management;in terms of implementation platform,we analyze some CPU-related hardware mechanisms in the x86 architecture including segmentation,paging,and support of hardware for multi-task;in terms of booting time,we study some common boot methods and their characteristics of modern operating systems.Afterward,this article designs and implements a deep integration of DeHyp microkernel and x86 architecture,a universal boot method suitable for microkernels,and two security and trust mechanisms for microkernel systems under x86 architecture to improve the security.At the end of this paper,we design corresponding security function tests to verify these two security mechanisms.This paper also studies the related literature of the microkernel and finds that the frequency and amount of information between processes in the microkernel are much larger than the monolithic kernel which causes the microkernel to perform poorly.After analyzing the previous researches about the optimization of the inter-process communication for microkernel and summarizing the pros and cons,we will propose two exchange-based inter-process communication algorithms,which optimize the replicationbased communication algorithms commonly used in microkernels.One is the physical page exchange algorithm,and the other is the segment base address exchange algorithm.Both of these exchange algorithms can take advantage of the independent address space to ensure the correctness of the communication.These two algorithms achieve efficient communication,greatly improve the efficiency of communication in the microkernel,and thus improve the performance of the microkernel.Finally,this paper designs an experiment for performance tests to compare these two communication algorithms proposed in this paper with the replication-type communication algorithms used in general microkernels.The experiments verify the performance of these two algorithms more efficient.