关于并发线程安全性你所需要知道的一切

如何保证线程安全？

确保线程安全性，安全地在线程中共享对象是并发编程的基础，同时，这些概念其实可以推广到分布式环境下的安全性的考量，为了方便起见，后续假设是多线程的前提，但这些只是都可以很容易推广到多进程/多节点的环境。
事实上，在已有大型程序上去分析并解决并发安全问题是非常困难的，幸运的是，面向对象编程思想除了提供结构优雅、可维护性高的类之外，更可能编写处线程安全的类（何为线程安全的类，后文会展开说明）。
本质上，线程安全问题是由于类或对象中的状态变量，没有在多线程中进行正确的同步，有三种方式可以解决：

• 不在线程之间共享状态变量。（当然了，没有竞争的状态，当然也就是线程安全的。）
• 将状态变量修改为不可变的变量。（不可变的变量，初始化后就不会再改变，当然也就没有多线程环境下的更新问题。）
• 在访问状态时使用同步。（可变的状态非得共享，那就使用同步来保护）

事实上本篇文章内容都会始终围绕着以上三点，或许看上去很简单或者理所当然，但展开其实会引出很多方法和概念，它们是构成并发编程的基石。

为什么会出现并发安全问题？

回答这个问题涉及到两个核心概念，重排序和可见性。进一步，我们还想知道，什么是线程安全性？

重排序和可见性

一个案例

现代CPU为了提高硬件资源利用率，几乎都会对指令进行重排序，不过在单线程环境中，我们并不需要担心这些——JVM已经给我们保证不管怎么优化，保证最终结果是一样的（具体而言参考JMM）。
但在多线程中，这个问题就不一样了。

public class NoVisibility {
   
    private static boolean ready;
    private static int number;

    private static class ReaderThread extends Thread {
   
        public void run() {
   
            while (!ready)
                Thread.yield();
            System.out.println(number);
        }
    }

    public static void main(String[] args) {
   
        new ReaderThread().start(); // 1
        number = 42; // 2
        ready = true; // 3
    }
}

该程序一般来说会正常输出42，但是依然无法避免它有可能出现的两种问题：

1. 主线程的重排序结果正确性其他线程并不能感知。主线程的1，3先执行，那么ReaderThread线程会启动，而ready会变为