为什么不同的运行方法体线程的行为不同？

Question

public class ThreadPractice {
static boolean canrunstatic;

public static void main(String[] args) throws InterruptedException {

    Thread backgroundThread = new Thread(new Runnable() {
        public void run() {
            int i = 0;
            while (!canrunstatic){i++;}
            System.out.println("finished");
        }
    });
    backgroundThread.start();
    TimeUnit.SECONDS.sleep(1);
    canrunstatic = true;
}

System.out.println("im still running");

public class ThreadPractice {
static boolean canrunstatic;


public static void main(String[] args) throws InterruptedException {

    Thread backgroundThread = new Thread(new Runnable() {
        public void run() {
            int i = 0;
            while (!canrunstatic){i++;System.out.println("im still running");}
            System.out.println("finished");
        }
    });
    backgroundThread.start();
    TimeUnit.SECONDS.sleep(1);
    canrunstatic = true;


}

Answer 1

确切地说，它只是不能保证线程会停止，但它确实停止并不是被禁止的。这背后的逻辑是由Java内存模型提供的，这是一个相当复杂的主题，但为了理解Java中的多线程，这是必要的。

其概念是，只有当一个线程的非易失性字段的写入操作相互同步时，另一个线程才需要看到这两个操作。如果执行编译器的线程所表现的行为没有改变，则允许编译器对某些操作重新排序。但另一个线程可能会看到这一点。因此，您需要适当的同步，以便告诉编译器在某些部分不允许重新排序。

在这里阅读关于这一点的完整论文:JSR-133