内存一致性属性
Java Language Specification 第 17 章定义了内存操作(如共享变量的读写)的 happen-before 关系。只有写入操作 happen-before 读取操作时,才保证一个线程写入的结果对另一个线程的读取是可视的。 synchronized
和 volatile
构造 happen-before 关系,Thread.start()
和 Thread.join()
方法形成 happen-before 关系。尤其是:
- 线程中的每个操作 happen-before 稍后按程序顺序传入的该线程中的每个操作。
- 一个解除锁监视器的(
synchronized
阻塞或方法退出)happen-before 相同监视器的每个后续锁(synchronized
阻塞或方法进入)。并且因为 happen-before 关系是可传递的,所以解除锁定之前的线程的所有操作 happen-before 锁定该监视器的任何线程后续的所有操作。 - 写入
volatile
字段 happen-before 每个后续读取相同字段。volatile
字段的读取和写入与进入和退出监视器具有相似的内存一致性效果,但不 需要互斥锁。 - 在线程上调用
start
happen-before 已启动的线程中的任何线程。 - 线程中的所有操作 happen-before 从该线程上的
join
成功返回的任何其他线程。
java.util.concurrent
中所有类的方法及其子包扩展了这些对更高级别同步的保证。尤其是:
- 线程中将一个对象放入任何并发 collection 之前的操作 happen-before 从另一线程中的 collection 访问或移除该元素的后续操作。
- 线程中向
Executor
提交Runnable
之前的操作 happen-before 其执行开始。同样适用于向ExecutorService
提交Callables
。 - 异步计算(由
Future
表示)所采取的操作 happen-before 通过另一线程中Future.get()
获取结果后续的操作。 - “释放”同步储存方法(如
Lock.unlock
、Semaphore.release
和CountDownLatch.countDown
)之前的操作 happen-before 另一线程中相同同步储存对象成功“获取”方法(如Lock.lock
、Semaphore.acquire
、Condition.await
和CountDownLatch.await
)的后续操作。 - 对于通过
Exchanger
成功交换对象的每个线程对,每个线程中exchange()
之前的操作 happen-before 另一线程中对应exchange()
后续的操作。 - 调用
CyclicBarrier.await
之前的操作 happen-before 屏障操作所执行的操作,屏障操作所执行的操作 happen-before 从另一线程中对应await
成功返回的后续操作。
相关推荐
jvm happens-before通俗讲解 jvm happens-before通俗讲解
于存在线程本地内存和主内存的原因,再加上重排序,会导致多线程环境下存在可见性的问题。那么我们正确使用同步、锁的情况下,线程A修改了变量a何时对线程B可见?下面小编来简单介绍下
一提到happens-before原则,就让人有点“丈二和尚摸不着头脑”。这个涵盖了整个JMM中可见性原则的规则,究竟如何理解,把我个人一些理解记录下来。下面可以和小编一起学习
Java内存模型中的happens-before是什么?为什么会有这东西的存在?一个新东西肯定是上手先,但是等我们空下来回过头来,我们还是需要去理解这些知识,只有这样我才能深刻的记住,并且运用熟练。下来和小编来一起学习...
主要介绍了java内存模型(JMM)及happens-before原理,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下
本文讲了Java并发编程中volatile变量、happens-before与内存一致性错误,下面来和小编一起学习下如何解决
锁的释放-获取建立的happens before 关系
在JMM(Java内存模型)中,如果一个操作执行的结果需要对另一个操作可见,那么这两个操作之间必须存在happens-before关系。下面小编来简单介绍一下
本文大部分整理自《Java并发编程的艺术》,温故而知新,加深对基础的理解程度。下面可以和小编来一起学习下
happens-before原则是Java内存模型中定义的两项操作之间的偏序关系,如果说操作A先行发生于操作B,其实就是说在发生操作B之前,操作A产生的影响能被操作B观察到。“影响”包括修改了内存中共享变量的值、 发送了消息...
java面试题_java-interview-questions-master.zip2、在 Java 程序中怎么保证多线程的运行安全? 出现线程安全问题的原因一般都是三个...3、 编译优化带来的有序性问题 解决办法:Happens-Before 规则可以解决有序性问题
1. 解锁操作 happens-before 之后(这里指时钟顺序先后)对同一把锁的加锁操作 2. volatile 字段的写操作 happens-before
Happens-before原则(先行发生原则) a.程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作;(保证单线程,但不保证多线程); b.锁定规则:一个unlock操作先行发生于后面对同一个锁...
happens-before 重排序 数据依赖性 as-if-serial 语义 程序顺序规则 重排序对多线程的影响 顺序一致性 数据竞争与顺序一致性保证 顺序一致性内存模型 同步程序的顺序一致性效果 未同步程序的执行特性 VOLATILE ...
happens-before 10 重排序 13 数据依赖性 13 as-if-serial 语义 13 程序顺序规则 15 重排序对多线程的影响 15 顺序一致性 19 数据竞争与顺序一致性保证 19 顺序一致性内存模型 19 同步程序的顺序一致性效果 ...
## as-if-srial规则和happens-before规则的区别 synchronized、volatile、CAS 比较 synchronized 和 Lock 有什么区别? volatile 关键字的作用 # Lock体系 ## Lock简介与初识AQS ### Java Concurrency API 中的 ...
3.java内存模型以及happens-before规则 4.彻底理解synchronized 5.彻底理解volatile 6.你以为你真的了解final吗? 7.三大性质总结:原子性、可见性以及有序性 8.初识Lock与AbstractQueuedSynchronizer(AQS) 9.深入...
Happens-Before规则:发布共享对象与另一线程访问对象。 说明了某个线程的内存操作,在哪些情况下对其他线程是可见的。 之前发生:Happens-Before 一代码块在其他开始前完成。 同步约束:Synchronized-with...
Agenda: •什么是Java内存模型JMM •内存可见性 •有序性 •指令重排序 •内存屏障 •顺序一致性与Happens-before规则 •volatile, synchronized, 原子变量,锁, final的原理