java 变量锁_并发编程高频面试题：可重入锁+线程池+内存模型等（含答案）

对于一个Java程序员而言,能否熟练掌握并发编程是判断他优秀与否的重要标准之一。因为并发编程是Java语言中最为晦涩的知识点,它涉及操作系统、内存、CPU、编程语言等多方面的基础能力,更为考验一个程序员的内功。
那到底应该怎么学习并发编程呢? Java SDK的并发工具包有很多,是要死记硬背每-一个工具的优缺点和使用场景吗?当然不是,想要学好并发编程,你需要从一个个单一的知识和技术中“跳出来”，高屋建瓴地看问题,并逐步建立自己的知识体系。

可重入锁 ReentrantLock 及其他显式锁相关问题问题一：跟Synchronized相比，可重入锁Reentrant Lock其实现原理有什么不同？
其实，锁的实现原理基本是为了达到一个目的：让所有的线程都能看到某种标记。Synchronized 通过在对象头中设置标记实现了这一目的，是一种 JVM 原生的锁实现方式，而 Reentrant Lock 以及所有的基于 Lock 接口的实现类，都是通过用一个 volitile 修饰的 int 型变量，并保证每个线程都能拥有对该 int 的可见性和原子修改，其本质是基于所谓的 AQS 框架。问题二：那么请谈谈 AQS 框架是怎么回事儿？
AQS（ Abstract Queued Synchronizer 类）是一个用来构建锁和同步器的框架，各种Lock包中的锁（常用的有Reentrant Lock、ReadWrite Lock），以及其他如 Semaphore、 Count Down Latch，甚至是早期的 Future Task 等，都是基于 AQS 来构建。
1. AQS 在内部定义了一个 volatile int state 变量，表示同步状态：当线程调用 lock 方法时，如果 state= 0 ，说明没有任何线程占有共享资源的锁，可以获得锁并将 state= 1 ；如果 state= 1 ，则说明有线程目前正在使用共享变量，其他线程必须加入同步队列进行等待。
2. AQS 通过 Node 内部类构成的一个双向链表结构的同步队列，来完成线程获取锁的排队工作，当有线程获取锁失败后，就被添加到队列末尾。

Node 类是对要访问同步代码的线程的封装，包含了线程本身及其状态叫wait Status（有五种不同取值，分别表示是否被阻塞，是否等待唤醒，是否已经被取消等），每个 Node 结点关联其prev 结点和next 结点，方便线程释放锁后快速唤醒下一个在等待的线程，是一个 FIFO 的过程。
Node 类有两个常量， SHARED 和 EXCLUSIVE，分别代表共享模式和独占模式。所谓共享模式是一个锁允许多条线程同时操作（信号量Semaphore 就是基于 AQS的共享模式实现的），独占模式是同一个时间段只能有一个线程对共享资源进行操作，多余的请求线程需要排队等待（如 Reentran Lock）。

3. AQS
通过内部类Condition Object构建等待队列（可有多个），当Condition调用wait()方法后，线程将会加入等待队列中，而当Condition 调用 signal() 方法后，线程将从等待队列转移动同步队列中进行锁竞争。
4. AQS
和Condition各自维护了不同的队列，在使用Lock和Condition 的时候，其实就是两个队列的互相移动。问题三：请尽可能详尽地对比下Synchronized和Reentrant Lock的异同。
Reentrant Lock 是 Lock 的实现类，是一个互斥的同步锁。
从功能角度， Reentrant Lock比Synchronized的同步操作更精细（因为可以像普通对象一样使用），甚至实现Synchronized没有的高级功能，如：

等待可中断：当持有锁的线程长期不释放锁的时候，正在等待的线程可以选择放弃等待，对处理执行时间非常长的同步块很有用。
带超时的获取锁尝试：在指定的时间范围内获取锁，如果时间到了仍然无法获取则返回。
可以判断是否有线程在排队等待获取锁。
可以响应中断请求：与Synchronized不同，当获取到锁的线程被中断时，能够响应中断，中断异常将会被抛出，同时锁会被释放。
可以实现公平锁。

从锁释放角度， Synchronized 在 JVM 层面上实现的，不但可以通过一些监控工具监控 Synchronized 的锁定，而且在代码执行出现异常时， JVM 会自动释放锁定；但是使用 Lock 则不行， Lock 是通过代码实现的，要保证锁定一定会被释放，就必须将 un Lock() 放到f inally{} 中。
从性能角度， Synchronized早期实现比较低效，对比Reentrant Lock，大多数场景性能都相差较大。但是在 Java 6 中对其进行了非常多的改进，在竞争不激烈时，
Synchronized 的性能要优于 Reetrant Lock ；在高竞争情况下，Synchronized 的性能会下降几十倍，但是 Reetrant Lock 的性能能维持常态。问题四： Reentrant Lock 是如何实现可重入性的？
Reentrant Lock 内部自定义了同步器 Sync（ Sync 既实现了 AQS，又实现了 AOS，而 AOS提供了一种互斥锁持有的方式），其实就是加锁的时候通过 CAS 算法，将线程对象放到一个双向链表中，每次获取锁的时候，看下当前维护的那个线程 ID 和当前请求的线程 ID 是否一样，一样就可重入了。
问题五：除了 Reetrant Lock，你还接触过 JUC 中的哪些并发工具？
问题六：请谈谈 Read Write Lock 和 Stamped Lock。
问题七：如何让 Java 的线程彼此同步？你了解过哪些同步器？请分别介绍下。
问题八： Cyclic Barrier和Count Down Latch 看起来很相似，请对比下呢？

