基于L4的微内核的设计与实现-计算机技术专业论文.docxVIP

Abstract With the development of software and hardware, embedded equipment has become an essential tool of peoples daily life. Embedded system is not satisfied with single purpose function, but more and more close to the general operation system. This requires the operation system to be more compact and more security. In recent years, microkernel theory in the field of embedded application grows day by day. Not only in academic but also in industry, the second generation of microkernel theory, especially L4, develops rapidly. There are many successful cases based on the operating system using L4 theory. This paper discusses a kernel based on the theory of L4 microkernel, it implements all of the L4 specification and adopts container way to isolate different execution environments on ARM architecture. The ending of the paper discusses how to build a general purpose operating system based on the microkernel and the implementation of paravirtualization. The paper introduces the concept and development of microkernel firstly and describes the problems of traditional microkernels in detail, especially performance problem. Secondly, a detailed description of the whole structure of the system follows, this part includes the thread model, memory management, communication between threads, thread scheduling and container. To illustrate the main function and the core algorithm clearly and deeply, the analysis of each modules implementation combines code and language. It shows the process of implementing a L4 microkernel step by step and every design decision during the implementation. Keywords: Microkernel L4 Operating System Virtualization 目录 HYPERLINK \l _bookmark0 第一章 绪论 1 HYPERLINK \l _bookmark1 1.1 引言 1 HYPERLINK \l _bookmark2 1.2 研究背景和意义 1 HYPERLINK \l _bookmark3 1.3 论文组织结构 3 HYPERLINK \l _bookmark4 第二章 微内核技术概述 5 HYPERLINK \l _bookmark5 2.1 微内核 5 HYPERLINK \l _bookmark6 2.2 L4 微内核 6 HYPERLINK \l _bookmark7 2.2.1 L4 的起源 6 HYPERLINK \l _bookmark8 2.2.2 L4 微内