java面试--java‘锁‘

锁分类： 

 1、悲观锁与乐观锁

 在数据的并发操作下，悲观所认为，自己在使用数据的时候一定会有别的线程来进行修改数据，当前线程将自己的修改成功写入；若数据被更新，因此会先加锁。确保数据不会被别的线程修改。java中，synchronized与Lock的实现类都是悲观锁，适合写操作多的场景；乐观锁认为自己在使用数据的时候，不会有别的线程修改数据，所以不会加锁。只是在更新数据之前判断之前有没有别的线程更新了这个数据，若这个数据没有被更新，当前线程将自己修改的数据成功写入；若数据为其他的线程修改，则根据不同的实现方式来执行不同的操作(报错或者重试)。乐观锁在Java中是通过使用无锁编程来实现，最常采用的是CAS算法，适合读操作多的场景。

compareAndSwap(比较与交换)

是一种无锁算法，在不加锁的情况下实现多线程之间的变量同步。在CAS中设计三个参数(需要读写的内存值V，进行比较的值A，要写入更新的值B)。当仅当V==A的时候，CAS通过原子的方式使用新值B来更新V的值(比较+更新是一个原子操作)。否则不会执行任何操作，一般情况下，更新是一个不断重复的操作(通过while或者for)

接下来以AtomicInteger为例，进行讲解

在Atomic中，有三个属性：

1. Unsafe:获取并操作内存的数据
2. valueOffset:存储value在Atomicinteger中的偏移量
3. value:存储AtomivInteger的int的值，通过volatile来保证在各个线程之间可见

在Atomic中，实现compareAndSwap调用的是Unsafe类的方法(eg：AtomicInteger中的incrementAndGet()).Unsafe的源码如下：

所以，getAndInt循环获取给定对象o中的偏移量处的值，再判断内存之是否等于v,如果相等，则将内存值设置为v+delta,否则继续循环重试，直至成功。整个"比较加更新”是封装在unsafe的compareAndSwapInt()中，是借助一个CPU指令(cmpxchg,)完成的，属于原子操作，保证多个线程能够看到同一个变量的修改值。

JDK通过CPU的cmpxchg指令，去比较寄存器中的 A 和 内存中的值 V。如果相等，就把要写入的新值 B 存入内存中。如果不相等，就将内存值 V 赋值给寄存器中的值 A。然后通过Java代码中的while循环再次调用cmpxchg指令进行重试，直到设置成功为止。

CAS虽然高效，但是存在三个问题：

1. ABA问题。CAS需要在操作值的时候检查内存值是否发生变化，没有发生变化才会更新内存值。但是如果内存值原来是A，后来变成了B，然后又变成了A，那么CAS进行检查时会发现值没有发生变化，但是实际上是有变化的。ABA问题的解决思路就是在变量前面添加版本号，每次变量更新的时候都把版本号加一，这样变化过程就从“A－B－A”变成了“1A－2B－3A”。JDK从1.5开始提供了AtomicStampedReference类来解决ABA问题，具体操作封装在compareAndSet()中。compareAndSet()首先检查当前引用和当前标志与预期引用和预期标志是否相等，如果都相等，则以原子方式将引用值和标志的值设置为给定的更新值
2. 循环时间长开销大。CAS操作如果长时间不成功，会导致其一直自旋，给CPU带来非常大的开销
3. 只能保证一个共享变量的原子操作。对一个共享变量执行操作时，CAS能够保证原子操作，但是对多个共享变量操作时，CAS是无法保证操作的原子性的。Java从1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性，可以把多个变量放在一个对象里来进行CAS操作。

 2、自旋锁与适应性自旋锁

阻塞或唤醒一个java线程需要操作系统切换为内核态来完成，由用户态转为内核态的过程十分耗费处理器时间，如果同步代码块中的内容过于简单，状态切换花费的时间可能比用户代码执行的时间还要长。所以有时为了一小段时间去切换cpu的状态得不偿失。

