L4微内核操作系统及其应用技术研究  

Research on L4 Microkernel Operating System and Its Application Technology

作　　者：李鹏[1] 张凡[2] 

机构地区：[1]中航工业西安航空计算技术研究所,陕西西安710068 [2]西北工业大学计算机学院,陕西西安710072

出　　处：《计算机技术与发展》2014年第4期29-32,37,共5页Computer Technology and Development

基　　金：航空科学基金项目(20111953016)

摘　　要：嵌入式系统对其操作系统的可靠性、实时性和安全性有很高的要求,微内核操作系统技术能够很好地匹配该需求,因此研究微内核在实际系统中的应用和开发方法对嵌入式应用领域的发展有着重要意义。文中对L4微内核的结构及其实现原理进行了深入的分析。在此基础上,给出了基于L4微内核进行应用开发的一般步骤。同时依据此步骤,实现了一个检测和打印嵌入式系统硬件参数的应用实例。通过实例实现,认识到在嵌入式系统的应用开发中,熟悉内核的功能接口将有助于更好地进行应用开发。The embedded systems have high requirements for the operating system＇ s reliability, real time, and safety. The microkemel op- erating system fits the requirements well. Therefore the means of applications of microkernel will play an important role in the embedded applications. In this paper, analyze the structure and the principle of L4 microkernel in detail. On this basis, describe the general approa- ches to develop applications based on L4 microkernel. At the same time, an application example of detecting and printing embedded sys- tem parameters is realized. And through the realization of the instance, recognize that it is important for developers to be familiar with the function interfaces of the microkemel in the application development of embedded system.

关 键 词：微内核 嵌入式操作系统 进程间通信 L4 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]