文献类型：期刊文章

作　　者：吴俊敏[1] 陈国良[2]

机构地区：[1]中国科学技术大学计算机科学与技术系,合肥230027 [2]中国科学技术大学高性能计算及应用省部共建重点实验室,合肥230027

出　　处：《计算机研究与发展》

基　　金：中国科学技术大学青年基金项目(KA1125);中国科学院高水平大学建设基金项目(KY2706)

年　　份：2006

卷　　号：43

期　　号：4

起止页码：738-743

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：存储一致性模型 Java存储模型  仿真

分 类 号：TP338.6] TP312JA[计算机类]