所以可以让当前线程进行自旋，如果在自旋完成后前面锁定同步资源的线程已经释放所，那么当前线程就可以不必阻塞而直接获取资源从而避免切换从县城的开销，此为自旋锁。

 

但是自旋锁是有缺点的，其虽然避免了线程的切换，但是会一直占用处理器，若自旋等待的时间过长，会浪费处理器的资源，所以，自旋等待的时间必须要有一定的限制，如果自旋超过了指定的次数(默认为10次，可以使用-XX:PreBlockSpin来更改)而没有成功获得所，就应当挂起线程。自旋锁的实现原理同样也是CAS，AtomicIntegger中Unsafe的getAndAddInt()就是一个自旋操作。

适应性自旋锁意味着自选的次数不再固定，而是由前一次在同一个锁上的自选时间以及所得拥有者状态决定的。如果在同一个锁对象上，自旋等待刚刚成功获得锁， 并且只有所得线程正在运行，那么虚拟机就会认为这次的自旋也很有可能成功，今儿它将允许自旋等待更长的时间；若对于某个锁自选很少成功过，在以后尝试获取所得时候，可能忽略掉自旋过程，直接将线程挂起，避免浪费处理器的资源。

3、无锁，偏向锁，轻量级锁，重量级锁

这四种锁是指锁的状态，专门针对于synchronized而言的。

java对象头：

synchronized是悲观锁，在操作同步资源之前需要先给同步资源加锁，这把锁是存在于java对象头里面的，以hotspot为例，java主要包含两部分：mark Word(标记字段) 和class pointer(类型指针)

mark word:默认寸处对象的hashCode,分代年龄与锁的标志位信息。这些信息与对象的定义无关。它会根据对象的状态来复用自己的存储空间，也就是说在运行期间，mark word里面的数据会随着标志位的变化而变化(长度可变)。下图为不同的锁markWord存储的数据

class pointer:指向它类元数据的指针，虚拟机通过这个指针来确定对象是哪个类的实例。

Monitor:可以理解为一个同步工具或一种同步机制，通常被描述为一个类对象，每一个java对象就有一个锁，成为内部锁或者Monitor锁。synchronized是通过Monitor来实现线程同步的，而monitor是依赖于底层的操作系统的Mutex Lock(互斥锁，为重量级锁)来实现线程的同步[这就是jdk1.6之前，synchronized效率低下的原因]。

所以，为了减少获得锁和锁释放带来的性能消耗，引入了偏向锁，轻量级锁。所以目前锁四种状态：无锁-->偏向锁-->轻量级锁-->重量级锁

无锁

无锁未对资源进行锁定，所有的线程都可以访问并且修改同一个资源，但同时只能有一个线程修改成功。其特点为修改操作是在循环内进行的，县城会不断地尝试修改共享资源，如果没有冲突，就修改成功并且退出，否则就继续循环尝试。如果有多个线程修改同一个值，必定会有一个线程能修改成功，而其他修改失败的线程会不断重试直到修改成功。CAS的原理及应用就是无锁的实现。

偏向锁

偏向锁是指一段代码一直被一个线程所访问，那么线程会自动获取锁(无需每次判断)，降低获取锁的代价。当一个线程访问同步代码块并获取锁的时候，会在mark word里存储所偏向的线程id,当线程进入或者退出同步快的时候不再通过CAS来进行加锁或者解锁、而是监测Mark Word里面是否存储着指向当前线程的偏向锁。引入偏向锁是为了在无多线程竞争的情况下尽量减少不必要的轻量级锁执行路径，因为轻量级锁的获取及释放依赖多次CAS原子指令，而偏向锁只需要在置换ThreadID的时候依赖一次CAS原子指令即可。

偏向锁只有遇到其他线程尝试竞争偏向锁的时候，持有偏向锁的线程才会释放锁，线程不会主动释放偏向锁，偏向锁的撤销需要等到全局安全点，它会首先暂停拥有偏向锁的线程，判断锁对象是否处于被锁定的状态。撤销偏向锁后会恢复到无锁或者轻量级锁的状态

