L
L
LearnJava
Search…
happens-before

一、happens-before简介

happens-before到底是个啥东西,在很多资料上都看到对他的叙述,比较抽象。其实happens-before是为了让程序员不必去理解复杂的重排序实现和具体规则,JMM(java内存模型)在上层提供了8条规则,这样我们就可以根据规则去推论跨线程的内存可见性问题,而不用去理解底层重排序的规则。

二、happens-before规则

  1. 1.
    程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作。
  2. 2.
    监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。
  3. 3.
    volatile变量规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读。
  4. 4.
    传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。
  5. 5.
    start()规则:如果线程A执行操作ThreadB.start()(启动线程B),那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。
  6. 6.
    join()规则:如果线程A执行操作ThreadB.join()并成功返回,那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。
  7. 7.
    程序中断规则:对线程interrupted()方法的调用先行于被中断线程的代码检测到中断时间的发生。
  8. 8.
    对象finalize规则:一个对象的初始化完成(构造函数执行结束)先行于发生它的finalize()方法的开始。
Copy link
On this page
一、happens-before简介
二、happens-before规则