并发编程之happen-before原则

Happens-Before(Java内存模型JMM是共享内存的并发模型,线程之间通过读写共享变量来实现隐形通信。JMM通过Happens-Before原则提供跨线程内存的可见性保证)原则:
定义:
1、如果一个操作happens-before另一个操作,那么第一个操作的结果对第二个可见,且第一个执行顺序在第二个之前。
2、两个操作存在happens-before关系,并不意味着Java平台具体实现必须按照happens-before指定顺序执行,如果重排序之后的执行结果与按happens-before执行结果一致,JMM允许这样操作。

规则:
1、程序次序原则:一个线程中,按照程序的顺序,前面的操作happens-before后面的操作(编译器并不一定按照这个顺序执行,但是会保证执行结果==按照顺序推演的结果)

2、锁定原则:如果线程1解锁了monitor a,接着线程2锁定了a,那么线程1解锁a之前的写操作都对线程2可见(线程1线程2可以为同一个线程)

3、volatile原则:如果线程1写入volatile变量V(对象的字段,类字段或数组元素),接着线程2读取了V,那么线程1写入V及之前的写操作都对线程2可见

4、传递原则:如果线程a happeds-before线程b,线程b happens-before线程c,那么线程a happens-before 线程c

5、start()原则:线程A中启动线程B,线程B中可以看到线程A启动B之前的操作。也就是说start() happens-before线程B中的操作

6、线程join()原则:主线程A等待子线程B完成,B执行完毕后,主线程A可以看到子线程B的所有操作。也就是说子线程B中的所有操作happens-before join()的返回。

7、线程中断原则:对线程interrupted()的调用happens-before被中断线程的代码检测到中断时间的发生

8、对象finalize原则:对象的初始化happens-before对象的finalize操作。

上一篇:每日三道面试题,通往*的道路10——JMM篇


下一篇:SpringBoot单元测试方法和切面功能