03happen-before原则

  1. 程序顺序性原则:一个线程内保证语义串行性
  2. volatile原则:volatile变量的写,先发生于读,这保证了volatile变量的可见性
  3. 锁规则:解锁(unlock)必然发生于随后的加锁(lock)前
  4. 传递性:A先于B,B先于C,那么A必然先于C
  5. 线程start()方法先于它的每一个动作
  6. 线程的所有操作先于线程的终结(Thread.join())
  7. 线程的中断(interrupt())先于被中断线程的代码
  8. 对象的构造函数执行、结束先于finalize()方法

3解释:对一个锁解锁后再加锁,加锁动作绝对不能重排到解锁动作之前

实时内容请关注微信公众号,公众号与博客同时更新:程序员星星

03happen-before原则