当JLS说线程A中的某个事件X在与线程B中的事件Y 建立关系 之前发生 一个事件时,这并不意味着X将在Y之前发生。
这意味着 如果 X发生在Y之前,那么两个线程都将 同意 X发生在Y之前。也就是说,两个线程都将以与X发生在Y之前一致的状态看到程序的内存。
都是关于内存的。线程通过共享内存进行通信,但是,当系统中有多个CPU时,所有CPU都试图访问同一内存系统,那么内存系统将成为瓶颈。因此,允许典型的多CPU计算机中的CPU进行延迟,重新排序和缓存操作,以加快处理速度。
当线程不会彼此互动的伟大工程,但是当他们实际上希望交互它引起的问题:如果线程A存储值转换成一个普通的变量,Java使得没有关于何时(甚至保证 如果
)线程B会看到价值变化。
为了克服重要的问题,Java为您提供了一些 同步
线程的方法。也就是说,使线程在程序的内存状态上达成共识。所述
volatile关键字和
synchronized关键字是线程之间建立同步的两种手段。
我认为他们之所以称其为“之前发生”,是为了强调这种关系的传递性:如果您可以证明A发生在B之前,并且可以证明B发生在C之前,则根据JLS中指定的规则,您已经证明A发生在C之前。


![了解事前发生和同步[重复] 了解事前发生和同步[重复]](http://www.mshxw.com/aiimages/31/463524.png)
