多线程学习四：并发编程中的原子性、可见性、有序性

在并发编程中，我们要保证原子性、可见性、有序性，否则无法保证多线程最终的正确性。首先我们要对java内存模型有一个大致的概念，每一个线程都有独属于该线程的工作内存，当线程访问资源时先把资源从主存中拷贝一份到工作内存中，再执行操作，把结果先写入工作内存，再写入主存。Java内存模型规定所有的变量都是存在主存当中，每个线程都有自己的工作内存。线程对变量的所有操作都必须在工作内存中进行，而不能直接对主存进行操作。并且每个线程不能访问其他线程的工作内存。

1. 原子性
   即对于一个或多个操作的一段代码要么全部执行，要么就不执行，不允许中途打断。通常使用synchronized和Lock来保证原子性，synchronized和Lock能够保证任一时刻只有一个线程执行该代码块，自然就保证了原子性。
2. 可见性
   可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。Java中提供了volatile关键字来保证可见性，当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。即保证每次从主存中读取到的值都是最新的值。synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中，因此可以保证可见性。
3. 有序性
   指的是程序执行的顺序按照代码的先后顺序执行。但在Java内存模型中，允许编译器和处理器对指令进行重排序。重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。可以通过synchronized和Lock来保证有序性，synchronized和Lock保证每个时刻只有一个线程执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。对于volatile一定程度上也维护了代码的有序性，volatile修饰的语句禁止重排序，当程序执行到volatile变量的读操作或者写操作时，此句前面的代码一定全部执行了，此句后面的代码一定未执行。