Java并发编程-volatile可见性&有序性

文章目录

目录

文章目录

前言

一、原子性

二、可见性

三、有序性

四、happens-before

五、volatile

总结

---

前言

主要介绍Java并发编程的volatile可见性&有序性。

---

一、原子性

• 临界区代码在多线程并发过程中，不会因为编译优化出现指令交错问题
• synchronized和ReentrantLock实现临界区代码的原子性，若是锁内变量被完全保护，则不会出现可见性、有序性问题

二、可见性

• JVM缓存优化导致，线程1将内存（线程共享的堆和方法区）内变量（成员变量和静态变量）改变为新对象时，线程2只能在缓存（线程独占的栈（存局部变量））中读取旧变量
• 将成员变量/静态变量（存在线程共享的内存里）设置为volatile，在变量读之前创建volatile中的读屏障，保证在读屏障之后的代码从内存中访问最新值

三、有序性

• JVM指令重排优化导致，synchronize或ReentrantLock锁中变量出现在锁之外时（即没有被完全保护），无法保证多线程并发线程安全性
• 将成员变量/静态变量（存在线程共享的内存里）设置为volatile，在变量写（引用赋值）之后创建volatile中的写屏障，保证在写屏障之前的代码不会重排序到写屏障之后

四、happens-before

• 保证写操作对读操作可见的7条规则

五、volatile

• 原理
  • 通过设置共享变量（成员、静态）volatile，在变量读前设置读屏障保证读屏障之后读到最新值解决可见性问题，在变量写（引用赋值）后设置写屏障保证写屏障之前指令不重排解决有序性问题
• 双重检查案例

  • 

  • synchronize或ReentrantLock锁中INSTANCE变量出现在锁之外（即没有被完全保护），没有加volatile之前会出现指令重排序，初始化与赋值会调换顺序，线程1先执行赋值导致INSTANCE!=null时（为来得及执行初始化操作），线程2执行if(INSTANCE==null)导致拿到还未初始化的错误引用
  • 加上volatile修饰后，对变量INSTANCE的读之前会加读屏障，保证之后读屏障之后一定读到内存中最新内容；INSTANCE写之后会加写屏障，保证写屏障之前代码不会重排序（初始化和赋值代码顺序一定）

---

总结