安全并发之先行发生原则

  先行发生原则,可以帮你判定是否并发安全的,从而不必去猜测是否是线程安全了!

  如果Java内存模型中所有有序性都靠volatile和synchronized来完成,那么编写代码会很繁琐,但日常Java开发中并没有感受到这一点,正是因为Java语言的“先行发生”原则。这个原则非常重要,它是判断数据是否存在竞争、线程是否安全的主要依据。

  先行发生是Java内存模型中定义的两项操作数之间的偏序关系,如果说操作A先行发生于操作B,就是说在发生操作B之前,操作A产生的影响能被操作B观察到,“影响”包括修改了内存中共享变量的值、发送了消息、调用了方法等。

  下面是Java内存模型中一些“天然的”先行发生关系,这些先行发生关系无需任何同步协助器协作即可存在,可以直接在编码中使用。如果两个关系不在此列,而又无法通过这些关系推导出来,它们的顺序就无法保证,虚拟机可以对它们任意重排序。

  程序次序法则: 线程中的每一个动作A都happens-before于该线程中的每一个动作B,其中,在线程中,所有的动作B都出现在动作A之后

  管程锁定规则: 对于一个监视器锁的unLock 操作happens-before于每个后续对同一监视器锁的Lock操作

  volatile变量法则: 对volatile域的写入操作happens-before于每个后续对同一个yu域的读操作。

  线程启动法则: 在同一个线程里,对Thread.start的调用会happens-before于每一个启动线程中的动作。

  线程终结法则: 线程中的所有动作都happens-before于其它线程检测到这个线程已经终结,或者从Thread.jonin调用成功返回,或者Thread.isAlive返回false.

  中断法则: 一个线程调用另一个线程的interrupt happens-before 于被中断的线程发现中断(通过抛出InterruptedException 或者调用isInterrupted和interrupted)

  终结法则: 一个对象的构造函数的结束happens-before于这个对象finalizer的开始

  传递性: 如果 A happens-before 于 B,且 B happens-before 于 C,则 A happens-before 于C。

java无须任何手段即可保证上面的先行发生规则成立,下面那个例子看一下:

private int value = 0;

public void setValue(int value){
    this.value = value;
}

public int getValue(){
    return value;
}

  假设A、B两个线程,线程A先(时间上的先后)执行setValue(1), 然后线程B调用同一对象的getValue(),那么线程B收到的返回值是什么?

  依次分析一下先行发生原则中的各个原则:

    由于两个方法分别在不同的线程中被调用,程序次序原则不适用;

    没有同步块,自然不会发生lock和unlock操作,管程锁定原则不适用;

    value变量没有被volatile修饰,volatile变量原则不适用;

    后面的线程启动、中断、终止原则也毫无关系;

    没有一个适用的原则,传递性也不适用。

  所以说线程B得到的结果不确定是0还是1,换句话说,这里面的操作不是线程安全的。

  怎么修复呢?getter/setter 定义synchronized方法;或者把value变量定义volatile变量,就回到了先行发生原则上了。

private volatile int value = 0;

  另外,先行发生并不代表一定是先发生!

  时间先后顺序于先行发生的原则之间基本没有太大的关系。

  比如如下代码中,i, j 的取值问题:

//同一个线程中执行
int i = 1;
int j = 2;
// doSth...
volt = 10;  // 假设volt为 volatile 修饰的

  根据程序次序规则,”int i = 1”的操作先行发生于”int j = 2”,但是”int j = 2”的代码完全可能先被处理器执行,这并不影响先行发生原则的正确性,因为我们在这条线程中并没有办法感知到这点。

  先行发生原则,可以帮你判定是否并发安全的,从而不必去猜测是否是线程安全了!

  ---- 摘自《深入理解Java虚拟机》

原文地址:https://www.cnblogs.com/yougewe/p/9734255.html

时间: 2024-11-08 20:38:07

安全并发之先行发生原则的相关文章

java内存模型先行发生原则

java语言天生有一个  先行发生原则,无须借助任何同步器就存在  这是判断线程是否存在竞争,线程是否安全的主要依据, 1.程序次序规则:在一个线程内,书写在前面的代码先行发生于后面的.确切地说应该是,按照程序的控制流顺序,因为存在一些分支结构. 2.管程锁定规则.一个unlock操作先行发生于后面对同一个锁的lock操作. 3.Volatile变量规则:对一个volatile修饰的变量,对他的写操作先行发生于读操作. 4.线程启动规则:Thread对象的start()方法先行发生于此线程的每一

JAVA多线程之先行发生原则

