面试：Java多线程基础知识

主要内容来自：
Java-concurrency
JavaGuide

一、线程状态及基本操作

1、创建线程的方式

• 继承Thread类，重写run()方法
• 实现Runable接口
• 实现Callable接口

实现 Runnable 接口和 Callable 接口的区别：Runnable 接口不会返回结果或抛出检查异常，但是Callable 接口可以。

2、线程状态转换

3、线程间的通信、协作

interrupt

中断可以理解为线程的一个标志位，它表示了一个运行中的线程是否被其他线程进行了中断操作。

• interrupt（）是用来设置中断状态的。返回true说明中断状态被设置了而不是被清除了。我们调用sleep、wait等此类可中断（throw InterruptedException）方法时，一旦方法抛出InterruptedException，当前调用该方法的线程的中断状态就会被jvm自动清除了，就是说此时调用该线程的isInterrupted 方法返回false。如果你想保持中断状态，可以再次调用interrupt方法设置中断状态。这样做的原因是，java的中断并不是真正的中断线程，而只设置标志位（中断位）来通知用户。如果你捕获到中断异常，说明当前线程已经被中断，不需要继续保持中断位。
• interrupted是静态方法，返回的是当前线程的中断状态。例如，如果当前线程被中断（没有抛出中断异常，否则中断状态就会被清除），你调用interrupted方法，第一次会返回true。然后，当前线程的中断状态被方法内部清除了。第二次调用时就会返回false。如果你刚开始一直调用isInterrupted，则会一直返回true，除非中间线程的中断状态被其他操作清除了。

interrupt、interrupted 、isInterrupted 区别

join

如果一个线程实例A执行了threadB.join(),其含义是：当前线程A会等待threadB线程终止后threadA才会继续执行。

Thread.sleep() vs Object.wait()

• wait()方法必须要在同步方法或者同步块中调用，也就是必须已经获得对象锁。而sleep()方法没有这个限制可以在任何地方种使用。
• wait()方法会释放占有的对象锁，使得该线程进入等待池中，等待下一次获取资源。而sleep()方法只是会让出CPU并不会释放掉对象锁；
• sleep()方法在休眠时间达到后如果再次获得CPU时间片就会继续执行，而wait()方法必须等待Object.notifty/Object.notifyAll通知后，才会离开等待池，并且再次获得CPU时间片才会继续执行。

yield

使当前线程让出CPU的时间片，使正在运行中的线程重新变成就绪状态，并重新竞争 CPU 的调度权。它可能会重新获取到，也有可能被其他线程获取到。让出的时间片只会分配给当前线程相同优先级的线程。

yield与sleep的异同

• 都能暂停当前线程，sleep 可以指定具体休眠的时间，而 yield 则依赖 CPU 的时间片划分。
• 在暂停过程中，如已经持有锁，则都不会释放锁资源。
• yield 不能被中断，而 sleep 则可以接受中断。
• sleep让出的时间片其他线程都可以去竞争。而yield方法只允许与当前线程具有相同优先级的线程获得。

4、守护线程Daemon

• 守护线程是程序运行时在后台提供服务的线程，不属于程序中不可或缺的部分。
• 当所有非守护线程结束时，程序也就终止，同时会杀死所有守护线程。
• 守护线程在退出的时候并不会执行finnaly块中的代码，所以将释放资源等操作不要放在finnaly块中执行，这种操作是不安全的

二、Synchronized

1、使用方式

2、实现单例模式

双重校验锁实现对象单例（线程安全）

public class Singleton {
   

    private volatile static Singleton uniqueInstance;

    private Singleton() {
   
    }

    public  static Singleton getUniqueInstance() {
   
       //先判断对象是否已经实例过，没有实例化过才进入加锁代码
        if (uniqueInstance == null) {
   
            //类对象加锁
            synchronized (Singleton.class) {
   
                if (uniqueInstance == null) {
   
                    uniqueInstance = new Singleton();
                }
            }
        }
        return uniqueInstance;
    }
}

3、实现原理

public class TestSynchornize {
   
    /**
     * 修饰静态方法
     */
    public synchronized static void test1() {
   
        System.out.println("test1");
    }
    /**
     * 修饰实例方法
     */
    public synchronized void test2(){
   
        System.out.println("test2");
    }
    /**
     * 修饰代码块
     */
    public void test3(){
   
        synchronized (this){
   
            System.out.println("test3");
        }
    }
}

