《深入理解Java虚拟机》读书笔记9

第12章 Java内存模型与线程

12.1

1、衡量一个服务性能的高低好坏，每秒事务处理数TPS是最重要的指标之一。（它代表着一秒内服务端平均能响应的请求总数）

12.2硬件的效率与一致性

物理机的并发问题：

1）运算任务除了需要 处理器计算 之外，还需要与 内存交互 ，如读取运算数据、存储运算结果等（不能仅靠寄存器来解决）。 

2）计算机的存储设备和处理器的运算速度差了几个数量级，所以不得不加入一层读写速度尽可能接近处理器运算速度的 高速缓存 （Cache），作为内存与处理器之间的缓冲：将运算需要的数据复制到缓存中，让运算快速运行。当运算结束后再从缓存同步回内存，这样处理器就无需等待缓慢的内存读写了。 

3）基于高速缓存的存储交互很好地解决了处理器与内存的速度矛盾，但是引入了一个新的问题： 缓存一致性 。在多处理器系统中，每个处理器都有自己的高速缓存，它们又共享同一主内存。当多个处理器的运算任务都涉及同一块主内存时，可能导致各自的缓存数据不一致。

4）为了解决一致性的问题，需要各个处理器访问缓存时遵循缓存一致性协议。同时为了使得处理器充分被利用，处理器可能会对输出代码进行 乱序执行优化 。Java虚拟机的即时编译器也有类似的 指令重排序优化 。 

12.3Java内存模型

1、Java内存模型目标

定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出这样的底层细节。此处的变量包括实例字段、静态字段和构成数组对象的元素，但是不包括局部变量和方法参数，因为这些是线程私有的，不会被共享，所以不存在竞争问题。

2、主内存与工作内存

所有的 变量都存储在主内存 ， 每条线程还有自己的工作内存 ，保存了被该线程使用到的变量的主内存副本拷贝。线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，而不能直接读写主内存的变量。不同的线程之间也无法直接访问对方工作内存的变量，线程间变量值的传递需要通过主内存。

3、内存间交互作用（转载）

一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存，Java内存模型定义了8种操作：

补充： 要把一个变量从主内存复制到工作内存，必须按顺序地执行read和load操作；要把变量从工作内存同步到主内存，必须按顺序执行store和write操作。保证顺序，但可不连续。

原子性、可见性、有序性

• 原子性：对基本数据类型的访问和读写是具备原子性的。对于更大范围的原子性保证，可以使用字节码指令monitorenter和monitorexit来隐式使用lock和unlock操作。这两个字节码指令反映到Java代码中就是同步块——synchronized关键字。因此synchronized块之间的操作也具有原子性。
• 可见性：当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。Java内存模型是通过在变量修改后将新值同步回主内存，在变量读取之前从主内存刷新变量值来实现可见性的。volatile的特殊规则保证了新值能够立即同步到主内存，每次使用前立即从主内存刷新。synchronized和final也能实现可见性。final修饰的字段在构造器中一旦被初始化完成，并且构造器没有把this的引用传递出去，那么其他线程中就能看见final字段的值。
• 有序性：Java程序的有序性可以总结为一句话，如果在本线程内观察，所有的操作都是有序的（线程内表现为串行的语义）；如果在一个线程中观察另一个线程，所有的操作都是无序的（指令重排序和工作内存与主内存同步延迟线性）。

4、 对于 volatile 型变量的特殊规则

关键字volatile是Java虚拟机提供的最轻量级的同步机制。

当一个变量被定义成volatile之后，具备两种特性：

1）保证此变量对所有线程的可见性——当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的， 而普通变量做不到这一点。

（注意：只能保证可见性，但在并发下依旧是不安全的）

在不符合以下两条规则的时候依旧要通过加锁来保证原子性

• 运算结果并不依赖变量的当前值，或者能够确保只有单一的线程来修改变量的值
• 变量不需要与其它的状态变量共同参与不变约束。