一.引子 如果java内存模型中所有的有序性都仅仅依靠volatile和synchronized来完成,那么有一些操作会变得很繁琐,但我们在编写java并发代码时并未感觉到这一点,这是因为java语言中有个先行发生原则(happens-before),通过这个原则,我们可以通过几条规则一揽子解决并发环境下两个操作之间是否可能存在冲突的所有问题. 二.定义 先行发生是java内存模型中定义的两项做错之间的偏序关系,如果说操作A先行发生与操作B,其实就是说在发生操作B之前,操作A产生的影响能被操作B

java内存模型—先行发生原则

Java语言中有一个“先行发生”(happens-before)的原则.这个原则非常重要,它是判断数据是否存在竞争,线程是否安全的主要依据,依赖这个原则,我们可以通过几条规则一揽子解决并发环境下两个操作之间是否可能存在冲突的所有问题.现在就来看看“先行发生”原则指的是什么.先行发生是Java内存模型中定义的两项操作之间的偏序关系,如果说操作A先行发生于操作B,其实就是说在发生操作B之前,操作A产生的影响能被操作B观察到,“影响”包括修改了内存中共享变量的值.发送了消息.调用了方法等.这句话不难理

先行发生原则

如果Java内存模型中所有的有序性都仅仅靠volatile和synchronized来完成,那么有一些操作将会变得很烦琐,但是我们在编写Java并发代码的时候并没有感觉到这一点,这是因为 Java语言中有一个"先行发生"(happens-before)的原则.这个原则非常重要,它是判断数据 是否存在竞争.线程是否安全的主要依据,依靠这个原则,我们可以通过几条规则一揽子地 解决并发环境下两个操作之间是否可能存在冲突的所有问题. 现在就来看看"先行发生"原则指的是什么.

3、先行发生原则

如果Java内存模型中所有的有序性都仅仅依靠volatile和synchronized来完成,那么一些操作将会变得很繁琐,但是我们在编写Java程序时并没有感觉到这一点,这是因为Java语言中有一个”先行发生(happens-before)“的原则.这个原则非常重要,它是判断数据是否存在竞争.线程是否安全的主要依据. 下面是Java内存模型下一些“天然的”先行发生关系,这些先行发生关系无需任何同步协助就已经存在,可以在编码中直接使用.如果两个操作之间的关系不在此例,并且无法从下列规则推导出来的话

JVM-- 先行发生原则

先行发生原则--是判断是否存在数据竞争.线程是否安全的主要依据. 先行发生是Java内存模型中定义的两项操作之间的偏序关系.如果说操作A先行发生于操作B,其实就是说在发生操作B之前,操作A产生的影响被操作B察觉. 以下面的一段伪代码为例: //以下操作在线程A中执行 int i = 1; //以下操作在线程B中执行 j = i; //以下操作在线程C中执行 i = 2 由于线程执行的先后顺序不同,会导致最后j 的结果出现差异.若使线程安全,那么A先行发生B,B先行发生C. 线程B可能获取的是一些

并发之原子性、可见性、有序性

volatile这个关键字可能很多朋友都听说过,或许也都用过.在Java 5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果.在Java 5之后,volatile关键字才得以重获生机. volatile关键字虽然从字面上理解起来比较简单,但是要用好不是一件容易的事情.由于volatile关键字是与Java的内存模型有关的,因此在讲述volatile关键之前,我们先来了解一下与内存模型相关的概念和知识,然后分析了volatile关键字的实现原理,最后给出了几个使用vola

Java内存模型相关原则详解

在<Java内存模型(JMM)详解>一文中我们已经讲到了Java内存模型的基本结构以及相关操作和规则.而Java内存模型又是围绕着在并发过程中如何处理原子性.可见性以及有序性这三个特征来构建的.本篇文章就带大家了解一下相关概念.原则等内容. 原子性 原子性即一个操作或一系列是不可中断的.即使是在多个线程的情况下,操作一旦开始,就不会被其他线程干扰. 比如,对于一个静态变量int x两条线程同时对其赋值,线程A赋值为1,而线程B赋值为2,不管线程如何运行,最终x的值要么是1,要么是2,线程A和线

Java并发编程 Volatile关键字解析

volatile关键字的两层语义 一旦一个共享变量(类的成员变量.类的静态成员变量)被volatile修饰之后,那么就具备了两层语义: 1)保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是立即可见的. 2)禁止进行指令重排序. 根据volatile的语义,我们可以看到,volatile主要针对的是并发三要素(原子性,可见性和有序性)中的后两者有实际优化作用. 可见性: 线程本身并不直接与主内存进行数据的交互,而是通过线程的工作内存来完成相应的操作.