并发编程 — 0. 前言

       在并发编程之前，首先要了解并发问题的本质原因——计算机内存模型

       早期CPU还是单核单线程的时候，并不存在并发问题。但随着科技的发展飞速，CPU发展迅速，计算能力也越来越强，但人类对计算能力的需求也越来越高。为了充分利用CPU，引入了超线程（单个cpu核心能模拟出多个线程）和多核心（多个CPU分工共同完成计算）技术。之后就出现了线程并发问题（其本质就是数据不一致问题）。
       究其原因，还要从计算机的存储结构方面说起。计算机存储通过分层结构来实现，如图所示：
                  
                                           （抽象的金字塔结构）                                                                      
                          
                                              （实际中的结构）

       为什么要设计这么多层呢？原因还不是因为穷。各种技术加持的CPU执行指令的速度越来越快，指令中难免需要进行读写数据（I /O），由于程序运行过程中的临时数据是存放在主存（物理内存）当中的，而内存的读写速度远不如CPU的执行速度，这时候就限制了CPU。因此CPU就在二者之间加入了高速缓存（cache）来缓解这种尴尬。也就是，当程序在运行过程中，会将运算需要的数据从主存复制一份到CPU的高速缓存当中，那么CPU进行计算时就可以直接从它的高速缓存读取数据和向其中写入数据，当运算结束之后，再将高速缓存中的数据刷新到主存当中。

      举个简单的例子，比如下面的这段代码：

i = i + 1;

    当线程执行这句话是，会先从主存当中读取i的值，然后复制一份到高速缓存当中，然后CPU执行指令对i进行加1操作，然后将数据写入高速缓存，最后将高速缓存中i最新的值刷新到主存当中。这条语句在单线程中执行是没有任何问题的，但是在多线程中运行就会有问题了。在多核CPU中，每条线程可能运行于不同的CPU中，因此每个线程运行时有自己的高速缓存（对单核CPU来说，如果有超线程也会有这样的问题）。
      假设有两个线程执行这段代码，i的初始值为0，理想情况下两个线程执行完之后i的值变为2。但是事实会是这样吗？
      可能存在下面一种情况：初始时，两个线程分别读取i的值存入各自所在的CPU的高速缓存当中，然后线程1进行加1操作，然后把i的最新值1写入到内存。此时线程2的高速缓存当中i的值还是0，进行加1操作之后，i的值为1，然后线程2把i的值写入内存。最终结果i的值是1，而不是2。这就是著名的缓存一致性问题。通常称这种被多个线程访问的变量为共享变量。
       也就是说，如果一个变量在多个CPU中都存在缓存（一般在多线程编程时才会出现），那么就可能存在缓存不一致的问题。

       早期通过总线上加LOCK#锁的形式来解决缓存不一致问题，因为CPU和其他部件进行通信都是通过总线来进行的，一个CPU加上锁后会阻塞其他CPU对其他部件访问。但这种方法会使CPU在总线锁定期间也无法读取其他内存，导致效率低下。所以就出现了缓存一致性协议。最出名的就是Intel 的MESI协议，MESI协议保证了每个缓存中使用的共享变量的副本是一致的。它核心的思想是：当CPU写数据时，如果发现操作的变量是共享变量，即在其他CPU中也存在该变量的副本，会发出信号通知其他CPU将该变量的缓存行置为无效状态，因此当其他CPU需要读取这个变量时，发现自己缓存中缓存该变量的缓存行是无效的，那么它就会从内存重新读取。

• M(Modify) 表示共享数据只缓存在当前CPU缓存中，并且是被修改状态，也就是缓存的数据和主内存中的数据不一致
• E(Exclusive) 表示缓存的独占状态，数据只缓存在当前CPU缓存中，并且没有被修改
• S(Shared) 表示数据可能被多个CPU缓存，并且各个缓存中的数据和主内存数据一致
• I(Invalid) 表示缓存已经失效