【Java】并发三要素：可见性、原子性、有序性

可见性

可见性：一个线程对共享变量的修改，另外一个线程能够立刻看到。

一种典型的存储器层级结构如下：

由于cpu有独自的高速缓存，在多核cpu的操作系统中，如果一个值被cpu1的缓存中被更改，但是没有写入主存，此时cpu2仍旧使用旧值进行计算，就会导致可见性问题。

原子性

原子性：即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。

经典的转账问题：比如从账户A向账户B转1000元，那么必然包括2个操作：从账户A减去1000元，往账户B加上1000元。

试想一下，如果这2个操作不具备原子性，会造成什么样的后果。假如从账户A减去1000元之后，操作突然中止。然后又从B取出了500元，取出500元之后，再执行 往账户B加上1000元 的操作。这样就会导致账户A虽然减去了1000元，但是账户B没有收到这个转过来的1000元。

有序性

有序性：即程序执行的顺序按照代码的先后顺序执行。

在执行程序时为了提高性能，编译器和处理器常常会对指令做重排序。

就是说代码的编写顺序，不一定就是执行顺序。

重排序分三种类型：

• 编译器优化的重排序。编译器在不改变单线程程序语义的前提下，可以重新安排语句的执行顺序。
• 指令级并行的重排序。现代处理器采用了指令级并行技术（Instruction-Level Parallelism， ILP）来将多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。
• 内存系统的重排序。由于处理器使用缓存和读 / 写缓冲区，这使得加载和存储操作看上去可能是在乱序执行。

以上三要素是导致Java并发问题的主要因素。

参考资料：
浅析CPU高速缓存(cache)
Java 并发 - 理论基础