Java多线程-带你认识Java内存模型,内存分区,从原理剖析Volatile关键字

写在前面（语句修改版）

读完本篇文章你将知道：

• Java的内存模型。

• Java的内存分区。

• 全局变量、局部变量、对象、实例再内存中的位置。

• JVM重排序机制。

• JVM的原子性、可见性、有序性。

• 完全了解Volatile关键字。

一. Java的内存模型

Java内存模型即Java Memory Model，简称JMM。JMM定义了Java 虚拟机(JVM)在计算机内存(RAM)中的工做方式。JVM是整个计算机虚拟模型，因此JMM是隶属于JVM的。想要掌握Java并不是线程JMM必定要了解。Java内存模型定义了多线程之间共享变量的可见性以及如何在须要的时候对共享变量进行同步。这里涉及到共享内存区域的知识，稍后会在Java的内存分区中介绍到。简单来讲JMM解释了这么一个问题：当多个线程再访问同一个变量的时候，其中一个线程改变了该变量的值可是并未写入主存中，那么其余线程就会读取到旧值，没法获取到最新的值。好了接下来看看什么是内存模型：

Java内存模型定义了线程和主存（能够理解为java内存分区中的共享区域，稍后将介绍）之间的抽象关系：线程之间的共享变量存贮在主存中，每一个线程都会拥有属于本身的私有工做内存（这个内存分配再栈里面），再工做内存中只会存储该线程使用到的共享变量的副本。这里的私有工做内存实际上是一个抽象的概念，它包括了缓存、写缓冲区、寄存器等区域。Java内存模型控制线程间的通讯，它决定一个线程对主存共享变量的写入什么时候对另外一个线程可见。这是Java内存模型抽象图：

从图中咱们能分析出：

1.每一个线程再执行的时候都会有本身的工做内存，其中包括了方法里面所包含的全部变量等。

2.每一个线程的私有工做内存是不能相互访问的，这也就解释了为何咱们不能再一个方法中访问另外一个方法的局部变量。

3.当线程想要访问共享变量的时候，须要从主存中获取，再本身的方法区中只是保存的变量的副本。

4.当咱们修改完共享变量的时候，须要把改过的变量写入主存中，这样才能让其余线程获取到正确的值。

简单一点就是：

（1）线程A把线程A本地内存中更新过的共享变量刷新到贮存中去。

（2）线程B到主存中去读取线程A以前已更新过的共享变量的的值。

也就是：

int i= 1；复制代码

也就是说，这句代码被线程执行的时候是这样的情景：执行线程先把变量i的值的一个副本，存放到本身的工做内存中，而后再把值写入主存中，而不是直接写入到主存中。

这样是否是就能够说明用一个普通的变量做为标记去打断线程是不严谨的，你们能够移步到个人上一篇文章如何正确的打断线程。

二. Java的内存分区

通常来讲，Java程序在运行时会涉及到如下内存区域：

1. 寄存器：

JVM内部虚拟寄存器，存取速度很是快，程序不可控制。

1. Java虚拟机栈（通俗就是咱们常说的“栈”）：

它是线程私有的，它的生命周期与线程相同。每一个方法被执行的时候都会同时建立一个栈帧（StackFrame）用于存储局部变量表、操做栈、动态连接、方法出口等信息。每个方法被调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。它存放了编译期可知的各类基本数据类型（boolean、byte、char、short、int、float、long、double）、对象引用（reference类型），它不等同于对象自己，根据不一样的虚拟机实现，它多是一个指向对象起始地址的引用指针，也可能指向一个表明对象的句柄或者其余与此对象相关的位置）和returnAddress类型（指向了一条字节码指令的地址）。

1. 堆：

Java堆（Java Heap）是Java虚拟机所管理的内存中最大的一块。Java堆是被全部线程共享的一块内存区域，在虚拟机启动时建立。此内存区域的惟一目的就是存放对象实例，几乎全部的对象实例都在这里分配内存。这一点在Java虚拟机规范中的描述是：全部的对象实例以及数组都要在堆上分配。　Java堆是垃圾收集器管理的主要区域。

1. 方法区：

方法区（Method Area）与Java堆同样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。虽然Java虚拟机规范把方法区描述为堆的一个逻辑部分，可是它却有一个别名叫作Non-Heap（非堆），目的应该是与Java堆区分开来，但它仍是属于堆里面的。

1. 常量池（实际上是方法区的一部分）：

JVM为每一个已加载的类型维护一个常量池，常量池就是这个类型用到的常量的一个有序集合。包括直接常量(基本类型，String)和对其余类型、方法、字段的符号引用(1)。池中的数据和数组同样经过索引访问。因为常量池包含了一个类型全部的对其余类型、方法、字段的符号引用，因此常量池在Java的动态连接中起了核心做用。常量池存在于堆中.

须要注意的一些：

