对多线程java内存模型JMM

多线程概念的引入体现了人类从新有效压力寨计算机。这是很是有必要的，因为所涉及的读数据的过程当中的通常操做，如从磁盘、其余系统、数据库等，CPU计算速度和数据读取速度已经严重失衡。假设印刷过程当中一个线程将有很是多节点堵塞，使计算效率低下。

另外，server端是java最擅长的领域，做为server必须要能同一时候响应多个client的请求，相同须要多线程的支持。在多线程状况下。高并发将带来数据的共享与竞争问题。tomcat做为中间件将多线程并发等细节尽可能封装起来处理，使用户对多线程透明，不少其它地关注业务处理就能够。但假设想要深刻剖析tomcat咱们有必要深刻了解多线程并发技术。此章节将介绍多线程并发的一些底层原理及JDK并发包的实现的相关知识。并不会对所有具体的并发类的用法进行介绍，针对一些在Tomcat中使用的类会略微具体阐述。

1、Java内存模型——JMM

在多核时代，怎样提升CPU的性能成为了一个永恒的话题，而这个话题的讨论主要就是怎样定义一个高性能的内存模型，内存模型用于定义处理器的各层缓存与共享内存的同步机制及线程和内存交互的规则。     

Java的世界也有属于它本身的内存模型，Java内存模型，即Java Memory Model，简称JMM。由于Java被定义成一种跨平台的语言，因此在内存的描写叙述上面也要能是跨平台的。Java虚拟机试图定义一种统一的内存模型，能将各类底层硬件及操做系统的内存訪问差别进行封装，使Java程序在不一样硬件及操做系统上都能达到一样的并发效果。它描写叙述了程序中各个变量之间的关系，包含实例域、静态域、数据元素及在实际计算机系统中将变量存储到内存和从内存中取出变量的底层细节。

为更好理解JMM的工做机制。由图2-5-1-1带入。从整体上看有几个比較重要的主体。主存、工做内存、变量、变量副本、线程等。首先看主存与工做内存及他们的关系，主存保存了java程序的所有变量，固然这个变量不包括局部变量和方法參数，而工做内存则包括了这些变量的副本；其次是线程与工做内存的关系，每个线程都有一个属于本身的工做内存，不一样线程之间的工做内存是互相不可见的，且线程对变量的操做也仅仅能是针对本身的工做内存；最后是关于线程之间的通讯机制，由于线程直接不可直接传递，假如一条线程对一个变量进行又一次赋值，那么仅仅能经过例如如下途径让另一条线程知道，线程一将变量改变反应到主存中，线程二再从主存中读取，这样就基本完毕了线程之间的通讯了。

JMM定义额八个操做来完毕工做内存与主存的通讯。假如一条线程准备对一个变量进行新的赋值操做，它可能会先用lock操做锁住主存中的某个变量（不让其它线程得到此变量的锁。直至使用unlock操做释放该变量的锁），接着使用read操做将变量从主存独到工做内存。紧接着load操做将获得的变量值放到工做内存中的变量副本，use操做则将变量值传给线程运行引擎进行运算操做，assign操做把新的变量值从线程运行引擎中传递到工做内存，继续往下，store操做则把变量值从工做内存传送到主存中，接着write操做将获得的值写入主存对应的变量中。最后使用unlock操做释放变量的锁。

图2-5-1-1 java内存模型JMM

    Java内存模型具备三个特性：原子性、可见性和有序性。

①  原子性，java内存模型保证了read、load、assign、use、store、write六个操做具备原子性。咱们可以以为除了long和double类型外。对其它基本数据类型所相应的内存单元的訪问读写都是原子的。

但由于这个原子性的颗粒度过小。一般状况下咱们需要更大颗粒度的原子性，这时就需要用锁来保证了。

②  可见性，在java内存模型中，简单说假设一条线程更改了共享变量的值，而其它线程能当即知道这个更改。咱们则说这个变量具备可见性。通常来讲有四种方式能保证变量的可见性，分别为volatile、synchronized、final和锁。首先谈谈volatile，被此关键词声明的变量。每当有不论什么更改时都将当即同步到主存中，而每个线程要使用这个变量时都要又一次从主存刷新到工做内存。这样就确保了变量的可见性（固然，普通变量终于也会同步到主存，再由主存同步到每个线程的工做内存，仅仅是这个终于可能比較“长久”，不能保证可见性）。由于synchronized底层也是经过锁进行实现，因此synchronized和锁的本质是同样的，当一个线程释放一个锁时，将会强制刷新工做内存中的变量值到主存中，而当还有一个线程获取此锁的时候将会强制又一次装载此变量值。固然这两个线程获取的是同一个锁。这样就保证了变量的可见性。被final声明的变量一旦完毕初始化，其它线程就能看到这个final变量。事实上，可见性事实上可以当作是一种机制，线程在进入/退出同步块程序时，它将发送/接收一个变量的更改。

③  有序性。有序性指在线程内看方法的运行，所有的指令都是有序的。都依照一种串行方式运行。而在线程内观察其它线程，所有指令都是无序的，指令均可能交叉运行。Java中提供了volatile和synchronized两个关键词保证线程之间操做的有序性。而这个有序性不过相对的，volatile禁止指令重排序，synchronized则保证持有同一个锁的同步块只能串行运行。

JMM可以说是Java的基础。它的定义将直接影响JVM及java多线程实现的机制，要想深刻了解多线程问题相关的现象。正确Java内存模型的深刻研究是必不可少的。

它的定义必须考虑到如下几个方面，一个是，如何更有效地提升该线程的性能效率。二是如何在底层物理硬件和操做系统的差别，提供统一的对外屏蔽的概念；最后，它是多么的严谨和轻松的典范。语义确保不会产生歧义和一些优化扩展。