面向逻辑执行时间模型的Minicore的内存管理

随着实时系统在时间关键和安全关键的行业的广泛应用,程序的时间属性受到越来越广泛的关注. Henzinger提出了LET(Logical Execution Time)编程模型,提供了明确描述时间属性的机制,确保了系统的时间确定性.但传统的实时操作系统模型采用了与LET截然不同的抽象,难以很好地支持LET编程模型. Minicore是一种新型操作系统模型,程序由一组内部没有同步点的服务组成,具有较好的时间确定性和可控性,与LET编程模型的思想更吻合.将LET的控制模型和Minicore的运行模型相结合,可形成一种具有时间确定性的新型编程框架.主要描述了该框架的内存管理机制的设计和实现.文末以智能小车控制系统的实现作为研究实例验证本系统的可行性.

Memory Management of LET-Oriented Minicore

With the wide application of real-time systems in time-critical and safety-critical areas, the timing property of a program is getting more and more attention. Henzinger has come up with LET(Logical Execution Time) programming model, which introduces semantic to deal with timing in an explicit way, assuring the timing predictability of a system. However, traditional RTOS is based on exactly different abstractions and can hardly support LET programming model in a good way. Minicore is a novel operating system model, in which a program is composed of a set of services without internal synchronization point. Minicore is based on a similar abstraction with LET model and minicore program is more time-predictable and controllable. Combining the control model of LET and execution model of Minicore, we can get a novel time-determinable programming framework. This paper mainly describes the design and implementation of the memory management of this framework. An implementation of intelligent car system is presented as a case study to prove the feasibility of this system.