偏向锁在JDK 6及以后的JVM里是默认启用的。可以通过JVM参数关闭偏向锁：-XX:-UseBiasedLocking=false，关闭之后程序默认会进入轻量级锁状态。

 轻量级锁

是指当锁是偏向锁的时候，被另外的线程访问，偏向锁就会升级为轻量级锁。其他的线程会通过自旋的形式来获取锁，不会阻塞，来提高性能

建立过程：在代码进入同步块的时候，如果同步对象锁状态为无锁状态（锁标志位为“01”状态，是否为偏向锁为“0”），虚拟机首先将在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，用于存储锁对象目前的Mark Word的拷贝，然后拷贝对象头中的Mark Word复制到锁记录中。拷贝成功后，虚拟机将使用CAS操作尝试将对象的Mark Word更新为指向Lock Record的指针，并将Lock Record里的owner指针指向对象的Mark Word。如果这个更新动作成功了，那么这个线程就拥有了该对象的锁，并且对象Mark Word的锁标志位设置为“00”，表示此对象处于轻量级锁定状态。如果某一次轻量级锁的更新操作失败了，虚拟机首先会检查对象的Mark Word是否指向当前线程的栈帧，如果是，就说明当前线程已经拥有了这个对象的锁，那就可以直接进入同步块继续执行，否则说明多个线程竞争锁。

 

若当前只有一个等待线程，则该线程通过自旋进行等待。但是当自旋超过一定的次数，或者一个线程在持有锁，一个在自旋，又有第三个来访时，轻量级锁升级为重量级锁。 

重量级锁

升级为重量级锁时，锁标志的状态值变为“10”，此时Mark Word中存储的是指向重量级锁的指针，此时等待锁的线程都会进入阻塞状态

 综上，偏向锁通过对比Mark Word解决加锁问题，避免执行CAS操作。而轻量级锁是通过用CAS操作和自旋来解决加锁问题，避免线程阻塞和唤醒而影响性能。重量级锁是将除了拥有锁的线程以外的线程都阻塞。

synchronized的锁升级：

一个对象A刚开始实例化的时候，没有任何线程来访问它的时候。它是可偏向的，意味着，它现在认为只可能有一个线程来访问它，所以当第一个线程T1来访问它的时候，它会偏向T1，此时，对象A持有偏向锁。

此时A是偏向第一个线程T1，T1在修改对象头成为偏向锁的时候使用CAS操作，并将对象头中的ThreadID改成自己的ID，之后再次访问这个对象时，只需要对比ID，不需要再使用CAS在进行操作。

一旦有第二个线程T2访问这个对象，因为偏向锁不会主动释放，所以T2可以看到对象时偏向状态，这时表明在这个对象上已经存在竞争了。检查原来持有该对象锁的线程T1是否依然存活，如果挂了，则可以将对象变为无锁状态，然后重新偏向新的线程，如果原来的线程依然存活，则马上执行那个线程的操作栈，检查该对象的使用情况，如果仍然需要持有偏向锁，则偏向锁升级为轻量级锁(轻量级锁无法降级直接为偏向锁)，（偏向锁就是这个时候升级为轻量级锁的）。如果不存在使用了，则可以将对象回复成无锁状态，然后重新偏向。

 轻量级锁认为竞争存在，但是竞争的程度很轻，一般两个线程对于同一个锁的操作都会错开，或者说稍微等待一下(自旋)，另一个线程就会释放锁。 但是当自旋超过一定的次数，或者一个线程在持有锁，一个在自旋，又有第三个来访时，轻量级锁膨胀为重量级锁，重量级锁使除了拥有锁的线程以外的线程都阻塞，防止CPU空转。

 

4、公平锁与非公平锁

