Java并发编程实战 第3章 对象的共享

3.1 可见性

在没有同步的情况下，编译器、处理器以及运行时等都可能对操作的执行顺序进行一些意想不到的调整。

3.1.1 失效数据

3.1.2 非原子的64位操作

最低安全性：即使是失效值，但至少是之前的值，不是随机值。
例外：非volatile类型的64位数值变量（long、double）。

Java内存模型要求：变量的读取或写入都是原子操作，但是对非volatile的long和double变量，JVM允许将64位的读操作或写操作分解为两个32位的操作。
当读取一个非volatile的long变量时，如果对该变量的读写操作在不同的线程中执行，就可能督导某个值的高32位和另一个值的低32位。因此，即使不考虑失效数据，在多线程中使用共享且可变的long和double等是不安全的，除非用volatile声明、或用锁保护起来。

3.1.3 加锁与可见性

访问某个共享且可变的变量时要求素有线程在同一个锁上同步，就是为了确保某个线程写入该变量的值对于其他线程来说都是可见的。
加锁的含义不仅仅局限于互斥行为，还包括内存可见性。

3.1.4 volatile变量

Java提供了一种稍弱的同步机制——volatile，用来确保将变量的更新操作通知到其他线程。
对于volatile变量，编译器与运行时都会注意到这个变量是共享的，因此不会将该变量上的操作与其