java锁机制

1. 乐观锁 VS 悲观锁

​ 悲观锁认为自己在使用数据的时候一定有别的线程来修改数据，因此在获取数据的时候会先加锁，确保数据不会被别的线程修改。Java中，synchronized关键字和Lock的实现类都是悲观锁。

​ 乐观锁认为自己在使用数据时不会有别的线程修改数据，所以不会添加锁，只是在更新数据的时候去判断之前有没有别的线程更新了这个数据。如果这个数据没有被更新，当前线程将自己修改的数据成功写入。如果数据已经被其他线程更新，则根据不同的实现方式执行不同的操作（例如报错或者自动重试）

​ 乐观锁在Java中是通过使用无锁编程来实现，最常采用的是CAS算法，Java原子类中的递增操作就通过CAS自旋实现的。

根据从上面的概念描述我们可以发现：

悲观锁适合写操作多的场景，先加锁可以保证写操作时数据正确。
乐观锁适合读操作多的场景，不加锁的特点能够使其读操作的性能大幅提升。
​ CAS全称 Compare And Swap（比较与交换），是一种无锁算法。在不使用锁（没有线程被阻塞）的情况下实现多线程之间的变量同步。java.util.concurrent包中的原子类就是通过CAS来实现了乐观锁。

CAS算法实现思想

CAS模型
CAS就是比较并交换，用于解决多线程并发情况下使用锁造成性能耗损的一种机制，采用无锁的方式实
现线程同步的效果。CAS操作包括了3个操作数：内存位置、预期原始数据和新计算的数据。如果内存位
置的值与预期值相匹配，则自动将该位置上的数据更新为新值，否则处理器不作任何处理。同时都会在
CAS执行之前返回该位置上的值。比较和交换是用于实现多线程同步的原子指令，是作为单个原子操作
完成的，原子性保证新值基于最新信息进行计算。
特性：
通过调用JNI的代码实现
非阻塞算法
非独占锁
存在问题：
ABA问题
循环时间开销大
只能保证一个共享变量的原子操作
原子类
java1.5中引入了AutomicInteger、AutomicLong、AutomicReference等原子类，提供了
compareAndSet、incrementAndSet和getAndIncrement等方法都使用了CAS操作，都是由硬件保证
CAS操作的原子性
原子的意思是操作不可再分，因此是线程安全的
使用原子类实现的计数器，当然也可以通过volatile和synchronized实现，但是过于繁琐

2.自旋锁 VS 适应性自旋锁

阻塞或唤醒一个Java线程需要操作系统切换CPU状态来完成，这种状态转换需要耗费处理器时间。如果同步代码块中的内容过于简单，状态转换消耗的时间有可能比用户代码执行的时间还要长。

在许多场景中，同步资源的锁定时间很短，为了这一小段时间去切换线程，线程挂起和恢复现场的花费可能会让系统得不偿失。如果物理机器有多个处理器，能够让两个或以上的线程同时并行执行，我们就可以让后面那个请求锁的线程不放弃CPU的执行时间，看看持有锁的线程是否很快就会释放锁。

而为了让当前线程“稍等一下”，我们需让当前线程进行自旋，如果在自旋完成后前面锁定同步资源的线程已经释放了锁，那么当前线程就可以不必阻塞而是直接获取同步资源，从而避免切换线程的开销。这就是自旋锁。

java中的各种锁详细介绍 - JYRoy - 博客园 (cnblogs.com)

自旋等待的时间必须要有一定的限度，如果自旋超过了限定次数（默认是10次，可以使用-XX:PreBlockSpin来更改）没有成功获得锁，就应当挂起线程。

自旋锁的实现原理同样也是CAS，AtomicInteger中调用unsafe进行自增操作的源码中的do-while循环就是一个自旋操作，如果修改数值失败则通过循环来执行自旋，直至修改成功。

非自旋锁直接堵塞，线程休眠直到锁被释放，恢复现场，再次尝试获取锁

3.无锁 VS 偏向锁 VS 轻量级锁 VS 重量级锁

是针对synchronized锁的三种状态。这三种锁状态是通过对象在对象头中的特定字段来表示的，实际上
就是使用Object Minitor控制多线程的工作过程并进行协调处理
偏向锁
轻量锁
重量级锁
只有一个线程进入临界区使用偏向锁
多个线程交替进入临界区使用轻量级锁
多个线程同时进入临界区使用重量级锁

