深入理解java虚拟机-读书笔记7-java内存模型与线程

java内存模型：
Java内存模型它规定了所有变量都存在主内存，每条线程还有自己的工作内存，存储的是使用的变量的主内存拷贝。线程不能直接操作主内存中的变量，互相间也不能访问工作内存。交换、传输数据只能经过主内存。

内存见的交互操作：

主内存与工作内存之间的交互协议，java内存模型中定义了以下8种操作来完成，每一种操作都是原子的、不可再分的。
1. lock锁定：作用于主内存的变量，把一个变量标识为一条线程独占状态。
2. unlock解锁：作用于主内存的变量，把一个处于锁定状态的变量释放出来，释放后的变量可以被其他线程锁定。
3. read读取：作用于主内存的变量，把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用。
4. load载入：作用于工作内存的变量，把read从主内存中得到的变量值放入工作内存的变量副本中。
5. use使用：作用于工作内存的变量，把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量值的字节码指令时将会执行该操作。
6. assign赋值：作用于工作内存变量，把一个从执行引擎接收到的变量的值赋值给工作变量，每当虚拟机遇到一个给变量赋值的字节码时将会执行该操作。
7. store存储：作用于工作内存的变量，把工作内存中一个变量的值传送到主内存中，以便随后的write操作使用。
8. write写入：作用于主内存的变量，把store操作从工作内存中得到的变量值放入主内存的变量中。

对这8中操作有如下规则：
1. read和load、store和write不能单一出现，即主内存中read了，工作线程必须load不能不接受。
2. 不允许丢弃最近的assign操作。即必须写回主内存。
3. 不允许无原因的写回主内存。
4. 新变量只能在主内存诞生。
5. 一个变量同时只能被一个线程lock。可以lock多次，同等数量的unlock可以解除锁定。
6. 没lock的不能unlock。也不能unlock一个其他线程lock的变量。
7. 对变量lock会清空工作线程中该变量副本，执行引擎使用前需要重新load或assign初始化值。
8. unlock前必须先写回主内存。

java中的关键字volatile是java虚拟机提供的最轻量级的线程同步机制，当一个变量被声明为volatile之后，该变量将具备以下两种特性：
1.保证此变量对所有线程的可见性：即任何一个线程修改了该变量的值之后，新值对于所有其他线程都是可以立即得知的。
2.禁止指令重排序优化：普通变量仅能保证在方法执行过程中所有依赖赋值结果的地方都能获取正确的结果，而无法保证变量赋值操作顺序与程序代码执行顺序一致。

java内存模型是围绕如何处理多线程环境下的原子性、可见性、有序性来建立的。
原子性：8个操作都是原子的，可以认为基本数据类型的读写都是原子的。更大范围的需要，提供了lock和unlock，反映到java代码就是synchronized。
可见性：Java内存模型是通过变量修改后写回主内存，读取前从主内存刷新的方式保证可见性。volatile的规则就是保证了这两个操作的即时性。除了volatile还有两个可以实现，synchronized和final。
- 同步块的可见性是通过上面的8条规则的倒数两条获得的。
- final的可见性是通过“final字段在构造其中一旦初始化完成，并且构造器没有把final的引用传递出去，其他线程就能看到final字段的值”获得的。
有序性：线程内看，操作是有序的；线程看另外一个线程，所有操作都是无序的（指的是指令重排、主内存和工作内存同步延迟）。Java提供volatile和synchronized保证有序性。volatile本身就禁止重排。synchronized则是由第五条规则获得的顺序能力，它使得一个同步块只能被线程串行的执行。

先行发生（happens-before）原则：
如果java内存模型所有的有序性都靠volatile和synchronized保证，有些操作将会很繁琐和困难。但是实际中，并没有感觉到，因为Java有一个happens-before原则：如果说操作A发生与操作B之前，操作A产生的影响能被操作B观察到，影响包括修改了内存中共享变量的值、发送了消息、调用了方法等。

java线程调度：
1.协同式：线程的执行时间由线程本身来控制，线程任务执行完成之后主动通知系统切换到另一个线程去执行。
优点：实现简单，线程切换操作对线程本身是可知的，不存在线程同步问题。
缺点：线程执行时间不可控制，如果线程长时间执行不让出CPU执行时间可能导致系统崩溃。
2.抢占式：每个线程的执行时间有操作系统来分配，操作系统给每个线程分配执行的时间片，抢到时间片的线程执行，时间片用完之后重新抢占执行时间，线程的切换不由线程本身来决定。
优点：线程执行时间可控制，不会因为一个线程阻塞问题导致系统崩溃。

线程的状态：
1. 新建new：创建后未启动
2. 运行runnable：包括running和ready，可能正在执行，也可能正在等待cpu分配执行时间
3. 无限期等待waiting：①没有设置Timeout参数Object.wait()方法②没有设置Timeout参数Thread.join()方法③LockSupport.park()方法
4. 限期等待timed waiting：①Thread.sleep()②设置了Timeout参数Object.wait()方法③设置了Timeout参数Thread.join()方法④LockSupport.parkNanos()方法⑤LockSupport.parkUntil()方法
5. 阻塞blocked
6. 结束terminated