Java 线程池相关问题问题一： Java 中的线程池是如何实现的？
 在 Java 中，所谓的线程池中的 “ 线程 ” ，其实是被抽象为了一个静态内部类Worker，它基于AQS实现，存放在线程池的Hash Set< Worker> workers 成员变量中；
 而需要执行的任务则存放在成员变量work Queue（ Blocking Queue< Runnable> work Queue）中。这样，整个线程池实现的基本思想就是：从work Queue中不断取出需要执行的任务，放在 Workers 中进行处理。问题二：创建线程池的几个核心构造参数？
Java中的线程池的创建其实非常灵活，我们可以通过配置不同的参数，创建出行为不同的线程池，这几个参数包括： core Pool Size：线程池的核心线程数。

maximum Pool Size：线程池允许的最大线程数。
keep Alive Time：超过核心线程数时闲置线程的存活时间。
work Queue：任务执行前保存任务的队列，保存由 execute 方法提交的 Runnable 任务。

问题三：线程池中的线程是怎么创建的？是一开始就随着线程池的启动创建好的吗？
显然不是的。线程池默认初始化后不启动Worker，等待有请求时才启动。每当我们调用execute()方法添加一个任务时，线程池会做如下判断：
 如果正在运行的线程数量小于core Pool Size，那么马上创建线程运行这个任务；
 如果正在运行的线程数量大于或等于core Pool Size，那么将这个任务放入队列；
 如果这时候队列满了，而且正在运行的线程数量小于maximum Pool Size，那么还是要创建非核心线程立刻运行这个任务；
 如果队列满了，而且正在运行的线程数量大于或等于maximum Pool Size，那么线程池会抛出异常Reject Execution Exception。当一个线程完成任务时，它会从队列中取下一个任务来执行。当一个线程无事可做，超过一定的时间（ keep Alive Time）时，线程池会断。
如果当前运行的线程数大于core Pool Size，那么这个线程就被停掉。所以线程池的所有任务完成后，它最终会收缩到core Pool Size的大小。
问题四：既然提到可以通过配置不同参数创建出不同的线程池，那么Java 中默认实现好的线程池又有哪些呢？请比较它们的异同。
问题五：如何在 Java 线程池中提交线程？

Java 内存模型相关问题问题一：什么是 Java 的内存模型， Java中各个线程是怎么彼此看到对方的变量的？
Java 的内存模型定义了程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出这样的底层细节。
此处的变量包括实例字段、静态字段和构成数组对象的元素，但是不包括局部变量和方法参数，因为这些是线程私有的，不会被共享，所以不存在竞争问题。
Java 中各个线程是怎么彼此看到对方的变量的呢？ Java 中定义了主内存与工作内存的概念：
所有的变量都存储在主内存，每条线程还有自己的工作内存，保存了被该线程使用到的变量的主内存副本拷贝。线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，不能直接读写主内存的变量。不同的线程之间也无法直接访问对方工作内存的变量，线程间变量值的传递需要通过主存。
问题二：请谈谈 volatile 有什么特点，为什么它能保证变量对所有线程的可见性？
问题三：既然 volatile 能够保证线程间的变量可见性，是不是就意味着基于volatile 变量的运算就是并发安全的？
问题四：请对比下 volatile 对比 Synchronized 的异同。
问题五：请谈谈 Thread Local 是怎么解决并发安全的？
问题六：很多人都说要慎用 Thread Local，谈谈你的理解，使用Thread Local 需要注意些什么？

Synchronized 相关问题
问题一： Synchronized 用过吗，其原理是什么？
问题二：你刚才提到获取对象的锁，这个“ 锁” 到底是什么？如何确定对象的锁？
问题三：什么是可重入性，为什么说 Synchronized 是可重入锁？可重入性
问题四： JVM 对 Java 的原生锁做了哪些优化？
问题五：为什么说 Synchronized 是非公平锁？
问题六：什么是锁消除和锁粗化？
问题七：为什么说Synchronized是一个悲观锁？乐观锁的实现原理又是什么？什么是CAS，它有什么特性？
问题八：乐观锁一定就是好的吗？
其他问题
JAVA 并发知识库
JAVA 线程实现/创建方式
4 种线程池
线程生命周期(状态)
终止线程 4 种方式
sleep 与 wait 区别
start 与 run 区别
JAVA 后台线程
JAVA 锁
线程基本方法
线程上下文切换
同步锁与死锁
线程池原理
JAVA 阻塞队列原理
CyclicBarrier、CountDownLatch、Semaphore 的用法
volatile 关键字的作用（变量可见性、禁止重排序）
如何在两个线程之间共享数据
ThreadLocal 作用（线程本地存储）
synchronized 和 ReentrantLock 的区别
ConcurrentHashMap 并发
Java 中用到的线程调度
进程调度算法
什么是 CAS（比较并交换-乐观锁机制-锁自旋）
什么是 AQS（抽象的队列同步器）
所有的并发编程面试题已合成文档，由于篇幅过长，没办法全部上传资料展示