关于volatile的理解

Question

class StopTester implements Runnable {
  //private volatile boolean stop = false;
  private boolean stop = false;
  public void stopMe() {
    stop = true;
  }
  @Override
  public void run() {
    while(!stop) {}
    System.out.println("Thread stopped.");
  }
}

public class TestVolatile {
  public static void main(String[] args) throws Exception {
    StopTester tester = new StopTester();
    Thread thread = new Thread(tester);
    thread.start();
    Thread.sleep(1000);
    System.out.println("Try stop...");
    tester.stopMe();
    Thread.sleep(1000);
  }
}

如果用了volatile，Thread stopped.就可以顺利输出，如果不用就无法输出，何解？tester.stopMe()这行代码是运行在主线程还是运行在thread线程呢？

Answer 1

1. 如果不用valatile 第一次访问stop的时候通过this引用把值读到栈上 之后每次就直接从栈上读值了 你改了stop他还是这样读 所以循环卡在那里不会往下走

2. 很明显在主线程

Answer 2

这个的话你需要理解下volatile的语义。

volatile 两个语义：
1. 禁止字节码指令重排
2. 变量的变化对其他线程可见

对应你这个情况的话，主要体现了第二个语义。

实现的原理大致是:

volatile 变量在操作时需要满足一定的顺序。通过这些顺序满足线程之间的变量共享。而这些顺序主要是通过JVM内容模型中定义的4个原子操作实现，它们是： use, assign, load, store。

线程有自己的工作内存(working copy), 而变量的内容来自于主存(main memory)。

执行引擎在use 变量前需要从主存 load 变量值，这样保证变量值是最新的。
执行引擎assign 对变量赋值后需要store 会主存，保证变量值对其他线程可见。

因此你这个地方。stop状态在主线程中改变了，如果不是volatile的话，有可能修改只在工作内存中，没有同步回主存。同样读取的时候，如果不是volatile，那么就不会从主存中查看最新值，所以看不到stop状态变化。

大致原理是这样的，想要了解更多的话，需要看一下JVM内存模型。推荐 《深入理解Java虚拟机》http://book.douban.com/subject/6522893/

Answer 3

violate保证有序性、可见性、但不保证原子性