Java并发编程面试题——锁

1.乐观锁和悲观锁

乐观锁和悲观锁是在数据库中引入的名词，但是在并发包锁里也引入了类似的思想

1.1 悲观锁

悲观锁是指对数据被外界修改持保守态度，认为数据很容易被其他线程修改，所以在数据被处理前进行加锁，并在整个数据处理过程中，使数据处于锁定状态。
悲观锁的实现往往依靠数据库提供的锁机制，即在数据库中，在对数据记录操作前给记录加排它锁。再比如Java里面的同步原语synchronized关键字的实现也是悲观锁

1.2 乐观锁

乐观锁是相对于悲观锁来说的，它认为数据在一般情况下不会造成冲突，所以在访问记录前不会加排它锁，而是在进行数据提交更新时，才会正式对数据冲突与否进行检测

乐观锁的实现方式有：

• 使用版本标识来确定读到的数据与提交时的数据是否一致，提交后修改版本表示，不一致时可以采用丢弃和再次尝试的策略
• Java中的CAS，当多个线程尝试使用CAS同时更新同一个变量时，只有其中一个线程能更新变量的值，而其他线程都失败，失败的宪曾并不会被挂起，而是被告知这次竞争中失败，并可以再次尝试

2.CAS

CAS是一种基于锁的操作，而且是乐观锁。CAS即Compare and Swap（比较交换），其是JDK提供的非阻塞原子性操作，它通过硬件保证了比较-更新操作的原子性，JDK里面的Unsafe类提供了一系列的compareAndSwap方法
CAS的主要作用就是为了解决高并发的情况下，频繁加锁释放锁带来的性能问题
一个CAS操作包括三个操作数：内存位置（V）、预期原值（A）、新值（B）。如果内存位置的值与预期原值相匹配，那么处理器会自动将该位置值更新为新值，否则，处理器不做任何操作
什么叫内存位置的值与预期原值相匹配？
内存位置=V，预期原值=A，经过一系列操作之后计算获得新值B，那么在我把新值B写回V之前，先将预期原值和V地址处的当前值做比较，若一样，则代表值尚未更改，则CAS操作成功

在最后一步B值计算出来要写回内存位置的时候，如何才能获取到内存位置V的最新值呢？答案是使用volatile，volatile带来的可见性，让最新值是立即可得知的

2.2 CAS带来的问题

2.2.1 ABA问题

关于CAS操作有个经典的ABA问题：假设线程一从内存位置V中取出A，这时候另外一个线程二也从内存中取出A，并且线程二进行了一些操作变成了B，然后线程二又把V位置的数据变成了A，造成潜藏的问题。
ABA问题的产生是因为变量的状态值产生了环形转换，即A->B->A,如果变量的值只能朝着一个方向进行转换，比如A->B,B->C，不构成环形，就不会存在问题

2.2.2 循环时间长开销大

对于资源竞争严重（线程冲突严重）的情况，CAS自旋的概率会比较大（自旋就是指不加锁，在资源边界做忙循环，直至获得资源）

2.2.3 只能保证一个共享变量的原子操作

当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁

2.3什么是死锁

当线程A持有独占锁a，并尝试去获取独占锁b的同时，线程B持有独占锁b，并尝试获取独占锁a的情况下，就会发生AB两个线程由于互相持有对方所需要的锁，而发生的阻塞现象，我们称为死锁

2.4产生死锁的必要条件是什么

1. 互斥条件：所谓互斥条件就是在某一时间内独占资源
2. 请求与保持：一个进程因为请求资源阻塞时，对已获得的资源保持不放
3. 不剥夺条件：进程获得资源，在未使用完之前，不能强行剥夺
4. 循环与等待：若干进程之间形成一种头尾相接的循环等待资源关系

2.4.1如何避免死锁

要想避免死锁，只需要破坏至少一个构成死锁的必要条件即可，在四个必要条件中，只有请求与保持，循环与等待是可以被破坏的，所以可以采用以下方法：

• 设置超时时间，超时时可以退出防止死锁
• 尽量使用jva.uil.concurrent并发类来代替自己手写锁
• 尽量降低锁的使用粒度，尽量不要几个功能用同一把锁
• 尽量减少同步的代码块

2.4.2死锁与活锁的区别

死锁：是指两个或者两个以上的进程在执行过程中，因为争夺资源而造成的一种互相等待的状态，若无外力作用，他们都将无法推进下去
活锁：任务失败或者执行者没有被阻塞，由于某些条件没有满足，导致一直重复尝试，失败，尝试，失败
死锁与活锁的区别在于：处于活锁的实体是在不断的改变状态，这就是所谓的活，而死锁的实体表现为等待，活锁可能自行解开，死锁则不能

3.公平锁和非公平锁

公平锁
根据线程获取锁的抢占机制，锁可以分为公平锁和非公平锁，公平锁表示线程获取锁的顺序是按照线程请求锁的时间早晚来决定的，也就是最早请求锁的线程将最早获取到锁
非公平锁
非公平锁则在运行时闯入，也就是不一定先到先得

4.独占锁和共享锁

根据锁只能被单个线程持有还是多个线程持有，锁可以分为独占锁和共享锁
独占锁
独占锁保证任何时候都只有一个线程能得到锁，ReentrantLock就是以独占锁实现的，独占锁是一种悲观锁
共享锁
共享锁则可以同时由多个线程持有，它允许一个资源被多个线程占用，共享锁是一种乐观锁

5.可重用锁

当一个线程要获取一个被其他线程持有的独占锁时，该线程会被阻塞，那么当一个线程再次获取它自己已经获得的锁时是否会被阻塞呢？如果不被阻塞，那么我们就说该锁是可重入的，也就是只要改线程获取了该线程，那么可以无数次地进入被该锁锁住的代码

6.抽象同步队列AQS

6.1 AQS介绍

AQS全名是AbstractQueuedSynchronizer，抽象同步队列，它是实现同步器的基础组件，并发包中锁的底层就是使用AQS实现的。
AQS是一个基于先进先出（FIFO)等待队列的实现阻塞锁和同步器的框架。AQS通过一个volatile int state变量来保存锁的状态。
队列元素的类型是Node，Node节点内部的有几个关键字段

• SHARED：用来标记该线程是获取共享资源时被阻塞挂起后放入AQS队列的
• EXCLUSIVE：用来标记线程是获取独占资源时被挂起后放入AQS队列的
• waitStatus：记录当前线程等待状态，可以为CANCELLED（线程被取消）、CONDITION（线程在条件队列里面等待的）、PROPAGATE（释放共享资源时需要通知其他节点的）
• pre：记录当前节点的前驱节点
• next：记录当前节点的后继节点
• thread：用来存放进入AQS队列里面的进程
  

对于AQS来说，具有三个核心变量：

• head：队头节点
• tail：队尾节点
• state：代表共享资源
  

对于AQS来说，线程同步的关键是对状态值state进行操作，根据state是否属于一个线程，操作state的方式分为独占式和共享式。在独占式下获取和释放资源使用的方法为：

void acquire(int arg);
void acquireInterruptibly(int arg);
boolean releaseShared(int arg);

在共享方式下获取和释放资源的方式为：

void acquireShared(int arg);
void acquireSharedInterruptibly(int arg);
boolean releaseShared(int arg);