基于Kaffe的实时Java实现研究

来源 :北京大学 | 被引量 : 0次 | 上传用户:longyonghong520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着Java语言在计算机软件开发领域的广泛使用,人们开始考虑把它用于实时系统开发的可能性。经过一批专家的努力,《实时Java规范》(简称RTSJ)[1]的最终版本在2001年11月公布。在RTSJ推出后,很多个人和组织投入到规范的研究中,这些研究包括关于RTSJ机制的理论研究,也包括关于如何实现RTSJ的实际研究。实时Java规范为其实现者提供了足够的灵活性,使他们可以构造出适合自己需求的实现。 在这篇论文的工作中,我们深入研究和分析了实时Java规范,分析了Timesys公司为规范提供的参考实现,进而提出了基于公开源码的Java平台Kaffe[3]实现实时Java规范的一种思路。Kaffe是用C语言开发的一个Java虚拟机的完整实现,源代码完全公开。我们对Kaffe虚拟机进行了一系列的修改和扩充,增加了其对实时Java规范的支持,同时还提供了实时类库的一个简单实现。 实时Java规范是对标准Java规范[8]的扩充,而最主要的扩充之一就在于为了实时应用的需要,扩充了Java虚拟机的内存管理功能,提出了基于作用域的领域内存,以及不朽内存、物理内存等概念。本文的主要工作集中在讨论实时Java规范的内存模型及其实现细节。实时Java规范的线程模型和内存模型紧密地联系在一起,是内存模型的主要使用者,因此我们也研究了线程模型的设计和实现问题。
其他文献
本文通过对荣华二采区10
生物医学、统计遗传学、工程学、经济学、教育心理学、社会学等学科领域中存在大量的聚类数据(Clustered Data)或相关数据(Correlated Data).随机效应模型是分析此类数据的强
Galois群及其计算不仅仅是数学重要问题,而且也在科学各个领域的发展中扮演重要角色.本文系统介绍计算Galois群的几种主要方法,对Stauduhar方法进行详细分析,总结了计算过程中如
本文根据文中提出的开问题:是否存在3-正则4-可序哈密尔顿图的无限类?以及文中给出的可序图的定义,构造了3-正则4-可序图的无限类.此外,本文还研究了在小阶图中是否存在3-正则
Clean环一直是环论研究热点,对clean环的研究不仅仅只局限于其本身的性质与结构,许多学者强化或弱化clean环的条件得到新环,从而讨论新环与clean环的联系及新环的性质与结构.我
在传统的排序问题中,工件的加工是由一个中心决策者来控制和调配的,工件本身并不能参与决策的过程.随着博弈思想的加入,工件具有自主选择权的排序博弈问题开始得到更多研究者的
本文提出了求解KdV方程Ut+UUx+EUxxx=0的两种新的差分格式,分别称为:LaX差分格式和DuFort-Frankel差分格式。本文详细介绍了这两种差分格式的构造,分析了LaX差分格式和DuFort-Fr
初中数学新课标强调:在重视学生自主探究、合作学习的同时,要更加重视学生的创新意识和实践能力的培养。因此,教学上应多注意培养学生收集和处理信息、获取新知识、分析和解
本文建立了一类常利率因素的双险种风险模型,得到了相应的破产概率的明确表达式、Cramér-Lundberg近似和Lundberg上界等结果;其次,建立了马氏环境中的双险种风险模型,得到了破产
有限元方法是50年代伴随着计算机发展起来的一种求解偏微分方程的数值方法,广泛应用于科学与工程计算中.根据Sobolev空间中的Cêa引理和插值理论得到了椭圆边值问题线性(双线