共计 2407 个字符，预计需要花费 7 分钟才能阅读完成。
谈谈硬件架构模型
先谈谈硬件是如何工作的，举个例子，你在 window 操作系统上须要下载一个游戏（20M)，就须要应用 cpu 和内存了，在这个过程中 cpu 负责计算，比方计算下载进度，统计下载实现一共须要多少工夫等，内存为 cpu 提供数据的，负责保留游戏的所有信息，比方游戏的大小（20M）数据。在这个过程中，cpu 从内存上取游戏大小这个数据，而后 cpu 去计算下载进度，把计算出的进度后果再写到内存，最终出现到用户页面，大略对 cpu 和内存应该有个大略的意识了吧！看上去下载游戏这个过程分工明确，没有问题，但实际上 cpu 的计算速度比内存的存取速度高了不晓得多少个数量级，这个过程cpu 很闲暇啊（如图一），cpu 你闲着没事干那就是浪费资源节约钱啊，这是个问题，于是人们就想了个方法，在内存下面加个（高速）缓存，如果是一些罕用信息，比方游戏大小这个数据，那就不必在内存取了，间接在缓存上拿（如图二），而缓存设计的存取速度是很快的，当然价格也更高，如果刚好缓存上有这个游戏大小数据，这个操作在计算机的世界叫做缓存命中，这样就解决了 cpu 很闲的问题。哈哈，还是举个简略例子吧，咱春节买票回家，只管你的手速很快，然而还是一票难求，12306 官网响应速度慢，没方法家还是要回的，那就找黄牛，尽管价格贵然而能解决你的痛点。这个例子中你，12306 零碎，黄牛别离对应 cpu，内存和缓存，不便你了解。顺便说下，这个黄牛其实也是设计模式中的代理。（图三，图四）
案例剖析 JMM 不可见性
理解了硬件架构，再来了解 Java 内存模型（JMM），蛟龙得水，JMM 是依据硬件架构映射进去的，不是实在存在的，硬件模型是物理的，是实在存在的，如下图所示，如果当初有两个线程 AB 须要同时将共享变量 c 的值加 1，最终的程序运行的后果 c 的值可能是 3，也可能是 2 。那咱们一起来看看程序执行过程吧，程序初始化，线程 AB 将拷贝主内存的共享变量 c 到各自的工作内存，此时工作内存 A，工作内存 B 的初始化值 c 值都为 1，初始化完结，如下图所示。这里能够把线程 A 了解成 cpu1, 线程 B 了解成 cpu2，工作内存了解成高速缓存。这个过程因为工作内存是线程公有的，因为每个高速缓存是属于不同 CPU 是不可见的，工作内存 A 看不见工作内存 B 的 c 值为 1，相同工作内存 B 也看不到工作内存 A 的 c 值。
当线程 AB 同时将共享变量 c 加 1 时，如果线程 A 先获取工夫片，此时工作内存 A 的 c 值加 1 等于 2，而后由工作内存 A 将变量 c = 2 同步到主内存，此时主内存 c 变量为 2 了，线程 A 执行完结，开释工夫片给线程 B，如下图所示。此时主内存会更新线程 B 的工作内存 B，将 c = 2 通知线程 B，并更新工作内存 B 的值 c =2，此时 B 获取工夫片，看到工作内存 B 值是 c =2，加 1，c=3，线程 B 将 c = 3 写到主内存，此时主内存 c 的值就是 3 了，线程 B 执行完结，整个程序完结。其实在这个过程中，还有一种意外状况，如果线程 A 执行完结后，将主内存的 c 值变为 2，如果主内存 c = 2 还没有同步更新到工作内存 B 呢？此时问题就来了，线程 B 获取工夫片后发现自己的工作内存变量 c 还是 1，而后加 1，此时 c =2，将 c 再更新到主内存，此时主内存的值还是 2，主内存再同步 c = 2 的值给线程 B 曾经失去意义了，因为线程全副执行结束。在这个程序执行过程中，其实导致线程平安的实质问题是主内存告诉不及时才导致产生的，这个案例中因为主内存不能及时将 c = 2 的值更新到线程 B 的工作内存，导致线程 B 获取不到 c 曾经更新为 2 了。
那问题来了，cpu 各自带着公有缓存，线程带着各自公有工作内存，数据都靠着主内存来通信，然而主内存偏偏又不给力啊，告诉线程 B 的工作内存不给力，导致后果 c = 2 或者 c = 3 的，这就是呈现了线程平安问题了，这种安全性问题是因为缓存不可见造成的，于是我开始怀恋单核 cpu 时代了，然而回避也解决不了理论问题，于是那些聪慧的人们就想既然缓存不统一，那所有缓存都实现对立的协定能够吗，上面咱们就简略聊下缓存一致性协定。
硬件缓存不统一计划
1）总线 Lock# 锁。锁定总线的开销比拟大，在缓存更新内存后，其余的 cpu 都会被锁定住，禁止与内存通信，这样开销就大了。
2）MESI 协定。这是缓存一致性协定的具体实现，它通过嗅探技术辨认哪个 cpu 想批改主内存缓存行信息，如果该缓存行是共享的，先将该缓存行刷新到主内存，再设置其余 cpu 的高速缓存的缓存行有效，但频繁的嗅探其余 cpu 想批改的共享数据，也会导致总线风暴。
什么是可见性
可见性，有序性，原子性是线程平安的三个重要指标。可见性对了解多线程十分十分十分重 要！因为多核硬件架构的问题，cpu 高速缓存之间自身是不可见的，必须要实现缓存一致性协定。咱们方才下面也说了硬件方面的计划，多线程对共享变量是不可见的，Java 方面也提供了两个关键字来保障多线程状况下共享变量的可见性计划。
volatile 实现可见性
在 JVM 手册中，当多线程写被 volatile 润饰的共享变量时，有两层语义。
1）该变量立刻刷新到主内存。
2）使其余线程的共享变量立刻生效。话中有话当其余线程须要的时候再从主内存取。
在上述案例中，如果 c 为一个布尔值并且被 volatile 润饰，那么当线程 AB 同时更新共享变量 c 时，此时 c 对于工作内存 AB 是可见的。
synchronized 实现可见性
在 JVM 手册中，synchronized 可见性也有两层语义。
1）在线程加锁时，必须从主内存获取值。
2）在线程解锁时，必须把共享变量刷新到主内存。
这两句阐明了，时刻放弃主内存数据最新，当新的线程获取锁须要从主内存获取值。
总结
明天通过可见性的话题，引出了硬件架构，硬件架构因为多 cpu 高速缓存引出的不可见性问题，从而引出了解决可见性的计划，这是基于硬件的。从 Java 高级语言的角度，引出了基于硬件的映射模型 JMM，并给出了 jvm 要实现可见性用的一些关键字。谢谢大家的观看，我是叫练，边叫边练。有疑难和谬误欢送留言和斧正。
