java基础-内存可见性

一、概念

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

所有变量都存在之内存中，每个线程都有自己的工作内存，每个工作内存中都有一个变量副本；线程只能读写自己工作内存里的变量副本。

可见性的时间原理：线程一修改变量副本-->副本更新主内存-->其他工作内存从主内存更新变量-->线程二（三）读取变量

二、实现

java语言层面实现可见性的两种方式：synchonized  和 volatile

（1）synchonized 

    JVM规定synchronized使用时：

• 线程解锁前，必须把共享变量的最新值刷新到主内存中。
• 线程加锁时，清空工作内存中共享变量的值，从主内存中重新读取最新的共享变量的值（注意：同一把锁）

    这样，线程解锁前对共享变量的修改在下次有其他线程加锁时对其可见。

    指令重排序不会给单线程带来可见性问题，但是多线程的交叉执行可能会带来可见性问题。然而synchonized的原子性、可见性使得不会存在该问题。

 

（2）volatile

Java提供了一种稍弱的同步机制，即volatile变量，用来确保将变量的更新操作通知到其他线程。当把变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不会将该变量上的操作与其他内存操作一起重排序。volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方，因此在读取volatile类型的变量时总会返回最新写入的值。

在访问volatile变量时不会执行加锁操作，因此也就不会使执行线程阻塞，因此volatile变量是一种比sychronized关键字更轻量级的同步机制。volatile只能保证可见性，无法保证原子性

-----线程写volatile变量的过程：

1.改变线程工作内存的中volatile变量副本的值。

2讲改变后的副本的值从工作内存刷新到主内存。

------线程读volatile变量的过程：

1.从主内存中读取volatile变量的最新值到线程的工作内存中。

2.从工作内存中读取volatile变量的副本。