Java 的 Happens-Before 原则 定义了一些规则,用于确保线程之间的数据一致性和代码执行顺序
Happens-Before 的 8 条原则如下:
1. 程序次序规则(Program Order Rule)
描述:在一个线程中,代码的执行顺序按照程序中书写的顺序执行。(考虑if-else这种的话,实际上指的是控制流顺序)
解释:在一个线程内,代码会按照程序的书写顺序依次执行,因此前一个操作总是先于后一个操作完成。例如,在 Thread A 中,语句 int a = 1; happens-before a = 2;。
2. 锁定规则(Monitor Lock Rule)
描述:一个 unlock 操作 先行发生于后面对同一锁的 lock 操作。
解释:如果线程 A 先释放一个锁,线程 B 之后获得这个锁,那么线程 A 在释放锁前对共享变量的所有修改对线程 B 可见。这一规则确保了锁释放之前的操作能够在锁的下次获取时被其他线程看到。
3. volatile 变量规则(Volatile Variable Rule)
描述:对 volatile 变量的写操作先行发生于后续对这个变量的读操作。
解释:如果线程 A 写入一个 volatile

最低0.47元/天 解锁文章
647

被折叠的 条评论
为什么被折叠?



