成员变量修饰符volatile(可见性)

转载：https://www.cnblogs.com/tangyanbo/p/6538488.html

java内存分为工作内存和主存

工作内存：即java线程的本地内存，是单独给某个线程分配的，存储局部变量等，同时也会复制主存的共享变量作为本地的副本，目的是为了减少和主存通信的频率，提高效率。

主存：存储类成员变量等。

可见性是指的是线程访问变量是否是最新值。

局部变量不存在可见性问题，而共享内存就会有可见性问题，
因为本地线程在创建的时候，会从主存中读取一个共享变量的副本，且修改也是修改副本，且并不是立即刷新到主存中去，那么其他线程并不会马上共享变量的修改。
因此，线程B修改共享变量后，线程A并不会马上知晓，就会出现上述死循环的问题。
解决共享变量可见性问题，需要用volatile关键字修饰。

可见性的特性总结为以下2点：

1. 对volatile变量的写会立即刷新到主存
2. 对volatile变量的读会读主存中的新值
   
   volatile变量的原子性
   我看了很多文章，有些文章甚至是出版的书籍都说volatile不是原子的，
   他们举的例子是i++操作，i++本身不是原子操作，是读并写，我这里要讲的原子性
   指的是写操作，原子性的特别总结为2点：
   1. 对一个volatile变量的写操作，只有所有步骤完成，才能被其它线程读取到。
   2. 多个线程对volatile变量的写操作本质上是有先后顺序的。也就是说并发写没有问题。

–评论–
在这个问题上，寄存器其实并不是核心点，寄存器既不是线程本地内存，也不是主存，很多人搞不清楚，其实寄存器可以理解为cpu的一个小缓存，缓存从内存中获取的最近的数据，这是一个优化，即减少cpu和内存的通信，因此volatile也面临这个问题，也就是说volatile变量被写之后，也需要将寄存器里面对应的缓存失效，但这并不是jvm内存模型的主要思想，不妨碍去理解volatile的意义