1,
程序顺序规则:如果程序中操作A在操作B之前,那么B操作可以看到A操作的所有内存改变。
2,
监视器锁规则:如果线程1解锁了monitor a,接着线程2锁定了a,那么,线程1解锁a之前的写操作都对线程2可见(线程1和线程2可以是同一个线程)。
3,
volatile变量规则:如果线程1写入了volatile变量v,接着线程2读取了v,那么,线程1写入v及之前的写操作都对线程2可见(线程1和线程2可以是同一个线程)
4,
线程启动规则:在线程上对Thread.start的调用必须在该线程中执行任何操作之前执行。
5,
线程结束规则:在其他线程检测到线程A已经结束(
或者从Thread.join中成功返回,或者在调用Thread.isAlive时返回false)之前,
线程A中的任何操作都必须执行完成。
6,
中断规则:当一个线程在另一个线程上调用interrupt时,必须在被中断线程检测到interrupt调用之前执行(通过抛出InterruptedException,或者调用isInterrupted和interrupted)。
7,
终结器规则:对象的构造函数必须在启动该对象的终结器之前执行完成。
8,
传递性:如果操作A在操作B之前执行,并且操作B在操作C之前执行,那么操作A必须在操作C之前执行。