一种新的Java存储模型L-JMM

Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致性的要求,保证了Location一致性;同时根据Java语义的要求,对Java语言中不同类型的变量详细规定了多线程存储操作的行为规则.该模型不仅能保证Java程序的正确性,同时能有效提高Java程序的运行效率.最后通过仿真实验验证了该存储模型的关键特性.

一种分级可扩放全序组通信协议——RHGP

并行分布式系统需要大量成员通过组通信协作完成某些特定的功能.当组中包含大量成员且其关系不断变化时,传统组通信系统将会产生很多不必要的通信开销.提出了一种新型的基于令牌环的分级组通信协议(ring-basedhierarchicalgroupprotocol,RHGP),支持全序消息递送和组成员的动态变化.该协议通过减少成员改变消息递送的次数,降低了组成员关系改变时的通信开销,增加了协议的可靠性.最后通过协议分析论证了该协议的可靠性和可扩放性,在成员失效率为0.1%、成员个数接近200时协议的可靠性为99.8646%.