• synchronized修饰的代码块会带有monitorenter和monitorexit指令，用于jvm中控制同步代码块访问时必须获得对象锁，即获取对象监视器 monitor 的持有权。
• JVM为了防止异常，获得锁的线程无法释放的情况，规定了synchronized锁修饰的代码块当线程执行异常时，会自动释放对象锁。因此这里有两个monitorexit指令，分别对应正常释放和异常释放。
• 修饰静态方法和实例方法那里并没有monitorenter和monitorexit指令。在方法的访问flags那里用ACC_SYNCHRONIZED修饰。其实这里也会用到monitorenter和monitorexit，只不过在修饰方法时用ACC_SYNCHRONIZED代替了。再加上ACC_STATIC就可以判断是静态方法还是实例方法了，后面拿到需要获取的锁对象，实现方式就跟代码块那里一样了。
• Synchronized是可重入锁。每个对象拥有一个计数器，当线程获取该对象锁后，计数器就会加一，释放锁后就会将计数器减一。

wait/notify等方法也依赖于monitor对象，这就是为什么只有在同步的块或者方法中才能调用wait/notify等方法，否则会抛出java.lang.IllegalMonitorStateException的异常的原因。

反编译字节码角度分析synchronized关键字的原理

4、synchronized优化

对象头与Synchronized锁升级

Java SE 1.6中，锁一共有4种状态，级别从低到高依次是：无锁状态->偏向锁状态->轻量级锁状态->重量级锁状态，锁可以升级但不能降级。

偏向锁

偏向锁使用了一种等到竞争出现才释放锁的机制，所以当其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁。

锁获取

1. 当线程1访问代码块并获取锁对象时，会在对象头和栈帧中记录偏向的锁的threadID，以后线程1再次获取锁的时候，需要比较当前线程的threadID和对象头中的threadID是否一致
2. 如果一致（还是线程1获取锁对象），则无需使用CAS来加锁、解锁；
3. 如果不一致（其他线程，如线程2要竞争锁对象，而偏向锁不会主动释放因此还是存储的线程1的threadID），那么需要查看对象头中记录的线程1是否存活，如果没有存活，那么锁对象被重置为无锁状态，其它线程（线程2）可以竞争将其设置为偏向锁；
4. 如果存活，那么立刻查找该线程（线程1）的栈帧信息，如果还是需要继续持有这个锁对象，那么暂停当前线程1，撤销偏向锁，升级为轻量级锁，如果线程1 不再使用该锁对象，那么将锁对象状态设为无锁状态，重新偏向新的线程。

锁撤销

1. 偏向锁的撤销，需要等待全局安全点（在这个时间点上没有正在执行的字节码）。
2. 首先暂停拥有偏向锁的线程，然后检查持有偏向锁的线程是否活着，如果线程不处于活动状态，则将对象头设置成无锁状态；
3. 如果线程仍然活着，拥有偏向锁的栈会被执行，遍历偏向对象的锁记录，看是否需要继续持有这个锁对象。
4. 如果继续持有，升级为轻量级锁。如果不再持有，设为无锁状态，重新偏向新的线程。
5. 最后唤醒暂停的线程。

轻量级锁

锁获取

1. 线程1获取轻量级锁时会先把锁对象的对象头Mark Word复制一份到线程1的栈帧中创建的用于存储锁记录的空间（称为Displaced Mark Word），然后使用CAS把对象头中的内容替换为线程1存储的锁记录（Displaced Mark Word）的地址；
2. 如果在线程1复制对象头的同时（在线程1 CAS之前），线程2也准备获取锁，复制了对象头到线程2的锁记录空间中，但是在线程2 CAS的时候，发现线程1已经把对象头换了，线程2的CAS失败，那么线程2就尝试使用自旋锁来等待线程1释放锁。
3. 如果自旋次数到了线程1还没有释放锁，或者又有一个线程来竞争这个锁对象，那么这个时候轻量级锁就会膨胀为重量级锁。重量级锁把除了拥有锁的线程都阻塞，防止CPU空转。

锁撤销

1. 使用原子的CAS操作将Displaced Mark Word替换回到对象头
2. 如果成功，则表示没有竞争发生。
3. 如果失败，表示当前锁存在竞争，锁就会膨胀成重量级锁。

Java并发——Synchronized关键字和锁升级，详细分析偏向锁和轻量级锁的升级

5、Synchronized VS ReentrantLock

• 两者都是可重入锁
• synchronized 依赖于 JVM ，ReentrantLock 依赖于 AQS
• ReentrantLock 比 synchronized 增加了一些高级功能
   等待可中断
   可实现公平锁
   可实现选择性通知（锁可以绑定多个条件）

三、volatile

• 防止 JVM 的指令重排
• 保证变量的可见性
• 保证有序性、可见性，不保证原子性

原子性、有序性、可见性

• 原子性：一个操作是不可中断的，要么全部执行成功要么全部执行失败
  Synchronized具有原子性的原因：synchronized–>monitorenter、monitorexit–>lock、unlock
