本文共 2482 字,大约阅读时间需要 8 分钟。
先介绍几个概念:
如果一个变量在多个线程的工作内存中都存在副本,那么这个变量就是这几个线程的共享变量
一个线程对共享变量值的修改,能够及时地被其他线程看到
JAVA内存模型(Java Memory Model) 描述了Java程序中各种变量(共享变量)的访问规则,以及在JVM中将变量存储到内存中和从内存中读取出变量这样的底层细节
这里我们只需要知道:
它有两条规定:
因此要想实现线程1对共享变量的修改被线程2及时看到,要经过两个步骤:
2.把主内存中更新过的共享变量刷新到工作内存2
先了解下重排序和as-if-serial语句的概念
代码书写的顺序和实际执行的顺序不同
代码顺序
int number = 1; int result = 0;
执行顺序
int result = 0; int number = 1;
原因是编译器或者处理器为了提高程序性能做的优化
无论如何重排序,程序执行的结果应该和代码执行的结果一致(JAVA编译器、运行时和处理器都会保证JAVA在单线程下遵循as-if-serial)
int num1 = 1; int num2 = 2; int sum = num1 + num2;
单线程:第1,2行顺序可以重排 但是第3行不行
重排序不会给单线程带来内存可见性问题
多线程中程序交错执行时可能会造成内存可见性问题
Synchronized可以实现:
JMM关于Synchronized的两条规定:
因此线程解锁前对共享变量的修改在下次加锁时对其他线程是可见的
线程执行互斥代码的过程:
代码示例:
package thread.sychronized;/** * SyncDemo * Created by heqianqian on 2017/4/15. */public class SyncDemo { private boolean ready = false; private int value = 2; private int result = 0; private synchronized void read() { if(ready){ result = value*3; } System.out.println("result的值为:" + result); } private synchronized void write() { ready = true; value = 10; } private class MyThread extends Thread{ private boolean flag; public MyThread(boolean flag) { this.flag = flag; } @Override public void run() { if (flag){ write(); }else{ read(); } } } public static void main(String[] args) { SyncDemo syncDemo = new SyncDemo(); //写操作 syncDemo.new MyThread(true).start(); try { Thread.sleep(100); } catch (InterruptedException e) { e.printStackTrace(); } //读操作 syncDemo.new MyThread(false).start(); }}
通过加入内存屏障和禁止重排序优化来实现
通俗的来说:
volatile变量在每次被线程访问时,都强迫从主内存中读取该变量的值,而当该变量发生改变时,又会强迫把最近的值刷新到主内存中
volatile不能保证符合操作的原子性
保证操作的原子性
要在多线程中安全的使用volatile变量 必须同时满足