这几天面试互联网公司的高级java工程师,多线程问的相对而言比较多。所以,从各种角度来看看java中多线程的实现方式。
一.Java多线程中的内存模型
1.java主内存和工作内存
根据java内存模型,java中所有的变量都存储在主内存中(main memory),每条线程还有自己的工作内存(Working Memory),线程的工作内存中保存了主内存的副本拷贝,线程对所有变量的操作都必须在工作内存中进行而不能操作主内存的变量。不同的线程不能访问别的线程工作内存中的变量,线程之间的变量值传递必须要通过主内存来完成,线程、主内存、工作内存三者的交互关系如下图所示:
2.内存之间的交互操作
java内存模型定义了8种不同操作来完成,虚拟机实现时候必须保证这8种操作都是原子的、不可再分的。
lock(锁定):主要作用于主内存变量,它把一个变量标志为一条线程独占的状态。
unlock(解锁):作用于主内存变量,它将处于一个锁定状态的变量释放出来,释放出来的内存变量才能被其他线程锁定。
read(读取):作用于主内存的变量,它把一个变量的值从主内存中运输到线程的工作内存中,以便随后的load指令使用。
laod(载入):作用于工作内存的变量,它把主内存中读到的变量放入工作内存变量的副本中。
use(使用):作用于工作内存中的变量,它把工作内存中的一个变量值传递给执行引擎,每当虚拟机遇到一个需要使用变量值的字节码指令时候回执行这个操作。
assign(赋值):作用于工作内存变量,它把一个从执行引擎接受到的值赋给工作内存中的变量,每当虚拟机遇到一个给变量赋值的字节码的时候执行这个操作。
store(存储):作用于工作内存中的变量,它把工作内存中的一个变量送到主内存中,以便以后的write操作使用。
write(写入):作用于主内存中,它把store操作从工作内存中得到的变量的值放入主内存中。
2.多线程中的原子性、可见性、有序性
1.原子性
原子性:由java内存模型来直接保证原子性的操作包括read、load、assign、use、store和write。基本数据类型访问具有原子性(除了long 和double类型特殊的非原子协定)。
如果需要更大范围的原子性操作的时候,java内训模型还提供了lock()和unlock()操作来完成这种需求。在字节码层次上提供了monitorebter和moniterexit来隐式的使用这个操作,这两个字节码反映到java代码中就是同步代码块--sychronized关键字。
2.可见性
可见性:是指当一个线程修改了共享变量的值,其他线程能够立即得知这个修改。
java内存模型是通过变量在修改后的新值同步回主内存中,在变量读取前从主内存刷新变量值住,这种依赖 主内存作为传递媒介的方式来实现可见性的。通过volatile保证了线程之间的可见性。同样还有synchronized 和final 来实现线程可见性。
同步代码块的可见性是由“对一个变量执行unlock操作之前,必须先把此变量同步到主内存中(执行store 和 write操作)”。被final修饰的普通变量在构造器中一旦初始化完成,并且构造器没有把"this"关键字的引用传递出去,那么在其他线程中就能看见final关键字的值。
3.有序性
有序性:在java语言中提供了volatile和synchronized俩个关键字来保证线程之间操作是有序性,volatile关键字本身包含了禁止指令重排序的语义,而sychronized则是由“一个变量在同一时刻只允许一个线程进行lock操作”,这条规则决定了持有同一个锁的同步代码块只能串行地进入。
4、happen-before原则