标签：有序 发生中断 java 方法 原则 int finalize 主线程 内存模型
??在java内存模型中，happens-before应该理解为：前一个操作的结果，可以被后续的操作获取，即内存可见性。
??为了解决多线程的内存可见性问题，就提出了happens-before原则，让线程之间遵守这些原则，同时对编译器的优化也进行了一定的约束。
??以下是原则内容：
??在一个线程内，一段代码的执行结果是有序的。依然会有指令重排，但是不论怎么重排序，结果都是按照代码顺序生成的不会变。
??无论在单线程环境还是多线程环境，对于同一个锁来说，一个线程对这个锁解锁之后，另一个线程获取了这个锁，则它能看到前一个线程的操作结果。
??如果一个线程先去写一个volatile变量，然后一个线程去读这个变量，那么这个写操作的结果一定对读的这个线程可见。
??在主线程A执行过程中，启动子线程B，那么线程A在启动子线程B之前对共享变量的修改结果对线程B可见。
??在主线程A执行过程中，子线程B终止，那么线程B在终止之前对共享变量的修改结果在线程A中可见。
??对线程interrupt()方法的调用先行发生于被中断线程代码检测到中断事件的发生，可以通过Thread.interrupted()检测到是否发生中断。
??就是happens-before原则具有传递性，即A happens-before B ， B happens-before C，那么A happens-before C
??就是一个对象的初始化的完成，也就是构造函数执行的结束一定 happens-before它的finalize()方法
标签：有序 发生中断 java 方法 原则 int finalize 主线程 内存模型
原文地址：https://www.cnblogs.com/ssl-bl/p/11076232.html
