JVM内存分配和垃圾回收

Java内存模型

内存分为对内存和非堆；非堆主要是由线程栈组成。

调用栈和本地变量存放在线程栈上，对象本身存放在堆上。拿方法参数为例，相当于参数的引用，只是栈内存中对堆内存中对象的引用而已；

局部变量、成员变量、静态变量的存储

基本数据类型的成员变量，存储在栈内存(线程栈)上；
引用类型的成员变量，引用存放在线程栈上，但是对象本身仍然存放在堆上；
一个对象可能包含方法，这些方法可能包含局部变量。这些局部变量存放在线程栈上，即使这些方法所属的对象是存放在堆内存上；
一个对象的成员变量，跟随这个对象一起存放在堆内存上。不管这个对象是基本数据类型还是引用类型；
静态变量跟随对象的定义，一起存放在堆内存上；

存放在堆上的对象，可以被持有对这个对象引用的线程访问。当一个线程访问当前对象时，也就可以访问其成员变量。如果两个线程同时调用同一个对象的同一个方法。他们都将会访问这个对象的成员变量，并每个线程都拥有这个成员变量的私有拷贝。

JMM模型下的线程通信

线程间通信，必须通过主内存；

线程A和线程B通信的流程
1、线程A将本地内存中更新过的对象a刷新到主内存中；
2、线程B去主内存中获取线程A更新过的a，刷新到线程B的本地内存中；

主内存和工作内存的交互协议

解释：也就是说一个变量如何从主内存加载到线程的工作内存，如何从工作内存同步到主内存的实现细节

lock(锁定)：作用于主内存变量，将一个变量标识为一条线程独占状态
unlock(解锁)：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定和使用
read(读取)：作用于主内存变量，将一个变量从主内存传输到线程的工作内存，以便随后的load动作使用
load(载入)：作用于主内存变量，将read操作从主内存中获取到的变量值，加载到线程的工作内存中变量副本中
use(使用)：作用于工作内存变量，把工作内存中的变量值传递给执行引擎，每当虚拟机遇到一个需要使用某个变量的值字节码指令时，会使用此指令
assign(赋值)：作用于工作内存变量，他把一个从执行引擎收到的值赋值给工作内存的变量。每当虚拟机遇到一个给变量赋值的字节码时，会使用此指令
store(存储)：作用于工作内存变量，把工作内存中的变量传送到主内存中，以便随后的write操作
write(写入)：作用于主内存变量，把store操作从工作内存中的一个变量的值传送给主内存的变量中

JMM在执行上述操作时的规则：
1、如果要把一个变量从主内存刷新到工作内存，就需要按照顺序执行read和load指令；如果把变量从工作内存写入到主内存，就需要顺序的执行store和write指令；但Java内存模型只要求上述操作必须顺序执行，不一定要连续执行
2、不允许read和load、store和write单一执行
3、不允许一个线程丢弃最近的assign操作，也就是说，工作内存进行变量修改之后，必须刷新写入主内存
4、不允许一个线程在没有任何assign操作的情况下，也就是没有对变量进行赋值操作的情况下，将数据写入主内存，在对一个变量进行store之前，必须进行过assign操作
5、一个新的变量只能在主内存诞生，不允许在工作内存直接使用一个未被初始化的(load和assign)的变量；也就是说在对一个变量实施use操作之前，必须进行过read和load指令
6、一个变量同时只能被一条线程对其进行lock操作，可以执行多次lock操作，但是必须执行相同次数的unlock操作，才可进行解锁。lock和unlock必须成对出现
7、如果对一个对象执行lock操作，会清空所有工作内存中该对象的副本，如果某条线程使用该变量的前，需要重新load或assign操作初始化变量的值
8、如果一个对象不是处于lock状态，则不允许对其使用unlock指令；同时也不允许unlock其他线程lock的对象
9、对一个变量执行unlock操作之前，必须现将对象刷新到主内存中，也就是需要执行assign和store/write操作

Java内存模型解决的问题

当对象和变量被存放在不同的内存区域时，就可能出现一些问题。Java内存模型的建立，主要是针对多线程并发过程中，如何处理多线程读同步问题和可见性(多线程缓存和指令重排序)、多线程同步写问题和原子性(多线程竞争race condition)

多线程读操作同步问题和可见性

可见性(共享对象在多线程中的同步性)：线程对共享变量修改的可见性，当一个线程修改共享变量的值，其他线程是否可以立刻得知这个修改

线程缓存导致的问题

如果两个或多个线程在没有正确使用volatile声明或同步的情况下共享一个对象，一个线程更新共享对象，对于其他线程这个更新时不可见的；共享对象初始化在主内存中，跑在CPU上的一个线程将这个对象加载到CPU缓存(某个线程的工作内存)中，然后修改了该对象。只要CPU缓存没有被刷新到主内存。这次修改对于其他CPU上的其他线程是不可见的。这种方式可能会导致每个线程拥有共享对象的私有拷贝，每个拷贝停留在不同的CPU缓存中

内存可见性解决办法

1、volatile关键字：volatile关键字可以保证线程对共享变量进行修改后，会被立刻刷新回主内存；
普通变量和volatile变量的区别是：volatile的规则可以保证新值可以修改后立即同步到主内存，以及每个线程每次使用volatile变量都从主内存获取最新值

2、synchornized关键字：使用的规则——“如果一个变量执行lock操作，会清空所有工作内存中该变量的拷贝，在执行引擎使用该变量前，再次从主内存中(load/assign操作初始化该变量的值)”、“在对变量执行unlock指令时，需要必须将该变量同步回主内存，执行store和write操作”

