happens-before原则

本文深入解析Java内存模型的八大原则,包括程序次序、锁定、volatile变量、传递、线程启动与中断、线程终结、对象终结等,揭示了单线程与多线程环境下程序执行的正确性和数据一致性保障。
  1. 程序次序原则:单个线程内,按照代码顺序,书写在前面的操作先行于书写在后面的操作。JVM 为了提高效率,会对不存在数据依赖性的语句进行重排序,这里的程序次序原则表示 JVM 重排序后程序执行的结果还是一样的。这个原则只能保证程序在单线程唤醒下执行的正确性,不能保证在多线程环境下的正确性。
  2. 锁定原则:一个 unLock 操作先行发生于后面对于同一个锁的 lock 操作。
  3. volatile变量原则:对一个变量的写操作先行发生于后面对这个变量的读操作。
  4. 传递原则:如果操作 A 先行发生于操作 B,而操作 B 又先行发生于操作 C,则可以得出操作 A 先行发生于操作 C。
  5. 线程启动原则:Thread 对象的 start() 方法先行发生于此线程的每一个动作。
  6. 线程中断原则:对线程 interrupt() 方法的调用先行发生于被中断线程的代码检测到的中断事件的发生。
  7. 线程终结规则:线程中所有操作都先行于线程的终止检测,我们可以通过 Thread.join() 方法结束、Thread.isAlive() 的返回值手段检测到线程已经终止执行。
  8. 对象终结原则:一个对象的初始化完成先行发生于他的 finalize() 方法的开始。

转载于:https://my.oschina.net/firepation/blog/2253125

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值