Java内存模型-开端

[TOC]

什么是Java内存模型

了解什么是Java内存模型，要先知道它主要做什么的工作。
JMM(Java Memory Model)通过控制主内存与每个线程的本地内存之间的交互，来为Java提供可见性保障。
首先，我们有一个有状态的类，其中有一个变量是 count 初始值是 0 。每当我创建了一个该类的对象，就让count + 1。然后把count对应的数据插入数据库中。
这个时候，如果是在多线程环境，简单的放两个线程，分别线程A、线程B。线程A率先访问count，然后修改count的值，让它 + 1。这个时候，如果两个线程之间没有正确的通信，也就是说，线程A没有告诉线程B修改了count值，于是B正常的去访问count的值，做自己的工作。它从该类中得到一个count，这个时候，A可能还没有把修改的count值同步到主内存中，也就是说主内存中的共享变量count并没有同步到A对自己的修改，它依然是0。这就好了，B不管，B拿了就跑，但是B拿到的count ，它是等于0的！而它应该是等于1的才对！
到这里，我们需要清楚并发编程里需要处理的两个关键问题：

1. 线程之间怎么通信
2. 线程之间如何同步

Java并发采用的是共享内存模型，所以Java进程之间的通信总是隐形进行的，整个通信过程对程序来说是透明的，即不可见的。在共享内存的并发模型中，线程之间共享程序的公共状态，多个线程通过读写在内存中公共状态来完成通信，这种通信方式是隐式的。
Java线程之间的通信由Java内存模型控制，JMM决定一个线程对共享变量的写入何时对另一个线程可见。

内存模型抽象

JMM定义了线程和主内存之间的抽象关系，线程之间的共享变量的存储在主内存中，同时，每个线程都有一个自己的私有本地内存，这个本地内存中存储着该线程所读写的共享变量的副本。

线程通信的过程

从刚刚的图里我们可以看到，线程A和线程B是没有办法直接进行通信的，如果它们想要通信的话，必须要经过下面两个步骤：

1. 线程A把本地内存中修改过的共享变量同步到主内存中。
2. 线程B从主内存中读取A修改过后的共享变量。

JMM的重要作用

上面所说线程间的通信主要是由JMM控制的。Java里，所有的实例域、静态域和数组元素都存储在对空间中，堆内存在线程中是共享的。而局部变量、方法定义参数和异常处理参数是不会在线程中共享的，它们不会有内存可见性问题，也不受内存模型的影响。(缘于内存模型的工作)

总结

我们暂时知道了，Java并发采用的共享内存模型，而这种方式，如果处理不好，很容易导致各式各样的内存可见问题。同时，在并发编程中，最重要的两个问题就是处理线程之间的通信和线程之间的同步问题。JMM担起了这个担子，负责线程之间的通信和同步问题。当我们的程序的正确性决定于多个线程交替之行的时序时，JMM的重要作用就体现了出来。我们需要JMM来帮助确定什么时候，另外的线程可以正确读取到最新的数值，并完成相应的操作。

最后

欢迎大家访问我的博客