3、final关键字：final关键字的可见性是指————被final修饰的字段在构造器中被初始化完成，并且构造器没有把this的引用传递出去，那么在其他线程就能看到final字段的值(无须同步) ———————— 不明白啥意思，this逃逸是个什么玩意儿

强引用、软引用、弱引用、虚引用

强引用

强引用相当于生活必需品。当服务内存不足是，宁愿抛出OutOfMemoryError也不会去回收该对象

如果list中的对象定义了ElementData数组进行数据的存在，在想要释放list内存时，最好是使用clear()。clear()会将list中所有对象全部置为null，方便释放内存

软引用

软引用相当于可有可无的生活用品。如果内存足够，GC不会对其进行回收；如果内存不足了，就会回收这些对象的内存。只要垃圾回收器没有将其回收，它就可以继续被使用。软引用可用来实现内存敏感的告诉缓存

总结
虚引用随时都可能被回收；
虚引用被回收之后，内部还不够用，则回收弱引用；
弱引用被回收之后，内存还不够用，则回收软引用；

垃圾收集算法和7种垃圾收集器

标记清除算法

标记清除算法分为标记和清除两个阶段。首先标记所有需要清除的对象，在标记完成后，统一回收掉所有被标记的对象。
缺点
效率问题：标记和清除两个阶段的效率都不高
空间问题：标记清除后会产生大量的不连续的内存碎片，空间碎片太多，可能会导致后续程序在创建大对象时，找不到足够的连续内存，不得不提前触发另一次垃圾收集动作

复制算法

专门针对新生代的垃圾收集算法
它的出现解决了标记清除算法的效率问题。它将可用内存划分为大小相等两块，每次只是用其中一块，当这块内存使用达到阈值时，就将存活的对象复制到另一块内存上，然后将原已使用的那部分内存，完全清除。

优点
每次都是对一块内存进行回收，不会产生碎片。只需要移动指针，按顺序分配内存就可以，运行高效
缺点
将可用内存降低为原来的一半

原理
通常将内存分为eden区，两个Survivor区(from区和to区)。eden区用来创建新对象；当回收垃圾时，将eden区和from区还存活的对象，拷贝到to区。最后清理掉eden区和from区。并将from和to对调。如果to区没有足够的空间存放存活的对象，则通过分配担保机制直接进入老年代。

标记整理算法

针对老年代的垃圾收集算法

复制收集算法在对象存活率较高的情况下，会频繁的执行复制操作，效率会降低。更关键的是，如果不想浪费50%的空间，就需要分配额外的内存进行担保，防止被使用的内存中的对象100%存活。所以老年代不适合使用复制算法进行垃圾收集

标记——整理的步骤
1、标记阶段
2、整理阶段：移动存活对象，同时更新存活对象中所有指向被移动对象的指针

整理顺序
1、任意顺序：对象的移动方式和他们的初始的对象和引用关系无关
2、线性顺序：将具有关联关系的对象排列到一起
3、滑动顺序：将对象"滑到"一端，从而"挤出"垃圾,可以保证对象在原堆中的顺序

部分整理

1、双指针回收算法：实现简单速度快，但是会打乱原对象的顺序
2、Lisp2(滑动回收算法)：需要在对象头存储迁移后的地址
3、引线整理算法：可以再不引入额外空间的情况下实现滑动回收，但是需要两遍遍历，效率较低
4、单次遍历法：滑动回收，实时计算出对象的转发地址，不需要额外的开销

分代回收理论

将Java堆内存分为年轻代和老年代两部分。

1、Serial收集器(新生代)
单线程，在进行垃圾回收时必须暂停其他所有工作线程(Stop the world)。是虚拟机默认的新生代垃圾收集器

2、ParNew收集器(新生代)
ParNew是Serial的多线程版本。只有Serial和ParNew两种收集器可以和CMS搭配合作

3、Parallel Scavenge(吞吐量收集器)————新生代
使用复制算法，并行多线程。CMS等收集器的关注点是尽可能缩短垃圾收集时，用户线程线程停顿的时间。而Parallel Scavenge收集器的目的是为了增加服务的吞吐量————CPU用于运行用户代码的时间和CPU总消耗时间的比重。吞吐量 = 用户代码运行时间 / (用户代码运行时间 + 垃圾回收时间)

停顿时间越短对于需要与用户交互的程序越好，良好的响应速度能提升用户的使用体验。
高吞吐量可以高效的利用CPU时间，尽快的完成计算任务。主要适合后台运算不需要太多的服务。

Serial old(老年代)
单线程、标记整理算法

Parall old(老年代)
多线程、标记整理算法

CMS收集器
以获取最短回收停顿时间为目标，优点是：并发收集、低停顿。基于标记——清除算法。
步骤:
1、初始标记：需要“stop the world”，标记GC roots直接可以关联到的对象，速度快
2、并发标记：进行GC Roots Tracing过程
3、重新标记：需要“stop the world”,修正并发标记期间，修正并发标记期间，因用户线程继续运行而导致的标记产生变动的那一部分对象的标记记录。停顿时间：初始标记<重新标记<并发标记
4、并发清除：时间消耗较长

G1收集器
基于标记清理算法实现的垃圾回收器，可以非常精准的控制停顿时间

其余的垃圾回收期一般都是针对整个年轻代或整个老年代。G1将整个堆(包括新生代和老年代)划分为多个大小固定的独立区域，并且跟踪这些区域内的垃圾堆积程度。在后台维护一个列表。每次根据允许的收集时间，优先针对垃圾最多的块区进行垃圾收集。

区域划分，有优先级的区域回收，保证了G1收集器在有效的时间内获得更高的收集效率