Java线程安全：可见性，原子性，有序性