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