深入了解JAVA中的锁

1.什么是锁？

锁其实就是一种协议，在对象头中放入一些标志信息用来声明不同的锁。

2.为什么要使用锁？

使用锁的原因就是为了保证数据的一致性。

3.volatile

volatile是一种轻量级的synchronized，他保证了并发操作中的共享变量的可见性：即当一个线程修改共享变量的时候，其他线程能读到修改的值。

加上了这个关键字会引发两件事情：

  1>.将当前处理器缓存行的数据写回到系统内存

   2>.这个写回操作会使其他CPU里缓存了该内存地址的数据无效。

但是当写回内存以后，其他缓存行存的值啊还是旧的，那这样怎么解决呢？

缓存一直性协议：为了保证多个cpu之间缓存是一致的，每个处理器通过嗅探在总线上的传播的数据来检查自己缓存的是否过期，当处理器发现自己缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置为无效状态，当处理器对这个数据进行修改操作的时候，会重新从系统内存把数据读到缓存行里。

通俗点说：就是使用valatile后，当修改值后，会强制从内存中重新缓存数据来保证一致性，读操作是安全的，但是写操作不安全。

实现的两条重要原则：

  1.Lock前缀会引起处理器缓存写到内存中。

  2.一个处理器的缓存行写到系统内存会使其他处理器的缓存行失效。

使用场景：

读多写少的场景或对变量的操作不依赖当前值。

4.synchronized

synchronized可以说是并发编程中的元老级角色了，很多人都会称它为重锁，但是在javase1.6对他进行优化了以后有些情况他就不那么笨重了，通过引用偏向锁和轻量级锁来减少了获得锁以及释放锁来带来的性能消耗。

代码同步块是使用monitorenter与monitorexit指令实现的。

锁的范围：

   对于普通同步方法：锁是当前实例对象。

   对于静态同步方法：所示当前类的class对象。

   对于同步方法块：锁是synchronized括号里配置的对象。

当一个线程视图访问同步代码块时，首先要获得锁，退出或抛出异常时必须释放锁。

锁的存储：

synchronized用的锁时存在java对象头里的（对象头的信息不光与锁有关，也与GC等其他也有关），如果时数组对象，虚拟机用3个字节存储对象头，如果非数组对象，虚拟机用2个字节存储对象头。如下图：

java对象头的Mark Word默认存的是hashCode,分代年龄和锁标记位，32位Mark Word默认存储结构如下图：

在进行锁操作的时候，Mark Word里存储会随着锁标志位变化而变化，共下面四种可能：

在64位的虚拟机中，存储结构如下：

偏向锁：

在锁不存在多线程竞争，并且由一个线程多次获取，为了让线程获取锁的代价(加锁和解锁)更低引入了偏向锁，当一个线程访问同步代码块的时候，会在对象头中记录线程id，以后在进入或者退出同步代码块的时候不要要进行CAS（CAS,compare and swap的缩写，中文翻译成比较并交换）操作来获取锁，只需要比较对象头的线程id是否是当前线程的线程id。如果测试成功，则获取锁，如果失败，需要测试一下偏向锁标识是否为1，如果为1，则在对象头中记录当前线程id，如果不为1，则开始CAS竞争锁。

偏向锁撤销：

偏向锁是当存在锁竞争才会释放锁的机制，当其他线程尝试竞争偏向锁的时候，持有偏向锁的线程才会释放锁。（并不是马上释放锁，而是等到没有正在执行的字节码的时候才会释放）。如果线程不处于活动状态，则将对象头置为无锁状态，如果线程处于活动状态，则遍历偏向对象的锁记录，恢复到无锁状态。

偏向锁的获得与撤销流程图：

解释：线程1在锁获取同步块的偏向锁，在对象头中记录线程1的id，开始执行同步体。线程2尝试访问同步体，cas替换的过程中发现有线程在使用同步体，开始撤销偏向锁（保证公平），线程1在安全点暂停线程，对象头清空线程信息，偏向锁标识位置为0.

线程1恢复，2个线程开始公平竞争。

取消使用偏向锁：

偏向锁在java6，java7中默认使用，但是他会在程序启动几分钟才会激活，可以通过修改JVM参数来关闭延迟。

-XX:BiasedLockingStartupDelay=0;关闭延迟

-XX:UseBiasedLocking=false;关闭偏向锁，默认进入轻量级锁状态。

轻量级锁：

轻量级锁加锁：

线程在执行同步块之前，JVM会现在当前线程的栈帧中创建用于储存锁记录的空间，并将对象头中的Mark Word复制到锁记录中。然后线程尝试通过CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功，当前线程获取锁，如果失败，表示其他线程竞争锁，当前线程便通过自旋的方式来获取锁。

轻量级锁解锁：

线程解锁时，会使用原子的CAS操作将Mark Word替换回对象头，如果成功则证明没有竞争，如果失败，表示锁存在竞争，膨胀为重量级锁。图解下：

解释：线程1开始访问同步块，并且分配空间并复制Mark Word到栈，开始通过CAS操作修改MarkWord。并将对象同种的线程id指向自己，开始执行同步体。线程2开始尝试访问同步代码块，分配空间并复制Mark Word到栈，在修改CAS的时候发现线程1正在持有锁。自旋等待一会，时间过了以后发现线程还没有执行完，线程2开始修改申请将锁升级为重量级锁。线程1执行完，替换MarkWord到对象头，发现其他线程在竞争锁，修改失败，释放锁并唤醒其他等待的线程，线程2被唤醒，开始和线程1竞争锁。

为什么要自旋？

这其实是JVM的优化，因为线程一般执行的很快，在一定的自旋次数内获取到锁，则锁不会膨胀。

为什么要拷贝mark word？
其实很简单，原因是为了不想在lock与unlock这种底层操作上再加同步。

在拷贝完object mark word之后，JVM做了一步交换指针的操作。
将object mark word里的轻量级锁指针指向lock record所在的stack指针，作用是让其他线程知道，该object monitor已被占用。
lock record里的owner指针指向object mark word的作用是为了在接下里的运行过程中，识别哪个对象被锁住了。

锁的优缺点对比：

偏向锁：

优点：加锁和解锁不需要额外的消耗，和执行非同步方法只有纳秒级别的差距。

缺点：如果线程之间存在其他锁竞争，则会带来额外的锁撤销的消耗。

轻量级锁：

优点：竞争的线程不会阻塞，提高了程序 的效应速度。

缺点：如果始终得不到锁，自旋会消耗Cpu。

重量级锁：

优点：线程竞争不使用自旋，不会消耗CPU。

缺点：线程阻塞，响应时间很慢。