小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
3期
648-653
,共6页
胡光%柴志雷%涂时亮%陈章龙
鬍光%柴誌雷%塗時亮%陳章龍
호광%시지뢰%도시량%진장룡
实时Java%Java处理器%内存管理%单亲规则%赋值规则
實時Java%Java處理器%內存管理%單親規則%賦值規則
실시Java%Java처리기%내존관리%단친규칙%부치규칙
针对Java实时规范中的非堆内存抽象,讨论实现中的不确定因素以及运行时不可预测的时间特性,提出并实现了一种用于硬Java实时平台的非堆内存模型.模型基于硬Java实时平台预处理机制的支持,采用一种基于静态约束的安全访问检查算法,将运行时单亲规则及赋值规则检查等影响系统实时性的操作在运行前完成,保证了运行时的可预测.同时,针对当前关于静态分析方法研究中多不支持作用域多线程共享的现状,模型在不改变实时Java句法及编程模式的前提下,保留了对作用域多线程共享的支持.
針對Java實時規範中的非堆內存抽象,討論實現中的不確定因素以及運行時不可預測的時間特性,提齣併實現瞭一種用于硬Java實時平檯的非堆內存模型.模型基于硬Java實時平檯預處理機製的支持,採用一種基于靜態約束的安全訪問檢查算法,將運行時單親規則及賦值規則檢查等影響繫統實時性的操作在運行前完成,保證瞭運行時的可預測.同時,針對噹前關于靜態分析方法研究中多不支持作用域多線程共享的現狀,模型在不改變實時Java句法及編程模式的前提下,保留瞭對作用域多線程共享的支持.
침대Java실시규범중적비퇴내존추상,토론실현중적불학정인소이급운행시불가예측적시간특성,제출병실현료일충용우경Java실시평태적비퇴내존모형.모형기우경Java실시평태예처리궤제적지지,채용일충기우정태약속적안전방문검사산법,장운행시단친규칙급부치규칙검사등영향계통실시성적조작재운행전완성,보증료운행시적가예측.동시,침대당전관우정태분석방법연구중다불지지작용역다선정공향적현상,모형재불개변실시Java구법급편정모식적전제하,보류료대작용역다선정공향적지지.
