-
- 原子操作的实现原理
-
- 总线锁定
-
缓存锁定
-
Java的原子操作实现
-
- 循环时间开销大
-
只能保证一个共享变量的原子操作
-
Java内存模型
-
- Java内存模型的抽象结构
-
指令重排序
处理器使用总线锁定和缓存锁定这两个机制来保证复杂内存操作的原子性
总线锁定
我们来分析一下i++
当多个线程去执行i++的时候,是会出现并发问题的,因为i++并不是一个原子的操作,它分为三步,典型的读改写操作
-
从内存中读取i的值,并且存储到线程本地内存中
-
线程根据本地内存的副本执行加1
-
然后将副本写回到内存中
并发的问题就在于,当一个线程读改写共享变量的时候,另一个线程已经缓存了共享变量的旧值
所以,解决问题的关键旧在于,当一个线程要开始读改写共享变量的时候,其他线程是不能执行的
处理器可以使用总线锁定来解决这个问题,CPU需要通过总线才能从内存中读取数据,总线锁的本质其实就是一个lock信号,当一个线程在总线上输出了这个信号,那么其他线程的请求将会被阻塞,此时这个线程就可以独享共享内存了,所以三步都是要带上lock信号的,volatile就是使用lock信号来实现的
缓存锁定
使用总线锁定固然可以解决共享变量的问题,但总线锁定会阻塞其他线程的所有请求,那么不操作共享变量的线程也会被阻塞,效率会降低,而且开销比较大
所以就使用处理器的缓存一致性协议来实现锁定,缓存一致性协议会阻止同时修改由两个以上处理器缓存的内存区域数据,所以处理器不需要使用Lock信号来锁定总线,而是通知其他线程放弃自己内部的数据,去主内存重新去获取数据
Java的原子操作的实现是通过锁和循环CAS的方式来实现原子操作的
而CAS的底层实现,是一条指令cmpxchg,这样就让比较和修改成为了一个原子性操作
那问题来了,这条指令也可能会发生指令重排序,特别是多处理器的时候(多处理器的作用就是减少线程上下文的切换,因为运算器只有一个,所以只能被一个处理器调用,所以执行命令上,单处理器跟多处理器是差不多的)
单处理器自身会维护顺序一致,不需要内存屏障,但多处理器无法进行维护顺序一致,所以在多处理器的时候,会加上一个lock前缀
所以完整的命令为lock cmpxchg
lock前缀的作用就是提供内存屏障从而防止指令重排序,同时保证指令的原子性,因为lock的功能是锁住总线,那么其他处理器暂时无法通过总线去访问内存的
所以,lock指令不单是volatile的底层实现,同时也是多处理器的cas实现
循环时间开销大
CAS可以不让线程挂起,从而提高线程的执行效率,但这不一定是好事,前面已经提到过,CAS自旋也是会消耗CPU性能的,假如一个线程迟迟不释放锁,那么其他线程就会造成很大的消耗,循环时间开销大
只能保证一个共享变量的原子操作
CAS只可以保证一个共享变量的原子操作,对于多个变量是无法保证的,这个时候就必须要使用锁。
注意,cas是一种机制,volatile是另一种机制
Java内存模式,java memory model简称JMM,也就是Java虚拟机的内存是怎样的
他控制着Java线程之间是如何进行通信的,因为线程之间有着各自的状态,所以为了实现同步,必须要进行通信
Java内存模型的抽象结构
在Java中,所有实例域、静态域和数组元素都存储在堆内存中,堆内存在线程之间是共享的,所以称为共享变量,但一些线程本身的局部变量(local variables)、方法定义参数和异常处理器参数是不会在线程之间共享的,这三个是没有内存可见性的,当然也不受Java内存模型的影响
从上面的抽象结构可以看出,如果线程A与线程B要进行通信,必须要经历下面两个步骤
-
线程A把自己本地内存A的共享变量副本更新到主内存中
-
线程B到主内存中重新把共享变量读取进自己的本地内存