• 有序性：在本线程内观察，所有操作都是有序的。在一个线程观察另一个线程，所有操作都是无序的，无序是因为发生了指令重排序。
• 可见性：可见性指当一个线程修改了共享变量的值，其它线程能够立即得知这个修改。

可见性实现原理：

如果对声明了volatile的变量进行写操作，JVM就会向处理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。

1. Lock前缀的指令会引起处理器缓存写回内存；
2. 一个处理器的缓存回写到内存会导致其他处理器的缓存失效；
3. 当处理器发现本地缓存失效后，就会从内存中重读该变量数据，即可以获取当前最新值。

有序性实现原理

编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

四、ThreadLocal

1、实现思想

采用空间换时间的思想，每个线程拥有该变量的本地副本，达到隔离线程的目的，能够解决线程安全问题。

2、set方法原理

1. 通过当前线程对象 thread 获取该 thread 所维护的 threadLocalMap,
2. 若 threadLocalMap 不为 null,则以 threadLocal实例为 key,value为值存入threadLocalMap,
3. 若 threadLocalMap 为 null 的话，就新建 threadLocalMap 然后再以threadLocal为键， value为值存入。

public void set(T value) {
   
	//1. 获取当前线程实例对象
    Thread t = Thread.currentThread();
	//2. 通过当前线程实例获取到ThreadLocalMap对象
    ThreadLocalMap map = getMap(t);
    if (map != null)
		//3. 如果Map不为null,则以当前threadLocal实例为key,值为value进行存入
        map.set(this, value);
    else
		//4.map为null,则新建ThreadLocalMap并存入value
        createMap(t, value);
}

public class Thread implements Runnable {
   
   ......(其他源码)
    /* 
     * 当前线程的ThreadLocalMap，主要存储该线程自身的ThreadLocal
     */
    ThreadLocal.ThreadLocalMap threadLocals = null;

    /*
     * InheritableThreadLocal，自父线程集成而来的ThreadLocalMap，
     * 主要用于父子线程间ThreadLocal变量的传递
     */
    ThreadLocal.ThreadLocalMap inheritableThreadLocals = null;
    ......(其他源码)
}

ThreadLocalMap 的引用是作为 Thread 的一个成员变量，被 Thread 进行维护的。

3、get方法原理

1. 通过当前线程 thread 实例获取到它所维护的 threadLocalMap，然后以当前 threadLocal 实例为 key 获取该 map 中的键值对（Entry）
2. 若 Entry 不为 null 则返回 Entry 的 value。
3. 如果获取 threadLocalMap 为 null 或者 Entry 为 null 的话，就以当前 threadLocal 为 Key，value 为 null 存入 map，并返回 null。

public T get() {
   
	//1. 获取当前线程的实例对象
    Thread t = Thread.currentThread();
	//2. 获取当前线程的threadLocalMap
    ThreadLocalMap map = getMap(t);
    if (map != null) {
   
		//3. 获取map中当前threadLocal实例为key的值的entry
        ThreadLocalMap.Entry e = map.getEntry(this);
        if (e != null) {
   
            @SuppressWarnings("unchecked")
			//4. 当前entitiy不为null的话，就返回相应的值value
            T result = (T)e.value;
            return result;
        }
    }
	//5. 若map为null或者entry为null的话通过该方法初始化，并返回该方法返回的value
    return setInitialValue();
}

4、remove方法原理

public void remove() {
   
	//1. 获取当前线程的threadLocalMap
	ThreadLocalMap m = getMap(Thread.currentThread());
 	if (m != null)
		//2. 从map中删除以当前threadLocal实例为key的键值对
		m.remove(this);
}

ThreadLocal与ThreadLocalMap函数调用关系图

5、ThreadLocalMap

ThreadLocalMap 中使用线性探测法来处理散列冲突

主要原因：在 ThreadLocalMap 中的散列值分散的十分均匀，很少会出现冲突。并且 ThreadLocalMap 经常需要清除无用的对象，使用纯数组更加方便。

（1）Entry 数据结构

ThreadLocalMap 是 threadLocal 一个静态内部类，内部维护了一个 Entry 类型的 table 数组，长度为2的幂次方。

/** The table, resized as necessary. table.length MUST always be a power of two.*/
private Entry[] table;

static class Entry extends WeakReference<ThreadLocal<?>> {
   
    /** The value associated with this ThreadLocal. */
    Object value;
	Entry(ThreadLocal<?> k, Object v) {
   
	    super(k);
	    value = v;
	}
}

Entry 是一个以 ThreadLocal 为 key,Object 为 value 的键值对，threadLocal 是弱引用

（2）set方法

