java 线程缺陷_Java 线程 内存模型的缺陷

Java 线程/内存模型的缺陷

本文是由JR主持写作的《J2SE进阶》一书的部分章节整理而成，《J2SE进阶》正在写作、完善阶段。您阅读后，有任何建议、批评，请和我联系，或在这儿留言。《J2SE进阶》写作项目组感谢您阅读

本文是由JR主持写作的《J2SE进阶》一书的部分章节整理而成，《J2SE进阶》正在写作、完善阶段。您阅读后，有任何建议、批评，请和我联系，或在这儿留言。《J2SE进阶》写作项目组感谢您阅读本文。

Java 在语言层次上实现了对线程的支持。它提供了

Thread/Runnable/ThreadGroup等一系列封装的类和接口，让程序员可以高效的开发 Java多线程应用。为了实现同步，Java提供了synchronize关键字以及object的wait()/notify()机制，可是在简单易用的背后，应藏着更为复杂的玄机，很多问题就是由此而起。

一、Java内存模型

在了解Java的同步秘密之前，先来看看JMM(Java Memory Model)。

Java被设计为跨平台的语言，在内存管理上，显然也要有一个统一的模型。而且Java语言最大的特点就是废除了指针，把程序员从痛苦中解脱出来，不用再考虑内存使用和管理方面的问题。

可惜世事总不尽如人意，虽然JMM设计上方便了程序员，但是它增加了虚拟机的复杂程度，而且还导致某些编程技巧在Java语言中失效。

JMM 主要是为了规定了线程和内存之间的一些关系。对Java程序员来说只需负责用synchronized同步关键字，其它诸如与线程/内存之间进行数据交换 /同步等繁琐工作均由虚拟机负责完成。如图1所示：根据JMM的设计，系统存在一个主内存(MainMemory)，Java中所有变量都储存在主存中，对于所有线程都是共享的。每条线程都有自己的工作内存(WorkingMemory)，工作内存中保存的是主存中某些变量的拷贝，线程对所有变量的操作都是在工作内存中进行，线程之间无法相互直接访问，变量传递均需要通过主存完成。

图1 Java内存模型示例图

线程若要对某变量进行操作，必须经过一系列步骤：首先从主存复制/刷新数据到工作内存，然后执行代码，进行引用/赋值操作，最后把变量内容写回MainMemory。Java语言规范(JLS)中对线程和主存互操作定义了6个行为，分别为load，save，read，write，assign 和use，这些操作行为具有原子性，且相互依赖，有明确的调用先后顺序。具体的描述请参见JLS第17章。