2）禁止指令重排序优化。 （ 普通变量仅仅能保证在该方法执行过程中，得到正确结果，但是不保证程序代码的执行顺序。）

基于volatile变量的运算在并发下不一定是安全的：

volatile变量在各个线程的工作内存，不存在一致性问题（各个线程的工作内存中volatile变量，每次使用前都要刷新到主内存）。但是Java里面的运算并非原子操作，导致volatile变量的运算在并发下一样是不安全的。

为什么使用volatile？

在某些情况下，volatile同步机制的性能要优于锁（synchronized关键字），但是由于虚拟机对锁实行的许多消除和优化，所以并不是很快。

volatile变量读操作的性能消耗与普通变量几乎没有差别，但是 写操作则可能慢 一些，因为它需要在本地代码中插入许多 内存屏障指令 来保证处理器 不发生乱序执行 。 （但大多情况下，volatile的总开销仍然要比锁低）

12.4Java与线程（转载）

并发与线程

并发与线程的关系？

并发不一定要依赖多线程，PHP（超文本预处理器）中有多进程并发。但是Java里面的并发是多线程的。

什么是线程？

线程是比进程更轻量级的调度执行单位。线程可以把一个进程的 资源分配 和 执行调度 分开，各个线程既可以 共享进程资源 （内存地址、文件I/O），又可以 独立调度 （线程是CPU调度的最基本单位）。

实现线程有哪些方式？

• 使用内核线程实现
• 使用用户线程实现
• 使用用户线程+轻量级进程混合实现

Java线程的实现

操作系统支持怎样的线程模型，在很大程度上就决定了Java虚拟机的线程是怎样映射的。

Java线程调度

什么是线程调度？

线程调度是系统为 线程分配处理器使用权 的过程。

2种线程调度方式？

• 协同式线程调度：实现简单，没有线程同步的问题。但是线程执行时间不可控，容易系统崩溃。
• 抢占式线程调度：每个线程由系统来分配执行时间，不会有线程导致整个进程阻塞的问题。

注意：Java使用的线程调度就是抢占式线程调度

虽然Java线程调度是系统自动完成的，但是我们可以建议系统给某些线程多分配点时间——设置 线程优先级 。Java语言有 10个级别 的线程优先级，两个线程同时处于ready状态时，优先级越高的线程，越容易被系统选择执行。

但是并不能完全依靠线程优先级。 因为Java的线程是被映射到系统的原生线程上，所以线程调度最终还是由操作系统说了算。如Windows中只有7种优先级，所以Java不得不出现几个优先级相同的情况。同时优先级可能会被系统自行改变。Windows系统中存在一个“ 优先级推进器 ”，当系统发现一个线程执行特别勤奋，可能会越过线程优先级为它分配执行

---

Java语言定义了5种进程状态，在任意一个时间点中，一个进程只能有且只有一种状态：

新建(New)——创建后尚未启动的线程处于该状态

运行（Runable）——包括Running（正在执行）和Ready(等待CPU为它分配执行时间)

无限期等待（Waiting）——不会被分配CPU时间，需要被唤醒。以下3种情况会导致Waiting：

• 没有设置Timeout参数的Object.wait()方法；
• 没有设置Timeout参数的Thread.join()方法；
• LockSupport.park()方法。

限期等待（Timed Waiting）——不会被分配CPU执行时间，但无需等待其它线程显示唤醒，一定时间后会由系统自动唤醒。以下方法会导致进程陷入Timed Waiting：

• 设置了Timeout参数的Object.wait()方法；
• 设置了Timeout参数的Thread.join()方法；
• LockSupport.parkNanos()方法。
• LockSupport.parkUntil()方法。

阻塞（Blocked）——“阻塞状态”等待一个排它锁；“等待状态”等待一段时间或者是唤醒动作的发生。

结束（Terminated）——线程已结束执行