《Java并发编程实战》学习笔记之 第3章 对象的共享

1.内存可见性
    synchronized关键字同步有两方面的作用：
 （1）实现原子性或者确定临界区
（2）确保内存可见性
所谓内存可见性，即当一个线程修改了对象状态后，其他线程能够看到修改后的状态。
     多线程程序在没有同步的情况下，编译器、处理器及运行时等都可能对操作执行顺序进行一些意想不到的调整。在缺乏足够同步的多线程程序中，要想对内存操作的执行顺序进行判断，几乎无法得出正确的结论。
 
1.1 失效数据
比如线程在没有同步的情况下读取变量时得到的可能是失效数据（之前某个线程设置的值）。
 
1.2 非原子的64位操作
非volatile的64位数值变量，比如long，double，JVM允许将64位的读操作或写操作分解为两个32位的操作。如果对该变量的读操作和写操作在不同的线程中执行，那么很可能读取到某个值的高32位和另一个值的低32位而导致错误。
 
1.3加锁与可见性
加锁的含义不仅包括互斥行为，还包括内存可见性，为了确保所有线程都能看到共享变量的最新值，所有执行读或写操作的线程都必须在同一个锁上同步。
 
1.4 volatile变量
volatile变量是一种稍弱的同步机制，用来确保将变量的更新操作通知到其他线程。
volatile变量只能确保可见性，而不能确保原子性。
 
2.发布与逸出
TODO