论文部分内容阅读
近年来，随着构件化嵌入式操作系统的迅速发展，构件的灵活性、构件运行的性能、构件对资源的利用率等方面的问题变得越来越突出。对此我们在构件化嵌入式操作系统Pcanel的微内核中加入活动管理器，空间管理器及维护与构件运行相关的管理信息以支持反射式调度和反射式空间管理。反射式调度使嵌入式操作系统的性能得到较大提升，反射式空间管理使嵌入式操作系统对有限存储资源的利用率得到显著提高，而且反射机制使得构件的动态配置成为可能。此外，由于只是在线程调度和存储管理两个方面支持反射机制，构件化嵌入式操作系统的设计变得相对简单，进一步提高了构件化嵌入式操作系统的性能。本文针对反射机制在构件化嵌入式操作系统中的应用展开深入研究，提出了将反射机制应用到Pcanel的构件模型SmartCM中的方法，并设计实现了这一模型体系，使SmartCM支持反射式调度和反射式空间管理。主要贡献和创新点表现为如下工作：1)根据元模型体系，在Pcanel的构件模型SmartCM及其微内核C-Kernel中设计并实现了反射机制的架构。通过在C-Kernel中加入活动管理器和空间管理器以及与线程活动相关的管理信息来支持反射机制在Pcanel操作系统中的应用。2)完成了与反射式调度相关的设计与实现。在线程的组织结构中加入了对反射机制的支持。特权线程的应用使得构件能与微内核进行交互，是反射机制实现的基础。线程间通信的设计则关系到反射式调度的效率，而且反射式调度的最终实现还是要依靠线程间的通信实现。3)完成了与反射式空间管理相关的设计与实现。Pcanel的存储管理使用了共享地址空间以及相应的保护机制，提高了空间利用的灵活性。而反射式空间管理器进一步增强了空间利用的灵活性，使得有限资源的利用率大大提高，使Pcanel更加适合在嵌入式系统中应用。