I、后行产生准则（happens-before）
1、如果一个操作happens-before另一个操作，那么第一个操作的执行后果将对第二个操作可见，而且第一个操作的执行程序排在第二个操作之前。
2、两个操作之间存在happens-before关系，并不意味着肯定要依照happens-before准则制订的程序来执行。如果重排序之后的执行后果与依照happens-before关系来执行的后果统一，那么这种重排序并不非法。
3、8大准则：
程序秩序规定：一个线程内，依照代码程序，书写在后面的操作后行产生于书写在前面的操作；
锁定规定：一个unLock操作后行产生于前面对同一个锁lock操作；
volatile变量规定：对一个变量的写操作后行产生于前面对这个变量的读操作；
传递规定：如果操作A后行产生于操作B，而操作B又后行产生于操作C，则能够得出操作A后行产生于操作C；
线程启动规定：Thread对象的start()办法后行产生于此线程的每个一个动作；
线程中断规定：对线程interrupt()办法的调用后行产生于被中断线程的代码检测到中断事件的产生；
线程终结规定：线程中所有的操作都后行产生于线程的终止检测，咱们能够通过Thread.join()办法完结、Thread.isAlive()的返回值伎俩检测到线程曾经终止执行；
对象终结规定：一个对象的初始化实现后行产生于他的finalize()办法的开始；
4、6大推理
将一个元素放入一个线程平安的队列的操作Happens-Before从队列中取出这个元素的操作；
将一个元素放入一个线程平安容器的操作Happens-Before从容器中取出这个元素的操作；
在CountDownLatch上的倒数操作Happens-Before CountDownLatch#await()操作；
开释Semaphore许可的操作Happens-Before取得许可操作；
Future示意的工作的所有操作Happens-Before Future#get()操作；
向Executor提交一个Runnable或Callable的操作Happens-Before工作开始执行操作；
II、内存可见性
如果一个线程对共享变量的批改，可能被其它线程看到，那么就能阐明共享变量在线程之间是可见的。
可参照内存模型来了解III、根据happens-before和内存可见性远离，基于CompletableFuture实现的，可编排与隔离工作的并发框架
1、架构图：
2、源码暂不凋谢