volatile

【推荐】2019 Java 开发者跳槽指南.pdf(吐血整理) >>> 假设一个类有一个由多个线程访问的 public int counter 字段。 此 int 仅递增或递减。 要增加此字段，应使用哪种方法，为什么？ lock(this.locker) this.counter++; ， Interlocked.Increment(ref this.counter); ， 将 counter 的访问修饰符更改为 public volatile 。 既然我发现了 volatile ，我一直在删除许多 lock 语句和 Interlocked 的使用。 但是有理由不这样做吗？ #1楼 我是第二个Jon Skeet的回答，并希望为想要了解更多关于“volatile”和Interlocked的人们添加以下链接： 原子性，波动性和不变性是不同的，第一部分 - （Eric Lippert的编码中的神话般的冒险） 原子性，波动性和不变性是不同的，第二部分 原子性，波动性和不变性是不同的，第三部分 Sayonara Volatile - （2012年出现的Joe Duffy博客的Wayback Machine快照） #2楼 互锁功能不会锁定。 它们是原子的，这意味着它们可以完成而不会在增量期间进行上下文切换。 所以没有死锁或等待的可能性。 我会说你应该总是喜欢锁定和增量。

无论处理器、JVM、编译器都会都保证程序正确的前提下尽可能的对指令执行效率进行优化，进行指令重排等操作。而要保证程序的执行结果的正确，则必须要遵循JMM中规定的happens-before原则。 在Java内存模型（JMM）中，如果一个操作的执行结果需要对另一个操作可见，那么两个操作必须要存在happens-before关系。happens-before原则非常重要，它是判断数据是否存在竞争，线程是否安全的主要依据，保证了多线程环境下的可见性，依据这个原则可以解决并发操作可能存在的所有冲突问题。 happens-before原则主要包含单线程程序次序规则，锁定规则，volatile变量可见性规则，传递性规则，线程启动、中断、终结join规则，对象的终结规则（初始化完成先发生于它的销毁操作） happens-before原则定义如下： 1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。 2. 两个操作之间存在happens-before关系，并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果与按照happens-before关系来执行的结果一致，那么这种重排序并不非法。 下面是happens-before原则规则： 程序次序规则：一个线程内

happens-before 一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须存在happens-before关系 happen-before原则是JMM中非常重要的原则，它是判断数据是否存在竞争、线程是否安全的主要依据，保证了多线程环境下的可见性。 happens-before原则定义： 1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。 2. 两个操作之间存在happens-before关系，并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果与按照happens-before关系来执行的结果一致，那么这种重排序并不非法。 下面是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-

锁的释放-获取建立的 happens before 关系 锁是 java 并发编程中最重要的同步机制。锁除了让临界区互斥执行外，还可以让释放锁的线程向获取同一个锁的线程发送消息。下面是锁释放-获取的示例代码： class MonitorExample { int a = 0; public synchronized void writer() { //1 a++; //2 } //3 public synchronized void reader() { //4 int i = a; //5 …… } //6 } 假设线程 A 执行 writer() 方法，随后线程 B 执行 reader() 方法。根据 happens before 规则，这个过程包含的 happens before 关系可以分为两类： 根据程序次序规则，1 happens before 2, 2 happens before 3; 4 happens before 5, 5 happens before 6。 根据监视器锁规则，3 happens before 4。 根据 happens before 的传递性，2 happens before 5。 上述 happens before 关系的图形化表现形式如下： 在上图中，每一个箭头链接的两个节点，代表了一个 happens before 关系

锁的释放-获取建立的happens before关系 锁是java并发编程中最重要的同步机制。锁除了让临界区互斥执行外，还可以让释放锁的线程向获取同一个锁的线程发送消息。下面是锁释放-获取的示例代码： class MonitorExample { int a = 0; public synchronized void writer() { //1 a++; //2 } //3 public synchronized void reader() { //4 int i = a; //5 …… } //6 } View Code 　　假设线程A执行writer()方法，随后线程B执行reader()方法。根据happens -before规则，这个过程包含的happens -before关系可以分为两类： 根据监视器锁规则，3happens before4。 根据程序次序规则，1happens -before2, 2 happens- before 3; 4 happens- before 5, 5 happens -before 6。 根据happens before 的传递性，2 happens before 5。 　　 上述happens -before关系的图形化表现形式如下： 　　在上图中，每一个箭头链接的两个节点，代表了一个happens before关系