java并发编程(二):happened-before

1,java内存模型基础

两个关键的问题是:线程之间如何通信,线程之间如何同步;

每个线程有个本地内存,共享变量存在于主内存中,当要使用这个共享内存的时候,本地内存会存放共享变量的副本,

当A内存有更新,就会将数据刷新到主内存中,B就到主内存中获取A之前更新过的共享变量;

1.1 happens-before:

如果一个操作所执行的结果需要对另一个操作可见,那么两个操作之间必要会存在happened-before 的关系。

规则如下:

(1)一个线程中的每个操作,都happens-before 于该线程中的后续操作;

(2)对于一个锁的解锁,happens-before于随后对这个锁的加锁;

(3)对于volatile 内存的可见性,volatile的写,happens-before 于任意后续对这个volatile的读;

(4)传递性,A happens-before B,B happens-before A,那么A happens-before C;

1.2 重排序

(1)数据依赖性;写后读,写后写,读后写

(2)as-if-serial:不管怎么重排序,程序的执行结果不能改变(在单线程执行中)

猜你喜欢

转载自blog.csdn.net/waterflying2015/article/details/80850108
今日推荐