1. 对象所拥有的方法以及里面涉及到的变量都存储在栈里面,方法里面使用到的全局变量是随着对象实例一块儿存储在堆里面,在方法中使用的时候也是使用该全局变量的副本.

2. 对于一个对象的成员变量,无论他是原始类型仍是包装类型,都会被存贮在堆区.

3. 方法区和堆是同样,是各个线程共享的区域,里面存放java虚拟机加载的类信息,常量,静态变量,即便编译器编译后的代码等数据.

4. 当调用一个对象的方法时会在java(虚拟机栈)栈里面建立属于本身的栈空间,方法走完即被释放

5. 分清什么是实例什么是对象。Class a = new Class();此时a叫实例，而不能说a是对象。实例在栈中，对象在堆中，操做实例其实是经过实例的指针间接操做对象。多个实例能够指向同一个对象。

那么咱们经过代码来进一步的认识每一个分区：

public class Persion{

privite String name = “Wang”；

privite static String love = “eat”；

public void init（int age）{

if（age < 0）{

age = 0;

}

Log.e(TAG,"Name is "+ name+"Age is "+ age);

}

}复制代码

首先咱们知道 当我用 Persion p = new Perison()的时候，Persion p 这个引用存贮再栈里面，new Perison()这个对象保存在堆里面，包括name成员变量都在堆里面；love这个静态变量存贮在常量池里面。当咱们调用 p.init(10) 的时候，会在该线程所在的栈里面开创该线程私有的栈内存，用来保存age变量和name共享变量的副本。这里要说一下，堆、方法区被称为共享区域，这里面的数据才能被多线程所共享。

三. JVM重排序机制

在虚拟机层面，为了尽量减小内存操做速度远慢于CPU运行速度所带来的CPU空置的影响，虚拟机会按照本身的一些规则(这规则后面再叙述)将程序编写顺序打乱——即写在后面的代码在时间顺序上可能会先执行，而写在前面的代码会后执行——以尽量充分地利用CPU。拿上面的例子来讲：假如不是a=1的操做，而是a=new byte[1024*1024]，那么它会运行地很慢，此时CPU是等待其执行结束呢，仍是先执行下面那句flag=true呢？显然，先执行flag=true能够提早使用CPU，加快总体效率，固然这样的前提是不会产生错误(什么样的错误后面再说)。虽然这里有两种状况：后面的代码先于前面的代码开始执行；前面的代码先开始执行，但当效率较慢的时候，后面的代码开始执行并先于前面的代码执行结束。无论谁先开始，总以后面的代码在一些状况下存在先结束的可能。咱们看下简单的例子：

public void execute(){

int a=0;

int b=1;

int c=a+b;

}复制代码

这里a=0,b=1两句能够随便排序，不影响程序逻辑结果。因此程序再运行的时候会选择先运行int b = 1 ；而后再运行 int a=0;可是咱们是没法观察到的，这确是可能发生的，这句c=a+b这句必须在前两句的后面执行，因此在他的先后不会出现重排序。这里咱们就简单的了解下就能够啦.

四. JVM的原子性、可见性、有序性

• 原子性

定义：对基本类型变量的读取和赋值操做是原子性操做，即这些操做是不可中断的，要么执行完毕，要么就不执行。

x =3;    //语句1

y =4    //语句2

z = x+y ;//语句3

x++；    //语句4复制代码

这里面的操做只有语句1和语句2是原子性的操做，语句3,4不是原子性的操做；由于在语句3中包括了三个操做，1是先读取x的值，2读取y的值，3将z的值写入内存中。语句4的解释是同样的。通常的一个语句含有多个操做该语句就不是原子性的操做，只有简单的读取和赋值才是原子性的操做。

• 可见性

就是指线程之间的可见性，一个线程修改的状态对另外一个线程是可见的。也就是一个线程修改结果，另外一个线程立刻就能看到。

• 有序性

Java内存模型容许编译器和处理器对指令进行重排序，虽然重排序不会影响到单线程的正确性，可是会影响到多线程的正确性。

五. Volatile关键字

这里呢Volatile的三个条件：

1.不保证原子性。

2.保证有序性。

3.保证可见性。

当用volatile修饰共享变量的时候，线程访问到该变量的时候都回去主存中去取该变量的值，它的工做内存中的缓存将失效，这样就保证了每一个线程访问该变量的时候都是从主存中读写的。这就是为何使用Volatile关键字来修饰线程间共享变量。

六. 结束语

这些也是对JVM的一些小的探索，但愿能给你们带来一点小的帮助，若是喜欢的话请点个赞再走吧，感兴趣的话就点 这里 这个关注吧，以后我会继续给你们带来一下新的看法，或者把通俗易懂的语言来描述苦涩难懂的原理~

若是有什么疑问或者看法请评论区留言，我会实时回复的~

来了就点个赞吧~

欢迎关注