Java 多线程：volatile 变量、happens-before 关系及内存一致性