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

• 作者: 刘杰 陈香兰
• 来源期刊: 计算机系统应用
• 关键词: minicore Giotto 内存管理 逻辑执行时间 嵌入式
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 研究开发
• 页码范围: 257-262
• 页数: 6页
• 字数: 3607字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘杰	中国科学技术大学计算机科学与技术学院	218	1905	24.0	36.0
2	陈香兰	中国科学技术大学计算机科学与技术学院	48	235	8.0	12.0