公平锁是指多个线程按照申请所得顺序来获取锁，线程进入队列中排队，队列中的第一个线程才能获取锁。其优点为等待锁的线程不会饿死；缺点为整体的吞吐效率较低，等待队列中出第一个线程外，其余的线程都会阻塞，CPU唤醒阻塞线程的开销比非公平锁大

非公平锁是多个线程加锁时直接获取锁，获取不到锁才回到等待队列的额队尾等待。如果此时锁刚好可用，那么这个线程可以无需阻塞直接获取到锁，所以非公平锁有可能出现后申请锁的线程先获取锁的场景。非公平锁的优点是可以减少唤起线程的开销，整体的吞吐效率高，因为线程有几率不阻塞直接获得锁，CPU不必唤醒所有线程。缺点是处于等待队列中的线程可能会饿死，或者等很久才会获得锁

通过ReentrantLock的源码来讲解公平锁和非公平锁。

 ReentrantLock里面有一个内部类Sync，Sync继承AQS（AbstractQueuedSynchronizer），添加锁和释放锁的大部分操作实际上都是在Sync中实现的。它有公平锁FairSync和非公平锁NonfairSync两个子类。ReentrantLock默认使用非公平锁，也可以通过构造器来显示的指定使用公平锁。

我们发现在ReentrantLock虽然有公平锁和非公平锁两种，但是它们添加的都是独享锁。根据源码所示，当某一个线程调用lock方法获取锁时，如果同步资源没有被其他线程锁住，那么当前线程在使用CAS更新state成功后就会成功抢占该资源。而如果公共资源被占用且不是被当前线程占用，那么就会加锁失败。所以可以确定ReentrantLock无论读操作还是写操作，添加的锁都是都是独享锁(解释下文的独占锁与共享锁)

我们可以看还到公平锁的获取与非公平锁的获取在于hasQueuedPredecessors()方法。

主要是判断当前线程是否位于同步队列中的第一个。如果是则返回true，否则返回false。

所以说，公平锁就是通过同步队列来实现多个线程按照申请锁的顺序来获取锁，从而实现公平的特性。非公平锁加锁时不考虑排队等待问题，直接尝试获取锁，所以存在后申请却先获得锁的情况。

5、可重入锁与非可重入锁

可重入锁又名递归锁，是指在同一个线程在外层方法获取锁的时候，再进入该线程的内层方法会自动获取锁（前提锁对象得是同一个对象或者class），不会因为之前已经获取过还没释放而阻塞。Java中ReentrantLock和synchronized都是可重入锁，可重入锁的一个优点是可一定程度避免死锁

可重入锁可以在嵌套调用时可以自动获得锁的原因？

我们以ReentrantLockNonReentrantLock为例：与通过重入锁ReentrantLock以及非可重入锁NonReentrantLock的源码来对比分析一下为什么非可重入锁在重复调用同步资源时会出现死锁。首先ReentrantLock和NonReentrantLock都继承父类AQS，其父类AQS中维护了一个同步状态status来计数重入次数，status初始值为0。当线程尝试获取锁时，可重入锁先尝试获取并更新status值，如果status == 0表示没有其他线程在执行同步代码，则把status置为1，当前线程开始执行。如果status != 0，则判断当前线程是否是获取到这个锁的线程，如果是的话执行status+1，且当前线程可以再次获取锁。而非可重入锁是直接去获取并尝试更新当前status的值，如果status != 0的话会导致其获取锁失败，当前线程阻塞。释放锁时，可重入锁同样先获取当前status的值，在当前线程是持有锁的线程的前提下。如果status-1 == 0，则表示当前线程所有重复获取锁的操作都已经执行完毕，然后该线程才会真正释放锁。而非可重入锁则是在确定当前线程是持有锁的线程之后，直接将status置为0，将锁释放。

 

6、独占锁与共享锁

独享锁与共享锁也是通过AQS来实现的，通过实现不同的方法，来实现独享或者共享 

