jvm学习笔记三，Java内存模型与线程

为什么计算机能同时去做几件事？

1. 计算机的运算能力逐渐变强

2. 计算机的运算速度与它的存储和通信子系统速度的差距太大，大量的时间都花费在磁盘的I/O、网络通信或者数据库访问上。如果不希望处理器在大部分时间里都处于等待其他资源的状态，就必须使用一些手段去把处理器的运算能力“压榨”出来，否则就会造成很大的浪费，而让计算机同时处理几项任务则是最容易想到、也是证明非常有效的“压榨”手段。

（并发的原理就是利用这个时间差）

硬件的效率与一致性

由于计算机的存储设备与处理器的运算速度有几个数量级的差距，所有现代计算机不得不加入更接近处理器运算速度的高速缓存(Cache)来作为内存与处理器之间的缓冲；但是每个处理器都有自己的高速缓存，而他们又共享同一主内存，这样可能会出现 “缓存一致性”的问题。为了解决一致性问题，需要各个处理器访问缓存时遵循一些协议，读写的时候根据协议来进行操作。而“内存模型”可以理解为：在特定的操作协议下，对特定的内存或高速缓存进行读写访问的过程抽象。

内存模型的主要目标：定义程序中各个变量的访问规则，变量包括了 实例字段、静态字段和构成数组对象的元素，但不包括局部变量与方法参数，因为后者是线程私有的，不会被共享，自然就不会存在竞争的问题。

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

内存间交互：他们采用，读取、载入、使用、赋值、存储、写入、锁定、解锁等逻辑和一定的规则来进行交互。

volatile是java虚拟机提供的最轻量级的同步机制，但是它并不容易完全被正确的理解和使用，有些时候一律使用synchronized

volatile变量在各个线程的工作内存中不存在一致性问题（在各个线程的工作内存中，volatile变量也可以存在不一致的 情况，但由于每次使用之间都要刷新，执行引擎看不到不一致的情况，因此可以认为不存在一致性问题），但是java里面的运算并非原子操作，导致volatile变量的运算在并发下一样是不安全的。

由于volatile变量只能保证可见性，在不符合以下两条规则的运算场景中，我们任然要通过加锁（使用synchronized，或java.util.concurrent中的原子类）来保证原子性

1. 运算结果并不依赖变量的当前值，或者能够确保只有单一的线程修改变量的值

2. 变量不需要与其它的状态变量共同参与不变约束

线程的实现

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

java线程调度

线程调度是指系统为线程分配处理器使用权的过程，主要的调度方式有两种：协同式调度（自己工作做完了，然后通知别人）与抢占式调度

协同式多线程调度的优点：实现简单，缺点：线程执行时间不可控

抢占式调度的特点：每个线程将由系统来分配执行时间

java是使用抢占式调度，java线程一共设有10个级别的线程优先级，但是线程优先级并不是太靠谱，原因是java的线程是通过映射到系统的原生线程上来实现的，所以线程的最终调度还是取决于操作系统

===========================================================================================

线程安全与锁优化

线程安全：

当多个线程访问一个对象时，如果不考虑这些线程在运行时环境下的调度和交替执行，也不需要进行额外的同步，或者在调用方进行任何其他的协调操作，调用这个对象的行为都可以获得正确的结果，那么这个对象就是线程安全的。

java语言中操作共享数据分为以下5类：不可变、绝对线程安全、相对线程安全、线程兼容、线程对立

不可变：例如final修饰

绝对线程安全：在java api 中标注自己是线程安全的类，大多数都不是绝对的线程安全

线程相对安全：它需要保证对这个对象单独的操作是线程安全的

线程兼容：指对象本身并不是线程安全的，但是可以通过在调用端正确的使用同步手段来保证对象在并发环境中可以安全的使用

线程对立：指无论调用端是否采取了同步措施，都无法在多线程环境中并发使用的代码（但是这类代码很少见，尽量避免）

线程安全的实现方法

1.互斥同步

在java中最常用的是synchronized，java.util.concurrent包中的重入锁（ReentrantLock）

synchronized经过编译之后会在同步块的前后分别形成monitorenter和monitorexit这两个字节码指令，monitorenter进行+1操作，monitorexit进行-1操作，当计数器为0时，锁就被释放。(monitorexit是为了在异常情况下退出？)

（互斥同步最主要的问题就是进行线程阻塞和唤醒所带来的性能问题，因此这种同步也称为阻塞同步，从处理问题的方式上说，互斥同步属于一种悲观的并发策略）

2.非阻塞同步

基于冲突检测的乐观并发策略，通俗的说，就是先进行操作，如果没有其他线程争用共享数据，那操作就成功了；如果共享数据有争用，产生了冲突，那就采取其他的补偿措施（最常见的措施就是不断的重试，直到成功为止），这种乐观的并发策略的许多实现都不需要把线程挂起，因此这种操作称为非阻塞同步

CAS：（变量的内存地址V，旧的预期值A，新值B；当V符合旧预期值A，B更新V，否则不更新）

缺点：会出现ABA问题（如果需要解决ABA问题，采用传统的互斥同步会比原子类更高效）

3.无同步方案

要保证线程安全，并不是一定就要进行同步，两者没有因果关系。同步只是保证共享数据争用时的正确性的手段，如果一个方法本来就不涉及共享数据，那它自然就无须任何同步措施去保证正确性，因此有些代码天生就是线程安全的（例如：可重入代码、线程本地存储）

锁优化

自旋锁与自适应自旋、锁消除、锁粗化、轻量级锁

===========================================================================================