思维导图
前言
在很多时候，我们都可以在各种框架应用中看到ZooKeeper的身影，比如Kafka中间件，Dubbo框架，Hadoop等等。为什么到处都看到ZooKeeper？
线程是否要锁住同步资源
- 锁住 悲观锁
- 不锁住 乐观锁
锁住同步资源失败 线程是否要阻塞
- 阻塞
- 不阻塞自旋锁，适应性自旋锁
多个线程竞争同步资源的流程细节有没有区别
- 不锁住资源，多个线程只有一个能修改资源成功，其它线程会重试无锁
- 同一个线程执行同步资源时自动获取资源偏向锁
- 多个线程竞争同步资源时，没有获取资源的线程自旋等待锁释放 轻量级锁
- 多个线程竞争同步资源时，没有获取资源的线程阻塞等待唤醒 重量级锁
4.多个线程竞争锁时是否要排队
- 排队公平锁
- 先尝试插队，插队失败在排队非公平锁
一个线程的多个流程能不能获取同一把锁
- 能 可重入锁
- 不能非可重入锁
多个线程能不能共享一把锁
- 能 共享
- 不能排他锁
悲观锁与乐观锁
悲观锁与乐观锁时一种广义的概念，体现的是看待线程同步的不同角度。
悲观锁
悲观锁认为自己在使用数据的时候一定有别的线程来修改数据，在获取数据的时候会先加锁，确保数据不会被别的线程修改。 锁实现：synchronized 接口Lock的实现类 适用场景：写操作多，先加锁可以保证写操作时数据正确。
乐观锁
乐观锁认为自己在使用数据时不会有别的线程修改数据，所以不会添加锁，只是在更新数据的时候去判断之前有没有别的线程更新了这个数据。 锁实现：CAS算法，例如AtomicInteger类的原子自增时通过CAS自旋实现。 适用场景：读操作较多，不加锁的特点能够使其读操作的性能大幅度提升。 乐观锁的执行流程： 线程A获取到数据以后直接操作，操作完数据以后准备更新同步资源，更新之前会先判断内存中同步资源是否被更新： 1.如果没有被更新，更新内存中同步资源的值。 2.如果同步资源被其他线程更新，根据实现方法执行不同的操做(报错or重试)。
CAS算法
全名：Compare And Swap（比较并交换） 无锁算法：基于硬件原语实现，在不使用锁(没有线程被阻塞)的情况下实现多线程之间的变量同步。 jdk中的实现：java.util.concurrent包中的原子类就是通过CAS来实现了乐观锁。 算法涉及到的三个操作数：
需要读写的内存值V
进行比较的值A
要写入的新值的B
CAS存在的问题
1.ABA问题 线程1准备用CAS将变量的值由A替换为B，在此之前，线程2将变量的值由A替换为C，又由C替换为A，然后线程1执行CAS时发现变量的值仍然为A，所以CAS成功。但实际上这时的现场已经和最初不同了，尽管CAS成功，但可能存在潜藏的问题。 举例：一个小偷，把别人家的钱偷了之后又还了回来，还是原来的钱吗，你老婆出轨之后又回来，还是原来的老婆吗？ABA问题也一样，如果不好好解决就会带来大量的问题。最常见的就是资金问题，也就是别人如果挪用了你的钱，在你发现之前又还了回来。但是别人却已经触犯了法律。 但是jdk已经解决了这个问题。 想追下源码来着，但是一追发现直接到c了。
2.循环时间长开销大 3.只能保证一个共享变量的原子操作
