多线程概念的引入体现了人类重新有效压力寨计算机。这是非常有必要的,由于所涉及的读数据的过程中的一般操作,如从磁盘、其他系统、数据库等,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内存模型的深入研究是必不可少的。
它的定义必须考虑到以下几个方面,一个是,如何更有效地提高该线程的性能效率。二是如何在底层物理硬件和操作系统的差异,提供统一的对外屏蔽的概念;最后,它是多么的严谨和轻松的典范。语义确保不会产生歧义和一些优化扩展。