Java多线程之内存可见性学习笔记

基本概念：

可见性：一个线程对共享变量值的修改，能够及时地被其他线程看到。

共享变量：如果一个变量在多个线程的工作内存中都存在副本，那么这个变量就是这几个线程的共享变量。

Java内存模型（JMM）

两条规定：

1. 线程对共享变量的所有操作都必须在自己的工作内存中进行，不能直接从主内存中读写。
2. 不同线程之间无法直接访问其他线程工作内存中的变量，线程间变量值的传递需要通过主内存来完成。

共享变量可见性实现的原理（两个步骤）：

1. 线程修改后的共享变量值能够及时从工作内存中刷新到主内存中
2. 其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中

Java语言层面支持的可见性实现方式：

• synchronized
• volatile

线程执行互斥代码的过程：

1. 获得互斥锁
2. 清空当前线程的工作内存
3. 从主内存中拷贝变量的最新副本到工作内存中
4. 执行代码
5. 将当前线程更改后的共享变量的值刷新到主内存中
6. 释放互斥锁

相关知识点：

导致共享变量在线程间不可见的原因：

1. 线程的交叉执行
2. 重排序结合线程交叉执行
3. 共享变量更新后的值没有在工作内存与主内存间及时更新

volatile只能保证变量可见性但是不能保证原子性

volatile适用场合

要在多线程中安全的使用volatile变量，必须同时满足：

1. 对变量的写入操作不依赖其当前值
   不满足：number++ , count = count * 5等
   满足： boolean变量，记录温度变化的变量等

2. 该变量没有包含在具有其他变量的不变式中
   不满足：不变式 low < up

synchronized和volatile比较

1. volatile不需要加锁，比synchronized更轻量级，不会阻塞线程；
2. 从内存可见性角度看，volatile读相当于加锁，volatile写相当于解锁。
3. synchronized既能保证可见性，又能保证原子性，而volatile只能保证可见性，无法保证原子性。

相关注意问题：

目前，已经有很多虚拟机把64位数据读写操作当做原子操作来对待，所以我们不用特意用volatile声明