The Design And Application Of High-Concurrency System Service Framework Based On Microkernel

With the continuous development of embedded technology,embedded applications have become closely related to people’s daily lives.Whether it is smartphones,smart home products,or industrial control,almost every field has integrated relevant technologies.Due to its architectural features such as code simplification,scalability,tailorability,and high security,microkernels are very suitable for application in embedded devices.In microkernels,the Inter-Process Communication(IPC)mechanism has always been its performance bottleneck,and system services in microkernels are in user mode,which requires IPC when providing services to users.On this basis,there is still a lot of room for improvement in the concurrency of microkernel system services.Therefore,designing a framework to reduce the overhead and improve the concurrency of system services is of great research value.Based on the team’s self-developed microkernel operating system,mginkgo,this paper designs a high-concurrency system service framework based on the microkernel and applies the framework in the microkernel to improve the efficiency and concurrency of the system services.In order to achieve the expected goals,this paper studies and analyzes microkernel technology,IPC mechanism,and thread pool mechanism,proposes an optimization scheme for the IPC mechanism of the microkernel,and combines it with thread pool to design and implement the system service framework,which includes:1.Task communication mechanism.This part optimizes the task communication mechanism in the microkernel to minimize the task communication overhead from the system service level.2.High-concurrency thread pool.The kernel allocates a thread pool for each system service to respond to user-mode requests,focusing on the properties of the working threads in the thread pool,as well as dynamic adjustment and scheduling strategies.By combining the above key parts,this paper forms a system service framework for various system services in the microkernel,and users can also initiate system service requests through this framework.Finally,this paper applies the system service framework to the file system service on the ARM-V8 processor platform,and conducts system testing from both functional and performance aspects to verify its correctness and expected performance.Therefore,the high-concurrency system service framework designed in this paper can be applied to system services in microkernels and improve the efficiency and concurrency of system services.