多线程的原子性，可见性，有序性

原子性 Atomicity
指的是一个操作是不可中断的，即使在多线程一起执行时，一旦操作开始，不会被其他线程干扰

可见性 Visibility
指的是 一个线程修改了某个共享变量的值，其他线程是否可以立即知道这个修改

有序性 Ordering
程序在执行时，有可能会进行指令重排，重排后的指令与原指令未必一致