在并发中有三个重要的性质原子性、可见性、有序性，本文将介绍其含义。

原子性

一个或者多个操作是不可中断的，要么全部执行成功，要么全部失败。

可见性

在并发的情况下，线程对共享变量的修改对其他线程是可见的。

有序性

有序性指程序执行的顺序是与代码的先后顺序一致的。

总结

线程安全的代码核心就是在于对状态操作进行管理，特别是共享变量和可变变量的访问。显而易见线程安全的代码必定满足上述三个性质。