文献类型：期刊文章

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

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

出　　处：《小型微型计算机系统》

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

年　　份：2013

卷　　号：34

期　　号：3

起止页码：648-653

语　　种：中文

收录情况：AJ、BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：针对Java实时规范中的非堆内存抽象,讨论实现中的不确定因素以及运行时不可预测的时间特性,提出并实现了一种用于硬Java实时平台的非堆内存模型.模型基于硬Java实时平台预处理机制的支持,采用一种基于静态约束的安全访问检查算法,将运行时单亲规则及赋值规则检查等影响系统实时性的操作在运行前完成,保证了运行时的可预测.同时,针对当前关于静态分析方法研究中多不支持作用域多线程共享的现状,模型在不改变实时Java句法及编程模式的前提下,保留了对作用域多线程共享的支持.

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

分 类 号：TP311]