JVM内存模型（一）

JVM 内存模型（一）

java 中各个线程是怎么彼此看到对方的变量的

• Java 中定义了主内存与工作内存的概念
• 所有的变量都存储在主内存，每条线程还有自己的工作内存，保存了被该线程使用到的变量的主内存副本拷贝
• 线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，不能直接读写主内存的变量，不同的线程直接也无法直接访问对方工作内存的变量，线程间变量值的传递需要通过主内存

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

关键字 volatile 是 java 虚拟机提供的最轻量级的同步机制，当一个变量被定义成 volatile 之后，具备两种特性：

1. 保证此变量对所有线程的可见性，当一条线程修改了这个变量的值，新值对于其他线程是可以立即得知的，而普通变量做不到这一点
2. 禁止指令重排序优化，普通变量仅仅能保证在该方法执行过程中，得到正确结果，但是不保证程序代码的执行顺序

Java 的内存模型定义了 8 种内存间操作：

1. lock 和 unlock：

• 把一个变量标识为一条线程独占的状态
• 把一个处于锁定状态的变量释放出来，释放之后的变量才能被其他线程所动

2. read 和 write：

• 把一个变量从主内存传输到线程的工作内存，以便 load
• 把 store 操作从工作内存得到的变量的值，放入主内存的变量中

3. load 和 store：

• 把 read 操作从主内存得到的变量放入工作内存的变量副本中
• 把工作内存的变量值传送到主内存，以便 write

4. use 和 assgin

• 把工作内存变量值传递给执行引擎
• 将执行引擎值传递给工作变量值
  volatile 的实现基于这 8 种内存间操作，保证了一个线程对某个 volatile 变量的修改，一定会被另一个线程看见，即保证了可见性

基于 volatile 变量的运算为什么并发不安全

java 里面的运算并非原子操作，导致 volatile 变量的运算在并发下一样是不安全的

对比 volatile 和 Synchronized 的异同

1. Synchronized 既能保证可见性，又能保证原子性，而 volatile 只能保证可见性，无法保证原子性
2. ThreadLocal 和 Synchronized 都用于解决多线程并发访问，防止任务在共享资源上产生冲突。但是 ThreadLocal 与 Synchronized 有本质的区别

• Synchronized 用于实现同步机制，是利用锁的机制使变量或代码块在某一时刻只能被一个线程访问，是一种“以时间换空间”的方式。
• 而 ThreadLocal 为每一个线程都提供了变量的副本，使得每个线程在某一时间访问到的并不是同一个对象，根除了对变量的共享，是一种“以空间换时间”的方式

ThredLocal 是怎么解决并发安全的

ThreadLocal 这是 Java 提供的一种保存线程私有信息的机制，因为其在整个线程生命周期内有效，所以可以方便地在一个线程关联的不同业务模块之间传递信息，比如事务ID、Cookie 等上下文相关信息。
ThreadLocal 为每一个线程维护变量的副本，把共享数据的可见范围限制在同一个线程之内，其实现原理是，在 ThreadLocal 类中有一个 Map，用于存储每一个线程的变量的副本

为什么要慎用 ThreadLocal

• 使用 ThreadLocal 要注意 remove
• ThreadLocal 的实现是基于一个所谓的 ThreadLocalMap，在 ThreadLocalMap 中，它的 key 是一个弱引用，value是强引用，一旦发生GC将key回收掉，value一直存在，造成内存泄露