《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