《Java 高并发》02 多线程的特性

多线程的三大特性：原子性、可见性和有序性。

原子性

原子性是指一个操作或者多个操作，一旦开始就不会被其他线程干扰，即使是在多个线程一起执行的情况下也不会被干扰。或者不执行。

原子性主要是为了保证数据一致，线程安全问题。

可见性

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

对于串行程序来说，可见性问题是不存在的。因为你在任何一个操作步骤中修改了某个变量，那么后续的步骤中，读取这个变量的值一定是修改后的新值。

对于并行程序来说就可能存在了。如果存在两个线程：线程1、线程2，共享变量：t，线程1 为了优化获取共享变量速度将共享变量存放在缓存中，此时线程2 对共享变量进行修改，那么线程1 又无法意识到这个改动，依然从缓冲中获取数据。因此，就产生了可见性问题。

除了上述提到的缓存优化会导致可见性问题，指令重拍以及编辑器的优化，都有可能导致一个线程的修改不会立即被其他线程察觉。

有序性

有序性问题可能是三个问题中最难理解的了。对于一个线程的执行代码而言，是一次执行的。但是，在并发是，程序的执行可能就会出现乱序。

public class OrderTest {
    int a = 0;
    boolean flag = false;
    
    public void writer(){
        a = 1;
        flag = true;
    }
    
    public void reader(){
        if (!flag){
            System.out.println(a);
        }
    }
    
}

假设有两个线程：A、B，线程A 先执行 writer 方法，接着线程B 执行 reader 方法，此时线程B 不一定能打印 a 。