摘要
嵌入式系统对其操作系统的可靠性、实时性和安全性有很高的要求,微内核操作系统技术能够很好地匹配该需求,因此研究微内核在实际系统中的应用和开发方法对嵌入式应用领域的发展有着重要意义。文中对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.
出处
《计算机技术与发展》
2014年第4期29-32,37,共5页
Computer Technology and Development
基金
航空科学基金项目(20111953016)
关键词
微内核
嵌入式操作系统
进程间通信
L4
microkernel
embedded operating system
Inter-Process Communication （IPC）
L4