4. 公平锁 VS 非公平锁

公平锁是指多个线程按照申请锁的顺序来获取锁，线程直接进入队列中排队，队列中的第一个线程才能获得锁。公平锁的优点是等待锁的线程不会饿死。缺点是整体吞吐效率相对非公平锁要低，等待队列中除第一个线程以外的所有线程都会阻塞，CPU唤醒阻塞线程的开销比非公平锁大。
ReentrantLock的底层实现为AbstractQueuedSynchronizer，其中的同步器有NonfairSync和FairSync
两种`

`public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}
public ReentrantLock() {
sync = new NonfairSync(); //默认使用非公平的同步器，非公平锁优势在于比公平锁
具有更大的吞吐量，但是会造成优先级反转和饥饿现象
}

synchronized关键字使用的非公平锁

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

5. 可重入锁 VS 非可重入锁

递归锁，ReentrantLock和synchronized都是可重入锁，可在一定程度上避免出现死锁ReentrantReadWriteLock其中包含readLock读锁和writeLock写锁，读和读可以并发，但是写不能并发；在同一个线程中读不能再申请写，但是写可以申请读

6. 独享锁 VS 共享锁

独享锁和共享锁同样是一种概念。我们先介绍一下具体的概念，然后通过ReentrantLock和ReentrantReadWriteLock的源码来介绍独享锁和共享锁。

读锁属于共享锁，写锁属于独享读
读锁可以保证并发读的高效性，多线程中只有读读是允许的，但是读写、写读、写写都是不允许的
在一个线程中读读、写写都不互斥【可重入性】，读不能再申请写，但是写可以申请读
synchronized和ReentrantLock属于独享锁

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

从java的视角看synchronized synchronized使用的锁对象(monitor)存储在java对象头中。

死锁的4大必要条件

死锁的产生需要4个必要条件，也就是说满足4个条件不一定死锁，但是死锁一定满足4个条件

1、互斥条件。竞争的资源具有排他性

2、不可剥夺性条件。只能由获取资源的进程或线程主动释放，不能剥夺

3、请求和保持条件。可以请求新资源，同时永远不释放已经获取到的资源

4、循环等待条件。出现了循环等待链

7.死锁

死锁的概念

死锁是指多个进程在运行过程中因争夺资源而造成的一种僵局，若无外力帮助，则它们都无法继续向前推进，直到程序崩溃为止。

死锁问题一般会在多进程或多线程并发时遇到。

死锁的原因

产生死锁的原因可归结为如下两点：

(1) 竞争资源。当系统中供多个进程共享的资源如打印机、公用队列等，其数目不足以满足诸进程的需要时，会引起诸进程对资源的竞争而产生死锁。

(2) 进程间推进顺序非法。进程在运行过程中，请求和释放资源的顺序不当，也同样会导致产生进程死锁。

如何避免死锁

指导思想：避免死锁就是破坏4个必要条件。

• 强制定义加锁顺序。线程按照一定的顺序加锁，避免出现嵌套封锁，如果一定出现嵌套问题，则定义一个加锁顺序
• 加锁时限。线程尝试获取锁时加上一个时间限制，超过时间限制则放弃对该锁的申请，同时释放资源占用的资源

让程序每次至多只能获取一个锁，这种方式在多线程环境下不现实。一般在设计时要求必须考虑清楚锁的顺序，尽量减少嵌套加锁。

既然死锁是两个线程无限制等待对方持有的锁，那么理论上来说只要给等待时间添加上限即可，synchronized不具备这个功能，所以在开发中可以使用Lock接口中的tryLock方法尝试获取锁，这个方法可以指定超时上限，在等待一段时间后会自动返回失败信息。

死锁检测

当出现死循环、死锁、阻塞等问题时，获取线程dump文件是最好的解决问题的途径。所谓线程的dump文件就是线程堆栈

获取dump文件的步骤：

1、可以使用命令jps获取线程的pid，在linux中还可以使用ps -ef | grep java

2、可以使用jstack pid命令打印线程堆栈

Thread类中提供了一个getStackTrace()方法获取线程的堆栈

可以使用的其它命令

jconsole是一个图形化界面，可以检测出线程中造成死锁的线程，点击选中即可查看详情

jstack是一个命令行工具，主要用于dump文件的分析，在dump文件中就会由deadlock死锁提示