独享锁也叫排他锁，互斥锁，是指该锁一次只能被一个线程所持有。如果线程T对数据A加上排它锁后，则其他线程不能再对A加任何类型的锁。获得排它锁的线程即能读数据又能修改数据。JDK中的synchronized和JUC中Lock的实现类就是互斥锁。

共享锁是指该锁可被多个线程所持有。如果线程T对数据A加上共享锁后，则其他线程只能对A再加共享锁，不能加排它锁。获得共享锁的线程只能读数据，不能修改数据。

下图为ReentrantReadWriteLock源码：

ReadLock和WriteLock，由词知意，一个读锁一个写锁，合称“读写锁”。再进一步观察可以发现ReadLock和WriteLock是靠内部类Sync实现的锁。Sync是AQS的一个子类，这种结构在CountDownLatch、ReentrantLock、Semaphore里面也都存在。ReadLock和WriteLock，由词知意，一个读锁一个写锁，合称“读写锁”。再进一步观察可以发现ReadLock和WriteLock是靠内部类Sync实现的锁。Sync是AQS的一个子类，这种结构在CountDownLatch、ReentrantLock、Semaphore里面也都存在。

读锁和写锁的加锁区别：

AQS中使用state来表示有多少线程获取到锁，在独享锁中这个值通常是0或者1（如果是重入锁的话state值就是重入的次数），在共享锁中state就是持有锁的数量。但是在ReentrantReadWriteLock中有读、写两把锁，所以需要在一个整型变量state上分别描述读锁和写锁的数量（或者也可以叫状态）。于是将state变量“按位切割”切分成了两个部分，高16位表示读锁状态（读锁个数），低16位表示写锁状态（写锁个数）。

写锁的加锁源码：

• 这段代码首先取到当前锁的个数c，然后再通过c来获取写锁的个数w。因为写锁是低16位，所以取低16位的最大值与当前的c做与运算（ int w = exclusiveCount），高16位和0与运算后是0，剩下的就是低位运算的值，同时也是持有写锁的线程数目。
• 在取到写锁线程的数目后，首先判断是否已经有线程持有了锁。如果已经有线程持有了锁（c!=0），则查看当前写锁线程的数目，如果写线程数为0（即此时存在读锁）或者持有锁的线程不是当前线程就返回失败（涉及到公平锁和非公平锁的实现）。
• 如果写入锁的数量大于最大数（65535，2的16次方-1）就抛出一个Error。
• 如果当且写线程数为0（那么读线程也应该为0，因为上面已经处理c!=0的情况），并且当前线程需要阻塞那么就返回失败；如果通过CAS增加写线程数失败也返回失败。
• 如果c=0，w=0或者c>0，w>0（重入），则设置当前线程或锁的拥有者，返回成功！

如果存在读锁，泽泻所不能被获取？

必须确保写锁的操作对读锁可见，如果允许读锁在已被获取的情况下对写锁的获取，那么正在运行的其他读线程就无法感知到当前写线程的操作(而且其他线程只鞥你对加入共享所得对象添加共享锁，不能添加排它锁)。因此，只有等待其他读线程都释放了读锁，写锁才能被当前线程获取，而写锁一旦被获取，则其他读写线程的后续访问均被阻塞。写锁的释放与ReentrantLock的释放过程基本类似，每次释放均减少写状态，当写状态为0时表示写锁已被释放，然后等待的读写线程才能够继续访问读写锁，同时前次写线程的修改对后续的读写线程可见。

读锁的源码：

 可以看到在tryAcquireShared(int unused)方法中，如果其他线程已经获取了写锁，则当前线程获取读锁失败，进入等待状态。如果当前线程获取了写锁或者写锁未被获取，则当前线程（线程安全，依靠CAS保证）增加读状态，成功获取读锁。读锁的每次释放（线程安全的，可能有多个读线程同时释放读锁）均减少读状态，减少的值是“1<<16”[与SHARE_UNIT有关]。所以读写锁才能实现读读的过程共享，而读写、写读、写写的过程互斥。

于2020/09/27完成

 

参考链接：

https://www.imooc.com/article/305893