1. 根据hashcode值计算在数组中存放的位置
2. 若该位置为null,则向其中插入新建的Entry
3. 若该位置不为null,从该位置遍历数组，采用线性探测法解决hash冲突
4. 在遍历数组的过程中，如果遇到key相同的Entry，则用新值覆盖旧值，并return
5. 如果遇到Entry不为null,但key为null的位置，说明threadLocal强引用已经被释放掉，调用replaceStaleEntry使用新建的Entry替换掉脏Entry,并return
6. 若不存在上述情况，直到遇到第一个为null的位置，向其中插入新建的Entry
7. 插入后（特指步骤2、6）再次清除一些key为null的“脏”entry,如果并没有清理到任何脏Entry并且数组中的元素数量 >= 扩容阈值（threshold = len * 2 / 3）就需要扩容

private void set(ThreadLocal<?> key, Object value) {
   
	Entry[] tab = table;
	int len = tab.length;
	//根据threadLocal的hashCode确定Entry应该存放的位置
	int i = key.threadLocalHashCode & (len-1);
	
	//采用开放地址法，hash冲突的时候使用线性探测
	for (Entry e = tab[i];
	     e != null;
	     e = tab[i = nextIndex(i, len)]) {
   
	    ThreadLocal<?> k = e.get();
		//覆盖旧Entry
	    if (k == key) {
   
	        e.value = value;
	        return;
	    }
		//当key为null时，说明threadLocal强引用已经被释放掉，
		//那么就无法再通过这个key获取threadLocalMap中对应的entry，这里就存在内存泄漏的可能性
	    if (k == null) {
   
			//用当前插入的值替换掉这个key为null的“脏”entry
	        replaceStaleEntry(key, value, i);
	        return;
	    }
	}
	//新建entry并插入table中i处
	tab[i] = new Entry(key, value);
	int sz = ++size;
	//插入后再次清除一些key为null的“脏”entry,如果大于阈值就需要扩容
	if (!cleanSomeSlots(i, sz) && sz >= threshold)
	    rehash();
}

threadLocal 的 hashcode

使用Fibonacci Hashing ，在一个 AtomicInteger 变量（初始值为0）的基础上每次累加 0x61c88647，能够保证 hash 表的每个散列桶能够均匀的分布。也正是因为能够均匀分布，所以 threadLocal 选择使用开放地址法来解决 hash 冲突的问题。

private final int threadLocalHashCode = nextHashCode();
private static final int HASH_INCREMENT = 0x61c88647;
private static AtomicInteger nextHashCode =new AtomicInteger();
/**
 * Returns the next hash code.
 */
private static int nextHashCode() {
   
    return nextHashCode.getAndAdd(HASH_INCREMENT);
}

ThreadLocalMap初始化值

/**The initial capacity -- MUST be a power of two.*/
 private static final int INITIAL_CAPACITY = 16;

 /** The table, resized as necessary. table.length MUST always be a power of two.*/
 private Entry[] table;

 /** The number of entries in the table.*/
 private int size = 0;

 /**The next size value at which to resize.*/
 private int threshold; // Default to 0

 /** Set the resize threshold to maintain at worst a 2/3 load factor.*/
 private void setThreshold(int len) {
   
     threshold = len * 2 / 3;
 }

扩容

1. rehash方法首先会调用expungeStaleEntries()方法清理脏Entry，清理完毕后判断当前Entry数组中元素的数量，若再>=threshold的3/4(即总元素的len*(2/3)*(3/4)=len/2),则进行扩容，调用resize()方法

 /**
  * Re-pack and/or re-size the table. First scan the entire
  * table removing stale entries. If this doesn't sufficiently
  * shrink the size of the table, double the table size.
  */
 private void rehash() {
   
     expungeStaleEntries();

     // Use lower threshold for doubling to avoid hysteresis
     if (size >= threshold - threshold / 4)
         resize();
 }

2. resize()时是采用的数组复制方式，新建一个大小为原来数组长度的2倍的数组，然后遍历旧数组中的 entry 并将其hash到新的数组中。
3. 在扩容的过程中遇到脏 entry 的话会令 value 为 null，以便能够被垃圾回收器能够回收，解决隐藏的内存泄漏的问题。

/**
 * Double the capacity of the table.
 */
private void resize() {
   
    Entry[] oldTab = table;
    int oldLen = oldTab.length;
	//新数组为原数组的2倍
    int newLen = oldLen * 2;
    Entry[] newTab = new Entry[newLen];
    int count = 0;
	for (int j = 0; j < oldLen; ++j) {
   
	    Entry e = oldTab[j];
	    if (e != null) {
   
	        ThreadLocal<?> k = e.get();
			//遍历过程中如果遇到脏entry的话直接令value为null,有助于value能够被回收
	        if (k == null) {