Java并发编程三个性质：原子性、可见性、有序性