一种用于硬Java实时平台的非堆内存模型  

Non-heap Memory Mode for Hard Java Real-time Platform

作　　者：胡光[1,2] 柴志雷[3] 涂时亮[1] 陈章龙[1] 

机构地区：[1]复旦大学计算机科学技术学院嵌入式系统实验室,上海200433 [2]上海外国语大学计算机教研室,上海200086 [3]江南大学信息工程学院,江苏无锡214122

出　　处：《小型微型计算机系统》2013年第3期648-653,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60703106)资助

摘　　要：针对Java实时规范中的非堆内存抽象,讨论实现中的不确定因素以及运行时不可预测的时间特性,提出并实现了一种用于硬Java实时平台的非堆内存模型.模型基于硬Java实时平台预处理机制的支持,采用一种基于静态约束的安全访问检查算法,将运行时单亲规则及赋值规则检查等影响系统实时性的操作在运行前完成,保证了运行时的可预测.同时,针对当前关于静态分析方法研究中多不支持作用域多线程共享的现状,模型在不改变实时Java句法及编程模式的前提下,保留了对作用域多线程共享的支持.This paper focuses on the non-heap memory Abstraction of the real-time specification for Java,and discusses the uncertainties and unpredictable runtime behaviors in implementation.Then a non-heap memory mode for hard Java real-time platform,nhmHJ,is proposed and implemented.Based on the support of prior-handling mechanism of hard Java platform,the mode uses a safe memory access checking algorithm based on static constraint,and the unreal-time operations like checking.runtime single parent rule and assignment rules are completed before bytecodes execution,which ensure the predictable runtime operation.Meanwhile,for the current research status that multithread shared scoped memory is scarcely supported,the mode retains the support of multithread shared scoped memory without the change of real-time Java syntax and programming model.

关 键 词：实时JAVA JAVA处理器 内存管理 单亲规则 赋值规则 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]