java JMM
2016-02-02 17:03
591 查看
1、在计算机中,软件技术和硬件技术有一个共同的目标:在不改变程序执行结果的前提下,尽可能的开发并行度。编译器和处理器遵从这一目标,从happens- before的定义我们可以看出,JMM同样遵从这一目标。
2、当一个变量被多个线程读取,且至少被一个线程写入时,如果读写操作并未依照happens-before排序,就会产生数据竞争。
happens-before的法则包括:
程序次序法则:线程中的每个动作A都happens-before于该线程中的每一个动作B,其中,在程序中,所有的动作B都出现在动作A之后。(一个线程内先执行的代码对后面的代码可见)
监视器法则:对一个监视器锁的解锁happens-before于每一个后续对同一监视器锁的加锁。(解锁程序内的代码对后面加锁的程序代码可见)
volatile变量法则:对volatile域的写入操作happens-before于每一个后续对同一域的读操作。(前对后可见)
线程启动法则:在一个线程里,对Thread.start的调用会happens-before于每一个启动线程中的动作。(前对后可见)
线程终结法则:线程中的任何动作都happens-before于其他线程检测到这个线程已经终结,或者从Thread.join调用中成功返回,或者Thread.isAlive返回false。(前对后可见)
中断法则:一个线程调用另一个线程的interrupt happens-before于被中断的线程发现中断。(前对后可见)
终结法则:一个对象的构造函数的结束happens-before于这个对象的finalizer的开始。(前对后可见)
传递性:如果A happens-befoe 于B ,且 B happens-before于C则A happens-before于C.
2、当一个变量被多个线程读取,且至少被一个线程写入时,如果读写操作并未依照happens-before排序,就会产生数据竞争。
happens-before的法则包括:
程序次序法则:线程中的每个动作A都happens-before于该线程中的每一个动作B,其中,在程序中,所有的动作B都出现在动作A之后。(一个线程内先执行的代码对后面的代码可见)
监视器法则:对一个监视器锁的解锁happens-before于每一个后续对同一监视器锁的加锁。(解锁程序内的代码对后面加锁的程序代码可见)
volatile变量法则:对volatile域的写入操作happens-before于每一个后续对同一域的读操作。(前对后可见)
线程启动法则:在一个线程里,对Thread.start的调用会happens-before于每一个启动线程中的动作。(前对后可见)
线程终结法则:线程中的任何动作都happens-before于其他线程检测到这个线程已经终结,或者从Thread.join调用中成功返回,或者Thread.isAlive返回false。(前对后可见)
中断法则:一个线程调用另一个线程的interrupt happens-before于被中断的线程发现中断。(前对后可见)
终结法则:一个对象的构造函数的结束happens-before于这个对象的finalizer的开始。(前对后可见)
传递性:如果A happens-befoe 于B ,且 B happens-before于C则A happens-before于C.
相关文章推荐
- Eclipse 如何查看jdk源码
- java1.8的几大新特性(一)
- 1.Java 加解密技术系列之 BASE64
- spring整合SpringMVC Controller 和 Struts2 Action控制层Bean的默认作用域
- 关于SpringAOP的一些事
- 从头认识Spring-1.14 SpEl表达式(2)-嵌入Bean、Bean的属性和Bean的方法
- java web 后台接收到中文乱码
- Java 集合类详解
- Java 多线程 并发编程
- 【转】Java运算符优先级
- java.lang.IllegalStateException: This Activity already has an action bar supplied by the window deco
- Java 代理模式和装饰者模式的区别
- CLASSPATH PATH JAVA_HOME的区别
- Eclipse中jsp、js文件编辑时,卡死现象解决汇总
- Java Map 集合类简介
- Intellij Idea如何导入spring源码
- Java面向抽象编程
- java.lang.IllegalArgumentException: Page directive
- Maven dependency spring-web vs spring-webmvc
- 8张图理解Java