Java内存模型是通过各种操作来定义的，包括对变量的读/写操作，监视器的加锁和释放操作，以及线程的启动和合并操作。JMM为程序中所有的操作定义了一个偏序关系，称之为Happens-Before。要想保证执行操作B的线程看到操作A的结果，那么在A和B之间必须满足Happens-Before关系。如果两个操作之间缺乏Happens-Before关系，那么JVM可以对它们任意地重排序。
Happens-Before的规则包括：程序顺序规则。如果程序中操作A在操作B之前，那么在线程中A操作将在B操作之前执行。
监视器锁规则。在监视器上的解锁操作必须在同一个监视器锁上的加锁操作之前执行。
volatile变量规则。对
volatile变量的写入操作必须在对该变量的读操作之前执行。线程启动规则。在线程上对
Thread.start的调用必须在该线程中执行任何操作之前执行。线程结束规则。线程中的任何操作都必须在其他线程检测到该线程已经结束之前执行，或者从
Thread.join中成功返回，或者在调用Thread.isAlive时返回false。中断规则。当一个线程在另一个线程上调用
interrupt时，必须在被中断线程检测到interrupt调用之前执行（通过抛出InterruptedException，或者调用isInterrupted和interrupted）。终结器规则。对象的构造函数必须在启动该对象的终结器之前执行完成。
传递性。如果操作A在操作B之前执行，并且操作B在操作C之前执行，那么操作A必须在操作C之前执行。
