登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
面向逻辑执行时间模型的Minicore的内存管理
  • 摘要

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

  • 作者

    刘杰  陈香兰  LIU Jie  CHEN Xiang-Lan 

  • 作者单位

    中国科学技术大学计算机科学与技术学院,合肥,230026/中国科学技术大学计算机科学与技术学院,合肥230026;中国科学技术大学苏州研究院,苏州215123

  • 刊期

    2016年2期 ISTIC

  • 关键词

    minicore  Giotto  内存管理  逻辑执行时间  嵌入式  minicore  Giotto  memory management  logical execution time  embedded 

相似文献 查看更多>>
35.172.216.157