<读书笔记--并发>二、java并发机制

最新推荐文章于 2022-10-12 13:50:51 发布

南柯依梦

最新推荐文章于 2022-10-12 13:50:51 发布

阅读量251

点赞数

分类专栏： java 文章标签： java 并发线程原子操作锁

本文链接：https://blog.csdn.net/u014381338/article/details/69257314

版权

java 专栏收录该内容

7 篇文章 0 订阅

订阅专栏

CPU术语描述

一、volatile

volatile是轻量级的synchronized，在多处理器开发中保证了共享变量的“可见性”（一个线程修改共享变量时，另一个线程能读到这个修改值），它比synchronized执行成本低，因为不会产生线程上下文的切换和调度
1、定义：如果一个变量被声明为volatile，java线程内存模型确保所有线程看到的这个变量的值是一致的（为了提高处理速度，处理器不直接和内存进行通信，而是先将系统内存的数据读到内部缓存再进行操作，volatile变量在进行写操作，转换成汇编语言观察会发现多执行了一个lock命令的操作，这个命令会做两件事，1）将当前处理器缓存行的数据写回到系统内存。2）这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效）

二、synchronized的实现原理

在多线程并发编程中，synchronized一直都是元老级角色，很多人都会称呼它为重量级锁，synchronized实现同步的基础为：java中的每一个对象都可以作为锁，具体表现为以下三种：

对于普通同步方法，锁是当前实例对象
对于静态同步方法，锁是当前类的Class对象
对于同步方法块，锁是synchronized括号里配置的对象

三、锁的升级与对比

锁一共有四种状态，级别由低到高分别为：无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态，几种状态随着竞争情况逐渐升级，但不能降级（为了提高获得锁和释放锁的效率）
（1）偏向锁：大多数情况下，锁不紧不存在多线程竞争关系，而且总是由同一线程多次获得，为了让线程获得锁的代价更低而引入了偏向锁。偏向锁采用的机制是竞争时释放

偏向锁在Java 6和Java 7里是默认启用的，但是它在应用程序启动几秒钟之后才激活，如有必要可以使用JVM参数来关闭延迟-XX:BiasedLockingStartupDelay=0。如果你确定自己应用程序里所有的锁通常情况下处于竞争状态，可以通过 JVM 参数关闭/开启偏向锁-XX:-UseBiasedLocking/-XX:+UseBiasedLocking，那么默认会进入轻量级锁状态。
测试一下：向Vector中添加一百万条数据
开启偏向锁时：-XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0

关闭偏向锁时：-XX:-UseBiasedLocking

（2）轻量级锁：
加锁：线程在执行同步块之前， JVM会先在当前线程的栈桢中创建用于存储锁记录的空间，并将对象头中的Mark Word复制到锁记录中，官方称为Displaced Mark Word。然后线程尝试使用 CAS 将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获得锁，如果失败，表示其他线程竞争锁，当前线程便尝试使用自旋来获取锁。
解锁：轻量级解锁时，会使用原子的 CAS 操作来将Displaced Mark Word替换回到对象头，如果成功，则表示没有竞争发生。如果失败，表示当前锁存在竞争，锁就会膨胀成重量级锁。下图是两个线程同时争夺锁，导致锁膨胀的流程图。

因为自旋会消耗 CPU，为了避免无用的自旋（比如获得锁的线程被阻塞住了），一旦锁升级成重量级锁，就不会再恢复到轻量级锁状态。当锁处于这个状态下，其他线程试图获取锁时，都会被阻塞住，当持有锁的线程释放锁之后会唤醒这些线程，被唤醒的线程就会进行新一轮的夺锁之争。

四、锁的优缺点

锁的优缺点

五、原子操作的实现原理

CPU术语

1、原子操作

不可被中断的一个或一系列操作，处理器提供总线锁定和缓存锁定两个机制来保证复杂内存操作的原子性。
（1）总线锁定：
如果多个处理器同时对共享变量进行读改写（i++就是经典的读改写操作）操作，那么共享变量就会被多个处理器同时进行操作，这样读改写操作就不是原子的，操作完之后共享变量的值会和期望的不一致，举个例子：如果i=1,我们进行两次i++操作，我们期望的结果是3，但是有可能结果是2
总线锁定前
原因是有可能多个处理器同时从各自的缓存中读取变量i，分别进行加一操作，然后分别写入系统内存当中。那么想要保证读改写共享变量的操作是原子的，就必须保证CPU1读改写共享变量的时候，CPU2不能操作缓存了该共享变量内存地址的缓存。
处理器使用总线锁就是来解决这个问题的。所谓总线锁就是使用处理器提供的一个LOCK＃信号，当一个处理器在总线上输出此信号时，其他处理器的请求将被阻塞住,那么该处理器可以独占使用共享内存。
（2）缓存锁定：
在同一时刻我们只需保证对某个内存地址的操作是原子性即可，但总线锁定把CPU和内存之间通信锁住了，这使得锁定期间，其他处理器不能操作其他内存地址的数据，所以总线锁定的开销比较大，所以处理器在某些场合下使用缓存锁定代替总线锁定来进行优化。
有两种情况下处理器不会使用缓存锁定：第一种情况是：当操作的数据不能被缓存在处理器内部，或操作的数据跨多个缓存行（cache line），则处理器会调用总线锁定。第二种情况是：有些处理器不支持缓存锁定。对于Inter486和奔腾处理器,就算锁定的内存区域在处理器的缓存行中也会调用总线锁定。

2、java中如何实现原子操作

（1）使用循环CAS（Compare and Swap）实现原子操作
独占锁是一种悲观锁，synchronized就是一种独占锁，会导致其它所有需要锁的线程挂起，等待持有锁的线程释放锁。而另一个更加有效的锁就是乐观锁。所谓乐观锁就是，每次不加锁而是假设没有冲突而去完成某项操作，如果因为冲突失败就重试，直到成功为止。
CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做

（2）CAS虽然很高效的解决原子操作，但是CAS仍然存在三大问题。ABA问题，循环时间长开销大和只能保证一个共享变量的原子操作。

ABA问题
因为CAS需要在操作值的时候检查下值有没有发生变化，如果没有发生变化则更新，但是如果一个值原来是A，变成了B，又变成了A，那么使用CAS进行检查时会发现它的值没有发生变化，但是实际上却变化了。ABA问题的解决思路就是使用版本号。在变量前面追加上版本号，每次变量更新的时候把版本号加一，那么A－B－A 就会变成1A-2B－3A。
循环时间长开销大
自旋CAS如果长时间不成功，会给CPU带来非常大的执行开销。如果JVM能支持处理器提供的pause指令那么效率会有一定的提升，pause指令有两个作用，第一它可以延迟流水线执行指令（de-pipeline）,使CPU不会消耗过多的执行资源，延迟的时间取决于具体实现的版本，在一些处理器上延迟时间是零。第二它可以避免在退出循环的时候因内存顺序冲突（memory order violation）而引起CPU流水线被清空（CPU pipeline flush），从而提高CPU的执行效率。
只能保证一个共享变量的原子操作
当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁，或者有一个取巧的办法，就是把多个共享变量合并成一个共享变量来操作。比如有两个共享变量i＝2,j=a，合并一下ij=2a，然后用CAS来操作ij。从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，你可以把多个变量放在一个对象里来进行CAS操作。