Component Management Framework for Operating System Based on Microkernel Architecture

Edge computing puts forward higher requirements on operating system in terms of security, real-time and scalability. Operating systems based on microkernel architecture can effectively meet these requirements. However, the current microkernel operating system lacks a general user-mode program organization and management mechanism, which makes it difficult to develop user-mode programs such as system services, device drivers and applications. To solve this problem, this paper proposes a system service dynamic construction framework based on dynamic loading and dynamic linking technology, proposes a capability-based component security mechanism, and proposes a cross-core IPC optimization method. Based on these mechanisms, an efficient, secure and flexible component management framework can be formed. We also developed a prototype system and verified it on a real hardware platform. The experimental data show that the component framework designed in this paper is efficient and secure.