Java并发编程（五）Java 内存模型相关问题

一、什么是 Java 的内存模型，Java 中各个线程是怎么彼此看到对方的变量的？

Java内存模型（Java Memory Model，JMM），用于屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台上都能达到内存访问一致的并发效果。

Java内存模型规定了所有的线程都存储在主内存中，每条线程还有自己的工作内存。线程的工作内存保存了该线程使用到的变量到主内存副本拷贝，线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，而不能直接读写主内存中的变量。不同线程无法访问其他线程的工作内存，线程之间变量的传递需要在主内存中进行。如下图。

二、主内存和工作内存之间的交互，具体有哪些操作？

关于主内存和工作内存之间的交互协议，即一个变量如何从主内存拷贝到工作内存，如何从工作内存同步到主内存之间的实现细节，Java内存模型定义了以下八种操作来完成：

• lock（锁定）：作用于主内存的变量，把一个变量标识为一条线程独占状态。
• unlock（解锁）：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他变量锁定。
• read（读取）：作用于主内存变量，把一个变量值从主内存传输到线程的工作内存中，以便随后的load动作使用。
• load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
• use（使用）：作用于工作内存的变量，把工作内存中的一个变量值传递给执行引擎，每当虚拟机遇到一个需要使用变量的值的字节码指令时将会执行这个操作。
• assign（赋值）：作用于工作内存的变量，它把从执行引擎接收到的值赋值给工作内存。
• store（存储）：作用于工作内存的变量，把工作内存中的一个变量的值传递到主内存中，以便随后的write操作。
• write（写入）：作用于主内存的变量，它把store操作从工作内存中一个变量的值传送到主内存的变量中。

三、 volatile 有什么特点，为什么它能保证变量对所有线程的可见性？

volatile关键字可以保证直接从主内存中读取一个变量，如果这个变量被修改后，总是会被写回主内存中。Java内存模型是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值这种依赖主内存作为传递媒介的方式来实现可见性的。

四、既然 volatile 能够保证线程间的变量可见性，是不是就意味着基于 volatile 变量的运算就是并发安全的？

volatile虽然可以保证可见性，还可以防止指令重排。但是volatile的原子性只是针对单个volatile变量的读/写具有原子性。类似这种volatile++这种复合操作不具有原子性。因为volatile++本质上是读写两种操作。

要想在多线程下保证原子性操作，可以通过锁来实现，volatile无法保证复合操作的原子性。

五、synchronized和volatile的实现原理

参考我的另一篇博客：Synchronized和volatile的实现原理

六、synchronized和volatile的异同

1、volatile本质是告诉线程现在主内存中的变量值是不确定的，需要从主内存中读取。synchronized则是锁定当前变量，只有当前线程可以访问该变量，其他线程阻塞。
2、volatile只能用在变量级别，synchronized可以用在方法，变量，类级别。
3、volatile不能保证复合操作原子性，synchronized可以。

七、请谈谈ThreadLocal实现原理

参考我的另一篇博客：ThreadLocal实现原理

八、ThreadLocal是怎么解决并发安全的，以及ThreadLocal需要注意什么？

ThreadLocal是一个为线程提供局部变量的工具类。为线程提供一个私有的变量副本，这样多个线程就可以随意更改自己局部的变量，而不影响别的线程。ThreadLocal中有内部类ThreadLocalMap，ThreadLocalMap就是用来存放变量副本的

ThreadLocal中的内存泄露
如果ThreadLocal被设置为null之后，而且没有任何强引用指向它，根据垃圾回收的可达性算法，ThreadLocal将会被回收，这样一来，ThreadLocalMap中将会含有key为null的Entry，而且ThreadLocalMap是在Thread中的，只要线程迟迟不结束，这些无法访问到的value就会形成内存泄露。为了解决这个问题，ThreadLocalMap中的getEntry(),set(),和remove()函数都会清理key 为 null 的 Entry