Design And Optimization Of Microkernel For Armv8 Architecture

In recent years,with the development of embedded Internet of Things(Io T)devices,the microkernel architecture has attracted much attention due to its unique design concept,which features small code size,high security,and strong scalability,making it highly suitable for various embedded devices in medical,automotive,and other application scenarios.Currently,the most popular embedded devices in the field are the ARMv8 series.Although there are many types of microkernels on the market,most of the designs and implementations are not mature enough and lack optimization for the ARMv8 processor.This thesis presents a microkernel operating system designed and implemented for the ARMv8 processor based on Mginkgo which is a microkernel developed by our teams,and optimize the important indicators such as real-time and concurrency.The main contributions of this work are as follows:(1)This thesis design a microkernel operating system for ARMv8 multi-core processors based on Mginkgo.Among them,the focus is on the address space management,exception management,task management,memory management,and multi-core expansion.(2)To address the concurrent application scenarios of microkernels in multi-core environments,a high-performance lock-free concurrent queue named mkqueue is designed and implemented using the Large System Extension provided by ARMv8.In addition,this paper implements a synchronization primitives named mkmutex,which combines the high performance of mutex in high-concurrency scenarios and the high CPU utilization and low latency of spinlocks in low-concurrency scenarios.(3)To address the real-time application scenarios of microkernels in multi-core environments,this paper proposed a interrupt top-half/bottom-half mechanism for the microkernel.It overcomes a series of shortcomings of the traditional mechanism,reduces the maximum interrupt latency of the system,and improves the real-time performance of the system.Besides,this paper proposed a hierarchical structure design of the scheduler.A global scheduler and a local scheduler are designed,and the local core is divided into a general core group and a real-time core group.Through these way,the real-time performance of the microkernel is improved,which can meet the requirements of industrial real-time tasks to a certain extent.Finally,the kernel function and performance tests are completed on the RK3566 development board.The results show that the microkernel operating system designed and implemented in this paper can meet the requirements of embedded devices for power consumption and performance.