java内存模型中的happens-before
2017-10-09 22:31
471 查看
java内存模型中的happens-before 1)概念:JMM用happens-before的概念来指定两个操作之间的执行顺序,这两个操作可以在一个线程内,也可以在不同线程之间,并且保证了内存的可见性。 2)happens-before的定义: 1)从程序员的角度看: 如果一个操作happens-before另一个操作,那么第一个操作的执行结果将对第二个操作可见,而且第一个操作的执行顺序排在第二个操作之前。 2)从编译器和处理器的角度看: 两个操作之间存在happens-before关系,并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。 如果重排序之后的执行结果,与按happens-before关系来执行的结果一致,那么JMM是允许这种重排序的。 也就是说:两个操作之间具有happens-before关系,并不意味着前一个操作必须要在后一个操作之前执行!happens-before仅仅要求前一个操作(执行的结果)对后一个操作可见。 3)happens-before规则: 1)程序顺序规则:一个线程中的每个操作,happens-before于该线程中的任意后续操作。 2)监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁。 3)volatile变量规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读。 4)传递性:如果A happens-before B,且B happens-before C,那么A happens-before C。 5)start()规则:如果线程A执行操作ThreadB.start(),那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。 4)举例: 如果A线程的写操作a与B线程的读操作b之间存在happens-before关系,尽管a操作和b操作在不同的线程中执行,但JMM向程序员保证a操作将对b操作可见。 参考资料:java并发编程的艺术
相关文章推荐
- 【死磕Java并发】-----Java内存模型之happens-before
- 《java并发编程实战》读书笔记13--Java内存模型,重排序,Happens-Before
- Java内存模型之happens-before
- java内存模型(JMM)之happens-before
- 死磕Java并发:Java内存模型之happens-before
- Java内存模型之happens-before
- 学习笔记二:Java内存模型以及happens-before规则
- Java内存模型之happens-before
- Java并发11:Java内存模型、指令重排、内存屏障、happens-before原则
- 【死磕Java并发】--Java内存模型之happens-before
- Java多线程 -- 深入理解JMM(Java内存模型) -- happens-before俗解
- Java内存模型happens-before法则+单例的延迟加载
- 学习笔记之Java线程安全杂谈(中)——Java内存模型、happens-before原则和DCL问题
- 【并发】死磕Java并发:Java内存模型之happens-before
- 【死磕Java并发】-----Java内存模型之happens-before
- 【死磕Java并发】-----Java内存模型之happens-before
- Java内存模型之happens-before规则
- fail-fast/happens-before
- java.util.concurrent包介绍(3)——Happens-before法则
- 通俗易懂讲解happens-before原则