多线程的三大特性:原子性、可见性和有序性。
原子性
原子性是指一个操作或者多个操作,一旦开始就不会被其他线程干扰,即使是在多个线程一起执行的情况下也不会被干扰。或者不执行。
原子性主要是为了保证数据一致,线程安全问题。
可见性
可见性是指当一个线程修改了某一个共享变量的值,其他线程是否能够立即知道这个修改。
对于串行程序来说,可见性问题是不存在的。因为你在任何一个操作步骤中修改了某个变量,那么后续的步骤中,读取这个变量的值一定是修改后的新值。
对于并行程序来说就可能存在了。如果存在两个线程:线程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 。