Java 多线程知识汇总-理解版

本文主要整理博主遇到的Java多线程的相关知识点,适合速记,故命名为“小抄集”。本文没有特别重点,每一项针对一个多线程知识做一个概要性总结,也有一些会带一点例子,习题方便理解和记忆。

1. interrupted与isInterrupted的区别

interrupted():测试当前线程是否已经是中断状态,执行后具有状态标志清除为false的功能。
isInterrupted():测试线程Thread对象是否已经是中断状态,但不清除状态标志。
方法:

1
2
3
4
5
6
7
public static boolean interrupted() {
     return currentThread().isInterrupted( true );
}
public boolean isInterrupted() {
     return isInterrupted( false );
}
private native boolean isInterrupted( boolean ClearInterrupted);

2. 终止正在运行的线程的三种方法:

  • 使用退出标志,是线程正常退出,也就是当run方法完成后线程终止;
  • 使用stop方法强行终止线程,但是不推荐使用这个方法,因为stop和suspend及resume一样都是作废过期的方法,使用它们可能产生不可预料的结果;
  • 使用interrupt方法中断线程;(推荐)

3. yield方法

yield()方法的作用是放弃当前的CPU资源,将它让给其他的任务去占用CPU执行时间。但放弃时间不确定,有可能刚刚放弃,马上又获得CPU时间片。这里需要注意的是yield()方法和sleep方法一样,线程并不会让出锁,和wait不同。

4. 线程的优先级

Java中线程的优先级分为1-10这10个等级,如果小于1或大于10则JDK抛出IllegalArgumentException()的异常,默认优先级是5。在Java中线程的优先级具有继承性,比如A线程启动B线程,则B线程的优先级与A是一样的。注意程序正确性不能依赖线程的优先级高低,因为操作系统可以完全不理会Java线程对于优先级的决定。

5. Java中线程的状态

New, Runnable, Blocked, Waiting, Time_waiting, Terminated.

6. 守护线程

Java中有两种线程,一种是用户线程,另一种是守护线程。当进程中不存在非守护线程了,则守护线程自动销毁。通过setDaemon(true)设置线程为后台线程。注意thread.setDaemon(true)必须在thread.start()之前设置,否则会报IllegalThreadStateException异常;在Daemon线程中产生的新线程也是Daemon的;在使用ExecutorSerice等多线程框架时,会把守护线程转换为用户线程,并且也会把优先级设置为Thread.NORM_PRIORITY。在构建Daemon线程时,不能依靠finally块中的内容来确保执行关闭或清理资源的逻辑。更多详细内容可参考《Java守护线程概述

7. synchronized的类锁与对象锁

类锁:在方法上加上static synchronized的锁,或者synchronized(xxx.class)的锁。如下代码中的method1和method2:
对象锁:参考method4, method5,method6.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
public class LockStrategy
{
     public Object object1 = new Object();
 
     public static synchronized void method1(){}
     public void method2(){
         synchronized (LockStrategy. class ){}
     }
 
     public synchronized void method4(){}
     public void method5()
     {
         synchronized ( this ){}
     }
     public void method6()
     {
         synchronized (object1){}
     }
}

注意方法method4和method5中的同步块也是互斥的。
下面做一道习题来加深一下对对象锁和类锁的理解:
有一个类这样定义

1
2
3
4
5
6
7
public class SynchronizedTest
{
     public synchronized void method1(){}
     public synchronized void method2(){}
     public static synchronized void method3(){}
     public static synchronized void method4(){}
}

那么,有SynchronizedTest的两个实例a和b,对于一下的几个选项有哪些能被一个以上的线程同时访问呢?

A. a.method1() vs. a.method2()
B. a.method1() vs. b.method1()
C. a.method3() vs. b.method4()
D. a.method3() vs. b.method3()
E. a.method1() vs. a.method3()

答案是什么呢?BE

有关Java中的锁的详细信息,可以参考《Java中的锁

8. 同步不具备继承性

当一个线程执行的代码出现异常时,其所持有的锁会自动释放。同步不具有继承性(声明为synchronized的父类方法A,在子类中重写之后并不具备synchronized的特性)。

9. wait, notify, notifyAll用法

只能在同步方法或者同步块中使用wait()方法。在执行wait()方法后,当前线程释放锁(这点与sleep和yield方法不同)。调用了wait函数的线程会一直等待,知道有其他线程调用了同一个对象的notify或者notifyAll方法才能被唤醒,需要注意的是:被唤醒并不代表立刻获得对象的锁,要等待执行notify()方法的线程执行完,即退出synchronized代码块后,当前线程才会释放锁,而呈wait状态的线程才可以获取该对象锁。

如果调用wait()方法时没有持有适当的锁,则抛出IllegalMonitorStateException,它是RuntimeException的一个子类,因此,不需要try-catch语句进行捕获异常。

notify方法只会(随机)唤醒一个正在等待的线程,而notifyAll方法会唤醒所有正在等待的线程。如果一个对象之前没有调用wait方法,那么调用notify方法是没有任何影响的。

详细可以参考《JAVA线程间协作:wait.notify.notifyAll

带参数的wait(long timeout)或者wait(long timeout, int nanos)方法的功能是等待某一时间内是否有线程对锁进行唤醒,如果超过这个时间则自动唤醒。

10. 管道

在Java中提供了各种各样的输入/输出流Stream,使我们能够很方便地对数据进行操作,其中管道流(pipeStream)是一种特殊的流,用于在不同线程间直接传送数据。一个线程发送数据到输出管道,另一个线程从输入管道中读数据,通过使用管道,实现不同线程间的通信,而无须借助类似临时文件之类的东西。在JDK中使用4个类来使线程间可以进行通信:PipedInputStream, PipedOutputStream, PipedReader, PipedWriter。使用代码类似inputStream.connect(outputStream)或outputStream.connect(inputStream)使两个Stream之间产生通信连接。

几种进程间的通信方式

- 管道( pipe ):管道是一种半双工的通信方式,数据只能单向流动,而且只能在具有亲缘关系的进程间使用。进程的亲缘关系通常是指父子进程关系。
- 有名管道 (named pipe) : 有名管道也是半双工的通信方式,但是它允许无亲缘关系进程间的通信。
- 信号量( semophore ) : 信号量是一个计数器,可以用来控制多个进程对共享资源的访问。它常作为一种锁机制,防止某进程正在访问共享资源时,其他进程也访问该资源。因此,主要作为进程间以及同一进程内不同线程之间的同步手段。
- 消息队列( message queue ) : 消息队列是由消息的链表,存放在内核中并由消息队列标识符标识。消息队列克服了信号传递信息少、管道只能承载无格式字节流以及缓冲区大小受限等缺点。
- 信号 ( sinal ) : 信号是一种比较复杂的通信方式,用于通知接收进程某个事件已经发生。
- 共享内存( shared memory ) :共享内存就是映射一段能被其他进程所访问的内存,这段共享内存由一个进程创建,但多个进程都可以访问。共享内存是最快的 IPC 方式,它是针对其他进程间通信方式运行效率低而专门设计的。它往往与其他通信机制,如信号两,配合使用,来实现进程间的同步和通信。
- 套接字( socket ) : 套解口也是一种进程间通信机制,与其他通信机制不同的是,它可用于不同及其间的进程通信。

11. join方法

如果一个线程A执行了thread.join()语句,其含义是:当前线程A等待thread线程终止之后才从thread.join()返回。join与synchronized的区别是:join在内部使用wait()方法进行等待,而synchronized关键字使用的是“对象监视器”做为同步。
join提供了另外两种实现方法:join(long millis)和join(long millis, int nanos),至多等待多长时间而退出等待(释放锁),退出等待之后还可以继续运行。内部是通过wait方法来实现的。

可以参考一下一个例子:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
System.out.println( "method main begin-----" );
Thread t = new Thread( new Runnable(){
     int i = 0 ;
     @Override
     public void run()
     {
         while ( true )
         {
             System.out.println(i++);
             try
             {
                 TimeUnit.MILLISECONDS.sleep( 100 );
             }
             catch (InterruptedException e)
             {
                 e.printStackTrace();
             }
         }
     }
});
t.start();
t.join( 2000 );
System.out.println( "method main end-----" );

运行结果:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
method main begin-----
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
method main end-----
19
20
21

12.ThreadLocal

ThreadLocal可以实现每个线程绑定自己的值,即每个线程有各自独立的副本而互相不受影响。一共有四个方法:get, set, remove, initialValue。可以重写initialValue()方法来为ThreadLocal赋初值。如下:

1
2
3
4
5
6
7
private static final ThreadLocal<Long> TIME_THREADLOCAL = new ThreadLocal<Long>(){
     @Override
     protected Long initialValue()
     {
         return System.currentTimeMillis();
     }
};

ThreadLocal建议设置为static类型的。
使用类InheritableThreadLocal可以在子线程中取得父线程继承下来的值。可以采用重写childValue(Object parentValue)方法来更改继承的值。
查看案例:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
public class InheriableThreadLocal
{
     public static final InheritableThreadLocal<?> itl = new InheritableThreadLocal<Object>(){
         @Override protected Object initialValue()
         {
             return new Date().getTime();
         }
 
         @Override protected Object childValue(Object parentValue)
         {
             return parentValue+ " which plus in subThread." ;
         }
     };
 
     public static void main(String[] args)
     {
         System.out.println( "Main: get value = " +itl.get());
         Thread a = new Thread( new Runnable(){
             @Override public void run()
             {
                 System.out.println(Thread.currentThread().getName()+ ": get value = " +itl.get());
             }
         });
         a.start();
     }
}

运行结果:

1
2
Main: get value = 1461585405704
Thread- 0 : get value = 1461585405704 which plus in subThread.

如果去掉@Override protected Object childValue(Object parentValue)方法运行结果:

1
2
Main: get value = 1461585396073
Thread- 0 : get value = 1461585396073

注意:在线程池的情况下,在ThreadLocal业务周期处理完成时,最好显式的调用remove()方法,清空”线程局部变量”中的值。正常情况下使用ThreadLocal不会造成内存溢出,弱引用的只是threadLocal,保存的值依然是强引用的,如果threadLocal依然被其他对象强引用,”线程局部变量”是无法回收的。

13. ReentrantLock

ReentrantLock提供了tryLock方法,tryLock调用的时候,如果锁被其他线程持有,那么tryLock会立即返回,返回结果为false;如果锁没有被其他线程持有,那么当前调用线程会持有锁,并且tryLock返回的结果为true。

1
2
boolean tryLock()
boolean tryLock( long timeout, TimeUnit unit)

可以在构造ReentranLock时使用公平锁,公平锁是指多个线程在等待同一个锁时,必须按照申请锁的先后顺序来一次获得锁。synchronized中的锁时非公平的,默认情况下ReentrantLock也是非公平的,但是可以在构造函数中指定使用公平锁。

1
2
ReentrantLock()
ReentrantLock( boolean fair)

对于ReentrantLock来说,还有一个十分实用的特性,它可以同时绑定多个Condition条件,以实现更精细化的同步控制。

ReentrantLock使用方式如下:

1
2
3
4
5
6
Lock lock = new ReentrantLock();
lock.lock();
try {
} finally {
     lock.unlock();
}

14. ReentrantLock中的其余方法

  • int getHoldCount():查询当前线程保持此锁定的个数,也就是调用lock()方法的次数。
  • int getQueueLength():返回正等待获取此锁定的线程估计数。比如有5个线程,1个线程首先执行await()方法,那么在调用getQueueLength方法后返回值是4,说明有4个线程在等待lock的释放。
  • int getWaitQueueLength(Condition condition):返回等待此锁定相关的给定条件Condition的线程估计数。比如有5个线程,每个线程都执行了同一个condition对象的await方法,则调用getWaitQueueLength(Condition condition)方法时返回的int值是5。
  • boolean hasQueuedThread(Thread thread):查询指定线程是否正在等待获取此锁定。
  • boolean hasQueuedThreads():查询是否有线程正在等待获取此锁定。
  • boolean hasWaiters(Condition condition):查询是否有线程正在等待与此锁定有关的condition条件。
  • boolean isFair():判断是不是公平锁。
  • boolean isHeldByCurrentThread():查询当前线程是否保持此锁定。
  • boolean isLocked():查询此锁定是否由任意线程保持。
  • void lockInterruptibly():如果当前线程未被中断,则获取锁定,如果已经被中断则出现异常。

15. Condition

一个Condition和一个Lock关联在一起,就想一个条件队列和一个内置锁相关联一样。要创建一个Condition,可以在相关联的Lock上调用Lock.newCondition方法。正如Lock比内置加锁提供了更为丰富的功能,Condition同样比内置条件队列提供了更丰富的功能:在每个锁上可存在多个等待、条件等待可以是可中断的或者不可中断的、基于时限的等待,以及公平的或非公平的队列操作。与内置条件队列不同的是,对于每个Lock,可以有任意数量的Condition对象。Condition对象继承了相关的Lock对象的公平性,对于公平的锁,线程会依照FIFO顺序从Condition.await中释放。

注意:在Condition对象中,与wait,notify和notifyAll方法对于的分别是await,signal,signalAll。但是,Condition对Object进行了扩展,因而它也包含wait和notify方法。一定要确保使用的版本——await和signal.

详细可参考《JAVA线程间协作:Condition

16. 读写锁ReentrantReadWriteLock

读写锁表示也有两个锁,一个是读操作相关的锁,也称为共享锁;另一个是写操作相关的锁,也叫排它锁。也就是多个读锁之间不互斥,读锁与写锁互斥,写锁与写锁互斥。在没有Thread进行写操作时,进行读取操作的多个Thread都可以获取读锁,而进行写入操作的Thread只有在获取写锁后才能进行写入操作。即多个Thread可以同时进行读取操作,但是同一时刻只允许一个Thread进行写入操作。(lock.readlock.lock(), lock.readlock.unlock, lock.writelock.lock, lock.writelock.unlock)

17. Timer的使用

JDK中的Timer类主要负责计划任务的功能,也就是在指定时间开始执行某一任务。Timer类的主要作用就是设置计划任务,但封装任务的类却是TimerTask类(public abstract class TimerTask extends Object implements Runnable)。可以通过new Timer(true)设置为后台线程。

有以下几个方法:

  • void schedule(TimerTask task, Date time):在指定的日期执行某一次任务。如果执行任务的时间早于当前时间则立刻执行。
  • void schedule(TimerTask task, Date firstTime, long period):在指定的日期之后,按指定的间隔周期性地无限循环地执行某一任务。如果执行任务的时间早于当前时间则立刻执行。
  • void schedule(TimerTask task, long delay):以当前时间为参考时间,在此基础上延迟指定的毫秒数后执行一次TimerTask任务。
  • void schedule(TimerTask task, long delay, long period):以当前时间为参考时间,在此基础上延迟指定的毫秒数,再以某一间隔无限次数地执行某一任务。
  • void scheduleAtFixedRate(TimerTask task, Date firstTime, long period):下次执行任务时间参考上次任务的结束时间,且具有“追赶性”。

TimerTask是以队列的方式一个一个被顺序执行的,所以执行的时间有可能和预期的时间不一致,因为前面的任务有可能消耗的时间较长,则后面的任务运行时间也会被延迟。
TimerTask类中的cancel方法的作用是将自身从任务队列中清除。
Timer类中的cancel方法的作用是将任务队列中的全部任务清空,并且进程被销毁。

Timer的缺陷:Timer支持基于绝对时间而不是相对时间的调度机制,因此任务的执行对系统时钟变化很敏感,而ScheduledThreadPoolExecutor只支持相对时间的调度。Timer在执行所有定时任务时只会创建一个线程。如果某个任务的执行时间过长,那么将破坏其他TimerTask的定时精确性。Timer的另一个问题是,如果TimerTask抛出了一个未检查的异常,那么Timer将表现出糟糕的行为。Timer线程并不波或异常,因此当TimerTask抛出为检测的异常时将终止定时线程。

JDK5或者更高的JDK中已经很少使用Timer.

18. 线程安全的单例模式

建议不要采用DCL的写法,建议使用下面这种写法:

1
2
3
4
5
6
7
8
9
10
11
12
public class LazyInitHolderSingleton { 
         private LazyInitHolderSingleton() { 
        
 
         private static class SingletonHolder { 
                 private static final LazyInitHolderSingleton INSTANCE = new LazyInitHolderSingleton(); 
        
 
         public static LazyInitHolderSingleton getInstance() { 
                 return SingletonHolder.INSTANCE; 
        
}

或者这种:

1
2
3
4
public enum SingletonClass
{
     INSTANCE;
}

19. 线程组ThreadGroup

为了有效地对一些线程进行组织管理,通常的情况下事创建一个线程组,然后再将部分线程归属到该组中,这样可以对零散的线程对象进行有效的组织和规划。参考以下案例:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
ThreadGroup tgroup = new ThreadGroup( "mavelous zzh" );
new Thread(tgroup, new Runnable(){
     @Override
     public void run()
     {
         System.out.println( "A: Begin: " +Thread.currentThread().getName());
         while (!Thread.currentThread().isInterrupted())
         {
 
         }
         System.out.println( "A: DEAD: " +Thread.currentThread().getName());
     }}).start();;
new Thread(tgroup, new Runnable(){
     @Override
     public void run()
     {
         System.out.println( "B: Begin: " +Thread.currentThread().getName());
         while (!Thread.currentThread().isInterrupted())
         {
 
         }
         System.out.println( "B: DEAD: " +Thread.currentThread().getName());
     }}).start();;
System.out.println(tgroup.activeCount());
System.out.println(tgroup.getName());
System.out.println(tgroup.getMaxPriority());
System.out.println(tgroup.getParent());
TimeUnit.SECONDS.sleep( 5 );
tgroup.interrupt();

输出:

1
2
3
4
5
6
7
8
A: Begin: Thread- 0
2
mavelous zzh
10
B: Begin: Thread- 1
java.lang.ThreadGroup[name=main,maxpri= 10 ]
B: DEAD: Thread- 1
A: DEAD: Thread- 0

20. 多线程的异常捕获UncaughtExceptionHandler

setUncaughtExceptionHandler()的作用是对指定线程对象设置默认的异常处理器。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Thread thread = new Thread( new Runnable(){
     @Override
     public void run()
     {
         int a= 1 / 0 ;
     }
});
thread.setUncaughtExceptionHandler( new UncaughtExceptionHandler(){
     @Override
     public void uncaughtException(Thread t, Throwable e)
     {
         System.out.println( "线程:" +t.getName()+ " 出现了异常:" +e.getMessage());
     }
});
thread.start();

输出:线程:Thread-0 出现了异常:/ by zero
setDefaultUncaughtExceptionHandler()方法对所有线程对象设置异常处理器。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Thread thread = new Thread( new Runnable(){
     @Override
     public void run()
     {
         int a= 1 / 0 ;
     }
});
Thread.setDefaultUncaughtExceptionHandler( new UncaughtExceptionHandler(){
     @Override
     public void uncaughtException(Thread t, Throwable e)
     {
         System.out.println( "线程:" +t.getName()+ " 出现了异常:" +e.getMessage());
     }
});
thread.start();

输出同上,注意两者之间的区别。如果既包含setUncaughtExceptionHandler又包含setDefaultUncaughtExceptionHandler那么会被setUncaughtExceptionHandler处理,setDefaultUncaughtExceptionHandler则忽略。更多详细信息参考《JAVA多线程之UncaughtExceptionHandler——处理非正常的线程中止

21.ReentrantLock与synchonized区别

  • ReentrantLock可以中断地获取锁(void lockInterruptibly() throws InterruptedException)
  • ReentrantLock可以尝试非阻塞地获取锁(boolean tryLock())
  • ReentrantLock可以超时获取锁。通过tryLock(timeout, unit),可以尝试获得锁,并且指定等待的时间。
  • ReentrantLock可以实现公平锁。通过new ReentrantLock(true)实现。
  • ReentrantLock对象可以同时绑定多个Condition对象,而在synchronized中,锁对象的的wait(), notify(), notifyAll()方法可以实现一个隐含条件,如果要和多于一个的条件关联的对象,就不得不额外地添加一个锁,而ReentrantLock则无需这样做,只需要多次调用newCondition()方法即可。

22. 使用多线程的优势

更多的处理器核心;更快的响应时间;更好的编程模型。

23. 构造线程

一个新构造的线程对象是由其parent线程来进行空间分配的,而child线程继承了parent线程的:是否为Daemon、优先级、加载资源的contextClassLoader以及InheritableThreadLocal(参考第12条),同时还会分配一个唯一的ID来标志这个child线程。

24. 使用多线程的方式

extends Thread 或者implements Runnable

25. 读写锁

读写锁在同一时刻可以允许多个读线程访问,但是在写线程访问时,所有的读线程和其他写线程均被阻塞。读写锁维护了一对锁,一个读锁和一个写锁,通过分离读锁和写锁,使得并发性相比一般的排它锁有了很大的提升。Java中使用ReentrantReadWriteLock实现读写锁,读写锁的一般写法如下(修改自JDK7中的示例):

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
    class RWDictionary {
    private final Map<String, Object> m = new TreeMap<String, Object>();
    private final ReentrantReadWriteLock rwl = new ReentrantReadWriteLock();
    private final Lock r = rwl.readLock();
    private final Lock w = rwl.writeLock();
 
    public Object get(String key)
    {
        r.lock();
        try
        {
            return m.get(key);
        }
        finally
        {
            r.unlock();
        }
    }
 
    public String[] allKeys()
    {
        r.lock();
        try
        {
            return (String[]) m.keySet().toArray();
        }
        finally
        {
            r.unlock();
        }
    }
 
    public Object put(String key, Object value)
    {
        w.lock();
        try
        {
            return m.put(key, value);
        }
        finally
        {
            w.unlock();
        }
    }
 
    public void clear()
    {
        w.lock();
        try
        {
            m.clear();
        }
        finally
        {
            w.unlock();
        }
    }
}

26.锁降级

锁降级是指写锁降级成读锁。如果当前线程拥有写锁,然后将其释放,最后获取读锁,这种分段完成的过程不能称之为锁降级。锁降级是指把持住(当前拥有的)写锁,再获取到读锁,最后释放(先前拥有的)写锁的过程。参考下面的示例:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
private final ReentrantReadWriteLock rwl = new ReentrantReadWriteLock();
private final Lock r = rwl.readLock();
private final Lock w = rwl.writeLock();
private volatile static boolean update = false ;
 
public void processData()
{
     r.lock();
     if (!update)
     {
         //必须先释放读锁
         r.unlock();
         //锁降级从写锁获取到开始
         w.lock();
         try
         {
             if (!update)
             {
                 //准备数据的流程(略)
                 update = true ;
             }
             r.lock();
         }
         finally
         {
             w.unlock();
         }
         //锁降级完成,写锁降级为读锁
     }
 
     try
     {
         //使用数据的流程(略)
     }
     finally
     {
         r.unlock();
     }
}

锁降级中的读锁是否有必要呢?答案是必要。主要是为了保证数据的可见性,如果当前线程不获取读锁而是直接释放写锁,假设此刻另一个线程(T)获取了写锁并修改了数据,那么当前线程无法感知线程T的数据更新。如果当前线程获取读锁,即遵循锁降级的步骤,则线程T将会被阻塞,直到当前线程使用数据并释放读锁之后,线程T才能获取写锁进行数据更新。

27. ConcurrentHashMap

ConcurrentHashMap是线程安全的HashMap,内部采用分段锁来实现,默认初始容量为16,装载因子为0.75f,分段16,每个段的HashEntry<K,V>[]大小为2。键值都不能为null。每次扩容为原来容量的2倍,ConcurrentHashMap不会对整个容器进行扩容,而只对某个segment进行扩容。在获取size操作的时候,不是直接把所有segment的count相加就可以可到整个ConcurrentHashMap大小,也不是在统计size的时候把所有的segment的put, remove, clean方法全部锁住,这种方法太低效。在累加count操作过程中,之前累加过的count发生变化的几率非常小,所有ConcurrentHashMap的做法是先尝试2(RETRIES_BEFORE_LOCK)次通过不锁住Segment的方式统计各个Segment大小,如果统计的过程中,容器的count发生了变化,再采用加锁的方式来统计所有的Segment的大小。

28. 线程安全的非阻塞队列

非阻塞队列有ConcurrentLinkedQueue, ConcurrentLinkedDeque。元素不能为null。以ConcurrentLinkedQueue为例,有头head和尾tail两个指针,遵循FIFO的原则进行入队和出队,方法有add(E e), peek()取出不删除, poll()取出删除, remove(Object o),size(), contains(Object o), addAll(Collection c), isEmpty()。ConcurrentLinkedDeque是双向队列,可以在头和尾两个方向进行相应的操作。

29. 阻塞队列

阻塞队列(BlockingQueue)是一个支持两个附加操作的队列。这两个附加的操作支持阻塞的插入和移除方法。
支持阻塞的插入方法:意思是当队列满时,队列会阻塞插入元素的线程,直到队列不满。
支持阻塞的移除方法:意思是队列为空时,获取元素的线程会等待队列变为非空。
任何阻塞队列中的元素都不能为null.

30. 阻塞队列的插入和移除操作处理方式:

方法-处理方法 抛出异常 返回特殊值 可能阻塞等待 可设定等待时间
入队 add(e) offer(e) put(e) offer(e,timeout,unit)
出队 remove() poll() take() poll(timeout,unit)
查看 element() peek() 无 无
如果是无界队列,队列不可能出现满的情况,所以使用put或offer方法永远不会被阻塞,而且使用offer方法时,该方法永远返回true.

31. Java里的阻塞队列

ArrayBlockingQueue:一个由数组结构组成的有界阻塞队列。
LinkedeBlockingQueue:一个有链表结构组成的有界阻塞队列。
PriorityBlockingQueue:一个支持优先级排序的无界阻塞队列
DelayQueue:一个使用优先级队列实现的无界阻塞队列。
SynchronousQueue:一个不存储元素的阻塞队列。
LinkedTransferQueue:一个由链表结构组成的无界阻塞队列。
LinkedBlockingDeque:一个由链表结构组成的双向阻塞队列。

32. ArrayBlockingQueue

此队列按照FIFO的原则对元素进行排序,可以设定为公平ArrayBlockingQueue(int capacity, boolean fair),默认为不公平。初始化时必须设定容量大小ArrayBlockingQueue(int capactiy)。

33. LinkedBlockingQueue

与ArrayBlockingQueue一样,按照FIFO原则进行排序,与ArrayBlockingQueue不同的是内部实现是一个链表结构,且不能设置为公平的。默认和最大长度为Integer.MAX_VALUE。

34. PriorityBlockingQueue

是一个支持优先级的无界阻塞队列,默认初始容量为11,默认情况下采用自然顺序升序排列,不能保证同优先级元素的顺序。内部元素要么实现Comparable接口,要么在初始化的时候指定构造函数的Comparator来对元素进行排序,有关Comparable与Comparator的细节可以参考:Comparable与Comparator浅析

35. DelayQueue

DelayQueue是一个支持延时获取元素的无界阻塞队列。内部包含一个PriorityQueue来实现,队列中的元素必须实现Delay接口,在创建元素时可以指定多久才能从队列中获取当前元素。只有在延迟期满时才能从队列中提取元素。
DelayQueue非常有用,可以将DelayQueue运用在下面应用场景。
- 缓存系统的设计:可以用DelayQueue保存缓存元素的有效期,使用一个线程循环查询DelayQueue,一旦能从DelayQueue中获取元素时,表示缓存有效期到了。
- 定时任务调度:使用DelayQueue保存当天将会执行的任务和执行时间,一旦从DelayQueue中获取到任务就开始执行,比如TimerQueue就是使用DelayQueue实现的。

36. SynchronousQueue

是一个不存储元素的阻塞队列,每一个put操作必须等待一个take操作,否则不能继续添加元素,非常适合传递性场景。支持公平访问队列。默认情况下线程采用非公平策略访问队列。

37. LinkedTransferQueue

是一个由链表结构组成的无界阻塞TransferQueue队列。相对于其他阻塞队列,LinkedTransferQueue多了tryTransfer和transfer方法。
transfer方法:如果当前有消费者正在等待接收元素(消费者使用take()或者带时间限制的poll方法时),transfer方法可以把生产者传入的元素立刻transfer给消费者,如果没有消费者在等待接收元素,transfer方法会将元素存放在队列的tail节点,并等到该元素被消费者消费了才返回。
tryTransfer方法:用来试探生产者传入的元素是否能直接传给消费者。如果没有消费者等待接收元素,则返回false。和transfer方法的区别是tryTransfer方法无论消费者是否接收,方法立刻返回,而transfer方法是必须等到消费者消费了才返回。

38. LinkedBlockingDeque

LinkedBlockingDeque是一个由链表结构组成的双向阻塞队列。所谓双向队列是指可以从队列的两端插入和移除元素。双向队列因为多了一个操作队列的入口,在多线程同时入队时,也就减少了一半的竞争。相对其他的阻塞队列,LinkedBlockingDeque多了addFirst, addLast, offerFirst, offerLast, peekFirst, peekLast等方法,

39. Fork/Join框架

Fork/Join框架是JDK7提供的一个用于并行执行任务的框架,是一个把大任务切分为若干子任务并行的执行,最终汇总每个小任务后得到大任务结果的框架。我们再通过Fork和Join来理解下Fork/Join框架。Fork就是把一个大任务划分成为若干子任务并行的执行,Join就是合并这些子任务的执行结果,最后得到这个大任务的结果。

使用Fork/Join框架时,首先需要创建一个ForkJoin任务,它提供在任务中执行fork()和join操作的机制。通常情况下,我们不需要直接继承ForkJoinTask,只需要继承它的子类,Fork/Join框架提供了两个子类:RecursiveAction用于没有返回结果的任务;RecursiveTask用于有返回结果的任务。ForkJoinTask需要通过ForkJoinPool来执行。

任务分割出的子任务会添加到当前工作线程所维护的双端队列中,进入队列的头部。当一个工作线程的队列里暂时没有任务时,它会随机从其他工作线程的队列的尾部获取一个任务。(工作窃取算法work-stealing)

示例:计算1+2+3+…+100的结果。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
import java.util.concurrent.ExecutionException;
import java.util.concurrent.ForkJoinPool;
import java.util.concurrent.Future;
import java.util.concurrent.RecursiveTask;
 
public class CountTask extends RecursiveTask<Integer>
{
     private static final int THRESHOLD = 10 ;
     private int start;
     private int end;
 
     public CountTask( int start, int end)
     {
         super ();
         this .start = start;
         this .end = end;
     }
 
     @Override
     protected Integer compute()
     {
         int sum = 0 ;
         boolean canCompute = (end-start) <= THRESHOLD;
         if (canCompute)
         {
             for ( int i=start;i<=end;i++)
             {
                 sum += i;
             }
         }
         else
         {
             int middle = (start+end)/ 2 ;
             CountTask leftTask = new CountTask(start,middle);
             CountTask rightTask = new CountTask(middle+ 1 ,end);
             leftTask.fork();
             rightTask.fork();
             int leftResult = leftTask.join();
             int rightResult = rightTask.join();
             sum = leftResult+rightResult;
         }
 
         return sum;
     }
 
     public static void main(String[] args)
     {
         ForkJoinPool forkJoinPool = new ForkJoinPool();
         CountTask task = new CountTask( 1 , 100 );
         Future<Integer> result = forkJoinPool.submit(task);
         try
         {
             System.out.println(result.get());
         }
         catch (InterruptedException | ExecutionException e)
         {
             e.printStackTrace();
         }
 
         if (task.isCompletedAbnormally()){
             System.out.println(task.getException());
         }
     }
}

40. 原子类

Java中Atomic包里一共提供了12个类,属于4种类型的原子更新方式,分别是原子更新基本类型、原子更新数组、原子更新引用、原子更新属性(字段)。Atomic包里的类基本都是使用Unsafe实现的包装类。
1)原子更新基本类型:AtomicBoolean,AtomicInteger, AtomicLong.
2)原子更新数组:AtomicIntegerArray,AtomicLongArray, AtomicReferenceArray.
3)原子更新引用类型:AtomicReference, AtomicStampedReference, AtomicMarkableReference.
4 ) 原子更新字段类型:AtomicReferenceFieldUpdater, AtomicIntegerFieldUpdater, AtomicLongFieldUpdater.

41. 原子更新基本类型

AtomicBoolean,AtomicInteger, AtomicLong三个类提供的方法类似,以AtomicInteger为例:有int addAndGet(int delta), boolean compareAndSet(int expect, int update), int getAndIncrement(), void lazySet(int newValue),int getAndSet(int newValue)。其中大多数的方法都是调用compareAndSet方法实现的,譬如getAndIncrement():

1
2
3
4
5
6
7
8
9
10
11
public final int getAndIncrement() {
     for (;;) {
         int current = get();
         int next = current + 1 ;
         if (compareAndSet(current, next))
             return current;
     }
}
public final boolean compareAndSet( int expect, int update) {
     return unsafe.compareAndSwapInt( this , valueOffset, expect, update);
}

sun.misc.Unsafe只提供三种CAS方法:compareAndSwapObject, compareAndSwapInt和compareAndSwapLong,再看AtomicBoolean源码,发现它是先把Boolean转换成整形,再使用compareAndSwapInt进行CAS,原子更新char,float,double变量也可以用类似的思路来实现。

42. 原子更新数组

以AtomicIntegerArray为例,此类主要提供原子的方式更新数组里的整形,常用方法如下:
int addAndGet(int i, int delta):以原子的方式将输入值与数组中索引i的元素相加。
boolean compareAndSet(int i, int expect, int update):如果当前值等于预期值,则以原子方式将数组位置i的元素设置成update值。
AtomicIntegerArray的两个构造方法:
AtomicIntegerArray(int length):指定数组的大小,并初始化为0
AtomicIntegerArray(int [] array):对给定的数组进行拷贝。

案例:

1
2
3
4
5
int value[] = new int []{ 1 , 2 , 3 };
AtomicIntegerArray aia = new AtomicIntegerArray(value);
System.out.println(aia.getAndSet( 1 , 9 ));
System.out.println(aia.get( 1 ));
System.out.println(value[ 1 ]);

运行结果:2 9 2

43. CountDownLatch

CountDownLatch允许一个或多个线程等待其他线程完成操作。CountDownLatch的构造函数接收一个int类型的参数作为计数器,如果你想等待N个点完成,这里就传入N(CountDownLatch(int count))。

CountDownLatch的方法有:await(), await(long timeout, TimeUnit unit), countDown(), getCount()等。

计数器必须大于等于0,只是等于0的时候,计数器就是零,调用await方法时不会阻塞当前线程。CountDownLatch不可能重新初始化或者修改CountDownLatch对象的内部计数器的值。一个线程调用countDown方法happens-before另一个线程调用的await()方法。

44. CyclicBarrier

让一组线程达到一个屏障时被阻塞,知道最后一个线程到达屏障时,屏障才会开门,所有被屏障拦截的线程才会继续运行。CyclicBarrier默认的构造方法是CyclicBarrier(int parties),其参数表示屏障拦截的线程数量,每个线程调用await方法告诉CyclicBarrier我已经达到了屏障,然后当前线程被阻塞。CyclicBarrier还提供了一个更高级的构造函数CyclicBarrier(int parties, Runnable barrierAction)用于在线程达到屏障时,优先执行barrierAction,方便处理更复杂的业务场景,举例如下。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
import java.util.concurrent.BrokenBarrierException;
import java.util.concurrent.CyclicBarrier;
 
public class CyclicBarrierTest
{
     static CyclicBarrier c = new CyclicBarrier( 2 , new A());
 
     public static void main(String[] args)
     {
         new Thread( new Runnable(){
             @Override
             public void run()
             {
                 try
                 {
                     System.out.println( 1 );
                     c.await();
                 }
                 catch (InterruptedException | BrokenBarrierException e)
                 {
                     e.printStackTrace();
                 }
                 System.out.println( 2 );
             }
         }).start();
 
         try
         {
             System.out.println( 3 );
             c.await();
         }
         catch (InterruptedException | BrokenBarrierException e)
         {
             e.printStackTrace();
         }
         System.out.println( 4 );
     }
 
     static class A implements Runnable
     {
         @Override
         public void run()
         {
             System.out.println( 5 );
         }
     }
}

输出结果:3 1 5 2 4

45. CyclicBarrier和CountDownLatch的区别

CountDownLatch的计数器只能使用一次,而CyclicBarrier的计数器可以使用reset()方法重置。

46. Semaphore

Semaphore(信号量)是用来控制同事访问特定资源的线程数量,它协调各个线程,以保证合理的使用公共资源。Semaphore有两个构造函数:Semaphore(int permits)默认是非公平的,Semaphore(int permits, boolean fair)可以设置为公平的。应用案例如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
public class SemaphoreTest
{
     private static final int THREAD_COUNT= 30 ;
     private static ExecutorService threadPool = Executors.newFixedThreadPool( 30 );
     private static Semaphore s = new Semaphore( 10 );
 
     public static void main(String[] args)
     {
         for ( int i= 0 ;i<THREAD_COUNT;i++)
         {
             final int a = i;
             threadPool.execute( new Runnable(){
                 @Override
                 public void run()
                 {
                     try
                     {
                         s.acquire();
                         System.out.println( "do something...." +a);
                         s.release();
                     }
                     catch (InterruptedException e)
                     {
                         e.printStackTrace();
                     }
                 }
             });
         }
         threadPool.shutdown();
     }
}

由上例可以看出Semaphore的用法非常的简单,首先线程使用Semaphore的acquire()方法获取一个许可证,使用完之后调用release()方法归还许可证。还可以用tryAcquire()方法尝试获取许可证。Semaphore还提供了一些其他方法: int availablePermits()返回此信号量中当前可用的许可证数;int getQueueLength()返回正在等待获取许可证的线程数;boolean hasQueuedThreads()是否有线程正在等待获取许可证;void reducePermits(int reduction)减少reduction个许可证,是个protected方法;Collection<Thread> getQueuedThreads()返回所有等待获取许可证的线程集合,也是一个protected方法。

47. 线程间交换数据的Exchanger

Exchanger是一个用于线程间协作的工具类。Exchanger用于进行线程间的数据交换。它提供一个同步点,在这个同步点,两个线程可以交换彼此的数据。这两个线程通过exchange方法交换数据,如果第一个线程先执行exchange()方法,它会一直等待第二个线程也执行exchange方法。当两个线程都到达同步点时,这两个线程就可以交换数据,将本现场生产出来的数据传递给对方。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
import java.util.concurrent.Exchanger;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
 
public class ExchangerTest
{
     private static final Exchanger<String> exchanger = new Exchanger<>();
     private static ExecutorService threadPool = Executors.newFixedThreadPool( 2 );
 
     public static void main(String[] args)
     {
         threadPool.execute( new Runnable(){
             @Override
             public void run()
             {
                 String A = "I'm A!" ;
                 try
                 {
                     String B = exchanger.exchange(A);
                     System.out.println( "In 1-" +Thread.currentThread().getName()+ ": " +B);
                 }
                 catch (InterruptedException e)
                 {
                     e.printStackTrace();
                 }
             }
         });
 
         threadPool.execute( new Runnable(){
             @Override
             public void run()
             {
                 try
                 {
                     String B= "I'm B!" ;
                     String A = exchanger.exchange(B);
                     System.out.println( "In 2-" +Thread.currentThread().getName()+ ": " +A);
                 }
                 catch (InterruptedException e)
                 {
                     e.printStackTrace();
                 }
             }
         });
         threadPool.shutdown();
     }
}

输出结果:

1
2
In 2 -pool- 1 -thread- 2 : I'm A!
In 1 -pool- 1 -thread- 1 : I'm B!

如果两个线程有一个没有执行exchange(V x)方法,则会一直等待,如果担心有特殊情况发生,避免一直等待,可以使用exchange(V x, long timeout, TimeUnit unit)设置最大等待时长。

48. Java中的线程池ThreadPoolExecutor

可以通过ThreadPoolExecutor来创建一个线程池:

1
ThreadPoolExecutor( int corePoolSize, int maximumPoolSize, long keepAliveTime, TimeUnit unit, BlockingQueue<Runnable> workQueue, ThreadFactory threadFactory, RejectedExecutionHandler handler)

1. corePoolSize(线程池基本大小):当向线程池提交一个任务时,若线程池已创建的线程数小于corePoolSize,即便此时存在空闲线程,也会通过创建一个新线程来执行该任务,直到已创建的线程数大于或等于corePoolSize时,才会根据是否存在空闲线程,来决定是否需要创建新的线程。除了利用提交新任务来创建和启动线程(按需构造),也可以通过 prestartCoreThread() 或 prestartAllCoreThreads() 方法来提前启动线程池中的基本线程。
2. maximumPoolSize(线程池最大大小):线程池所允许的最大线程个数。当队列满了,且已创建的线程数小于maximumPoolSize,则线程池会创建新的线程来执行任务。另外,对于无界队列,可忽略该参数。
3. keepAliveTime(线程存活保持时间):默认情况下,当线程池的线程个数多于corePoolSize时,线程的空闲时间超过keepAliveTime则会终止。但只要keepAliveTime大于0,allowCoreThreadTimeOut(boolean) 方法也可将此超时策略应用于核心线程。另外,也可以使用setKeepAliveTime()动态地更改参数。
4. unit(存活时间的单位):时间单位,分为7类,从细到粗顺序:NANOSECONDS(纳秒),MICROSECONDS(微妙),MILLISECONDS(毫秒),SECONDS(秒),MINUTES(分),HOURS(小时),DAYS(天);
5. workQueue(任务队列):用于传输和保存等待执行任务的阻塞队列。可以使用此队列与线程池进行交互:

  • 如果运行的线程数少于 corePoolSize,则 Executor 始终首选添加新的线程,而不进行排队。
  • 如果运行的线程数等于或多于 corePoolSize,则 Executor 始终首选将请求加入队列,而不添加新的线程。
  • 如果无法将请求加入队列,则创建新的线程,除非创建此线程超出 maximumPoolSize,在这种情况下,任务将被拒绝。

6. threadFactory(线程工厂):用于创建新线程。由同一个threadFactory创建的线程,属于同一个ThreadGroup,创建的线程优先级都为Thread.NORM_PRIORITY,以及是非守护进程状态。threadFactory创建的线程也是采用new Thread()方式,threadFactory创建的线程名都具有统一的风格:pool-m-thread-n(m为线程池的编号,n为线程池内的线程编号);
7. handler(线程饱和策略):当线程池和队列都满了,则表明该线程池已达饱和状态。

  • ThreadPoolExecutor.AbortPolicy:处理程序遭到拒绝,则直接抛出运行时异常 RejectedExecutionException。(默认策略)
  • ThreadPoolExecutor.CallerRunsPolicy:调用者所在线程来运行该任务,此策略提供简单的反馈控制机制,能够减缓新任务的提交速度。
  • ThreadPoolExecutor.DiscardPolicy:无法执行的任务将被删除。
  • ThreadPoolExecutor.DiscardOldestPolicy:如果执行程序尚未关闭,则位于工作队列头部的任务将被删除,然后重新尝试执行任务(如果再次失败,则重复此过程)。

可以使用两个方法向线程池提交任务,分别为execute()和submit()方法。execute()方法用于提交不需要返回值的任务,所以无法判断任务是否被线程池执行成功。submit()方法用于提交需要返回值的任务,线程池会返回一个Future类型的对象,通过这个对象可以判断任务是否执行成功。如Future<Object> future = executor.submit(task);

利用线程池提供的参数进行监控,参数如下:

  • getTaskCount():线程池需要执行的任务数量。
  • getCompletedTaskCount():线程池在运行过程中已完成的任务数量,小于或等于taskCount。
  • getLargestPoolSize():线程池曾经创建过的最大线程数量,通过这个数据可以知道线程池是否满过。如等于线程池的最大大小,则表示线程池曾经满了。
  • getPoolSize():线程池的线程数量。如果线程池不销毁的话,池里的线程不会自动销毁,所以这个大小只增不减。
  • getActiveCount():获取活动的线程数。

49. shutdown和shutdownNow

可以调用线程池的shutdown或者shutdownNow方法来关闭线程池。他们的原理是遍历线程池的工作线程,然后逐个调用线程的interrupt方法来中断线程,所以无法响应中断的任务可能永远无法停止。

区别:shutdown方法将执行平缓的关闭过程:不在接收新的任务,同时等待已提交的任务执行完成——包括哪些还未开始执行的任务。shutdownNow方法将执行粗暴的关闭过程:它将尝试取消所有运行中的任务,并且不再启动队列中尚未开始执行的任务。

只要调用了这两个关闭方法中的任意一个,isShutdown方法就会返回true,当所有的任务都已关闭后,才表示线程池关闭成功,这时调用isTerminated方法会返回true。至于应该调用哪一种方法来关闭线程池,应该由提交到线程池的任务特性决定,通常调用shutdown方法来关闭线程池,如果任务不一定要执行完,则可以调用shutdownNow方法。

50. 扩展ThreadPoolExecutor

可以通过继承线程池来自定义线程池,重写线程池的beforeExecute, afterExecute和terminated方法。在执行任务的线程中将调用beforeExecute和afterExecute等方法,在这些方法中还可以添加日志、计时、监视或者统计信息收集的功能。无论任务是从run中正常返回,还是抛出一个异常而返回,afterExecute都会被调用。如果任务在完成后带有一个Error,那么就不会调用afterExecute。如果beforeExecute抛出一个RuntimeException,那么任务将不被执行,并且afterExecute也不会被调用。在线程池完成关闭时调用terminated,也就是在所有任务都已经完成并且所有工作者线程也已经关闭后,terminated可以用来释放Executor在其生命周期里分配的各种资源,此外还可以执行发送通知、记录日志或者手机finalize统计等操作。详细可以参考《JAVA多线程之扩展ThreadPoolExecutor

51. SimpleDateFormat非线程安全

当多个线程共享一个SimpleDateFormat实例的时候,就会出现难以预料的异常。

主要原因是parse()方法使用calendar来生成返回的Date实例,而每次parse之前,都会把calendar里的相关属性清除掉。问题是这个calendar是个全局变量,也就是线程共享的。因此就会出现一个线程刚把calendar设置好,另一个线程就把它给清空了,这时第一个线程再parse的话就会有问题了。

解决方案:1. 每次使用时创建一个新的SimpleDateFormat实例;2. 创建一个共享的SimpleDateFormat实例变量,并对这个变量进行同步;3. 使用ThreadLocal为每个线程都创建一个独享的SimpleDateFormat实例变量。

52. CopyOnWriteArrayList

在每次修改时,都会创建并重新发布一个新的容器副本,从而实现可变现。CopyOnWriteArrayList的迭代器保留一个指向底层基础数组的引用,这个数组当前位于迭代器的起始位置,由于它不会被修改,因此在对其进行同步时只需确保数组内容的可见性。因此,多个线程可以同时对这个容器进行迭代,而不会彼此干扰或者与修改容器的线程相互干扰。“写时复制”容器返回的迭代器不会抛出ConcurrentModificationException并且返回的元素与迭代器创建时的元素完全一致,而不必考虑之后修改操作所带来的影响。显然,每当修改容器时都会复制底层数组,这需要一定的开销,特别是当容器的规模较大时,仅当迭代操作远远多于修改操作时,才应该使用“写入时赋值”容器。

53. 工作窃取算法(work-stealing)

工作窃取算法是指某个线程从其他队列里窃取任务来执行。在生产-消费者设计中,所有消费者有一个共享的工作队列,而在work-stealing设计中,每个消费者都有各自的双端队列,如果一个消费者完成了自己双端队列中的全部任务,那么它可以从其他消费者双端队列末尾秘密地获取工作。

优点:充分利用线程进行并行计算,减少了线程间的竞争。
缺点:在某些情况下还是存在竞争,比如双端队列(Deque)里只有一个任务时。并且该算法会消耗了更多的系统资源,比如创建多个线程和多个双端队列。

54. Future & FutureTask

FutureTask表示的计算是通过Callable来实现的,相当于一种可生产结果的Runnable,并且可以处于一下3种状态:等待运行,正在运行和运行完成。运行表示计算的所有可能结束方式,包括正常结束、由于取消而结束和由于异常而结束等。当FutureTask进入完成状态后,它会永远停止在这个状态上。Future.get的行为取决于任务的状态,如果任务已经完成,那么get会立刻返回结果,否则get将阻塞知道任务进入完成状态,然后返回结果或者异常。FutureTask的使用方式如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
public class Preloader
{
     //method1
     private final static FutureTask<Object> future = new FutureTask<Object>( new Callable<Object>(){
         @Override
         public Object call() throws Exception
         {
             return "yes" ;
         }
     });
 
     //method2
     static ExecutorService executor = Executors.newFixedThreadPool(Runtime.getRuntime().availableProcessors());
     private static final Future<Object> futureExecutor = executor.submit( new Callable<Object>(){
         @Override
         public Object call() throws Exception
         {
             return "no" ;
         }
     });       
 
     public static void main(String[] args) throws InterruptedException, ExecutionException
     {
         executor.shutdown();
         future.run();
         System.out.println(future.get());
         System.out.println(futureExecutor.get());
     }
}

运行结果:yes no
Callable表示的任务可以抛出受检查或未受检查的异常,并且任何代码都可能抛出一个Error.无论任务代码抛出什么异常,都会被封装到一个ExecutionException中,并在Future.get中被重新抛出。

55. Executors

newFixedThreadPool:创建一个固定长度的线程池,每当提交一个任务时就创建一个线程,直到达到线程池的最大数量,这时线程池的规模将不再变化(如果某个线程由于发生了未预期的Exception而结束,那么线程池会补充一个新的线程)。(LinkedBlockingQueue)

newCachedThreadPool:创建一个可换成的线程池,如果线程池的当前规模超过了处理需求时,那么将回收空闲的线程,而当需求增加时,则可以添加新的线程,线程池的规模不存在任何限制。(SynchronousQueue)
newSingleThreadExecutor:是一个单线程的Executor,它创建单个工作者线程来执行任务,如果这个线程异常结束,会创建另一个线程来替代。能确保一组任务在队列中的顺序来串行执行。(LinkedBlockingQueue)
newScheduledThreadPool:创建了一个固定长度的线程池,而且以延迟或者定时的方式来执行任务,类似于Timer。

56. ScheduledThreadPoolExecutor替代Timer

由第17项可知Timer有两个缺陷,在JDK5开始就很少使用Timer了,取而代之的可以使用ScheduledThreadPoolExecutor。使用实例如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
import java.util.concurrent.Callable;
import java.util.concurrent.ExecutionException;
import java.util.concurrent.Executors;
import java.util.concurrent.ScheduledExecutorService;
import java.util.concurrent.ScheduledFuture;
import java.util.concurrent.TimeUnit;
 
public class ScheduleThreadPoolTest
{
     private static ScheduledExecutorService exec = Executors.newScheduledThreadPool( 2 );
 
     public static void method1()
     {
         exec.schedule( new Runnable(){
             @Override
             public void run()
             {
                 System.out.println( "1" );
             }}, 2 , TimeUnit.SECONDS);
     }
 
     public static void method2()
     {
         ScheduledFuture<String> future = exec.schedule( new Callable<String>(){
             @Override
             public String call() throws Exception
             {
                 return "Callable" ;
             }}, 4 , TimeUnit.SECONDS);
         try
         {
             System.out.println(future.get());
         }
         catch (InterruptedException | ExecutionException e)
         {
             e.printStackTrace();
         }
     }
 
     public static void main(String[] args)
     {
         method1();
         method2();
     }
}

运行结果:1 Callable

57. Callable & Runnable

Executor框架使用Runnable作为基本的任务表示形式。Runnable是一种有很大局限的抽象,虽然run能写入到日志文件或者将结果放入某个共享的数据结构,但它不能返回一个值或抛出一个受检查的异常。

许多任务实际上都是存在延迟的计算——执行数据库查询,从网络上获取资源,或者计算某个复杂的功能。对于这些任务,Callable是一种更好的抽象:它认为主入口点(call())将返回一个值,并可能抛出一个异常。

Runnable和Callable描述的都是抽象的计算任务。这些任务通常是有范围的,即都有一个明确的起始点,并且最终会结束。

58. CompletionService

如果想Executor提交了一组计算任务,并且希望在计算完成后获得结果,那么可以保留与每个任务关联的Future,然后反复使用get方法,同事将参数timeout指定为0,从而通过轮询来判断任务是否完成。这种方法虽然可行,但却有些繁琐。幸运的是,还有一种更好的方法:CompletionService。CompletionService将Executor和BlockingQueue的功能融合在一起。你可以将Callable任务提交给它来执行,然后使用类似于队列操作的take和poll等方法来获得已完成的结果,而这些结果会在完成时被封装为Future。ExecutorCompletionService实现了CompletionService,并将计算部分委托到一个Executor。代码示例如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
int coreNum = Runtime.getRuntime().availableProcessors();
ExecutorService executor = Executors.newFixedThreadPool(coreNum);
CompletionService<Object> completionService = new ExecutorCompletionService<Object>(executor);
 
for ( int i= 0 ;i<coreNum;i++)
{
     completionService.submit( new Callable<Object>(){
         @Override
         public Object call() throws Exception
         {
             return Thread.currentThread().getName();
         }});
}
 
for ( int i= 0 ;i<coreNum;i++)
{
     try
     {
         Future<Object> future = completionService.take();
         System.out.println(future.get());
     }
     catch (InterruptedException | ExecutionException e)
     {
         e.printStackTrace();
     }
}

运行结果:

1
2
3
4
pool- 1 -thread- 1
pool- 1 -thread- 2
pool- 1 -thread- 3
pool- 1 -thread- 4

可以通过ExecutorCompletionService(Executor executor, BlockingQueue<Future<V>> completionQueue)构造函数指定特定的BlockingQueue(如下代码剪辑),默认为LinkedBlockingQueue。

1
2
BlockingQueue<Future<Object>> bq = new LinkedBlockingQueue<Future<Object>>();
CompletionService<Object> completionService = new ExecutorCompletionService<Object>(executor,bq);

ExecutorCompletionService的JDK源码只有100行左右,有兴趣的朋友可以看看。

59. 通过Future来实现取消

ExecutorService.submit将返回一个Future来描述任务。Future拥有一个cancel方法,该方法带有一个boolean类型的参数mayInterruptIfRunning,表示取消操作是否成功。如果mayInterruptIfRunning为true并且任务当前正在某个线程运行,那么这个线程能被中断。如果这个参数为false,那么意味着“若任务还没启动,就不要运行它”,这种方式应该用于那些不处理中断的任务中。当Future.get抛出InterruptedException或TimeoutException时,如果你知道不再需要结果,那么就可以调用Futuure.cancel来取消任务。

60. 处理不可中断的阻塞

对于一下几种情况,中断请求只能设置线程的中断状态,除此之外没有其他任何作用。

  • Java.io包中的同步Socket I/O:虽然InputStream和OutputStream中的read和write等方法都不会响应中断,但通过关闭底层的套接字,可以使得由于执行read或write等方法而被阻塞的线程抛出一个SocketException。
  • Java.io包中的同步I/O:当中断一个在InterruptibleChannel上等待的线程时会抛出ClosedByInterrptException并关闭链路。当关闭一个InterruptibleChannel时,将导致所有在链路操作上阻塞的线程都抛出AsynchronousCloseException。
  • Selector的异步I/O:如果一个线程在调用Selector.select方法时阻塞了,那么调用close或wakeup方法会使线程抛出ClosedSelectorException并提前返回。
  • 获得某个锁:如果一个线程由于等待某个内置锁而阻塞,那么将无法响应中断,因为线程认为它肯定会获得锁,所以将不会理会中断请求,但是在Lock类中提供了lockInterruptibly方法,该方法允许在等待一个锁的同时仍能响应中断。

61. 关闭钩子

JVM既可以正常关闭也可以强制关闭,或者说非正常关闭。关闭钩子可以在JVM关闭时执行一些特定的操作,譬如可以用于实现服务或应用程序的清理工作。关闭钩子可以在一下几种场景中应用:1. 程序正常退出(这里指一个JVM实例);2.使用System.exit();3.终端使用Ctrl+C触发的中断;4. 系统关闭;5. OutOfMemory宕机;6.使用Kill pid命令干掉进程(注:在使用kill -9 pid时,是不会被调用的)。使用方法(Runtime.getRuntime().addShutdownHook(Thread hook))。更多内容可以参考JAVA虚拟机关闭钩子(Shutdown Hook)

62. 终结器finalize

终结器finalize:在回收器释放它们后,调用它们的finalize方法,从而保证一些持久化的资源被释放。在大多数情况下,通过使用finally代码块和显示的close方法,能够比使用终结器更好地管理资源。唯一例外情况在于:当需要管理对象,并且该对象持有的资源是通过本地方法获得的。但是基于一些原因(譬如对象复活),我们要尽量避免编写或者使用包含终结器的类。

63. 线程工厂ThreadFactory

每当线程池(ThreadPoolExecutor)需要创建一个线程时,都是通过线程功夫方法来完成的。默认的线程工厂方法将创建一个新的、非守护的线程,并且不包含特殊的配置信息。通过指定一个线程工厂方法,可以定制线程池的配置信息。在ThreadFactory中只定义了一个方法newThread,每当线程池需要创建一个新线程时都会调用这个方法。默认的线程工厂(DefaultThreadFactory 是Executors的内部类)如下:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
static class DefaultThreadFactory implements ThreadFactory {
     private static final AtomicInteger poolNumber = new AtomicInteger( 1 );
     private final ThreadGroup group;
     private final AtomicInteger threadNumber = new AtomicInteger( 1 );
     private final String namePrefix;
 
     DefaultThreadFactory() {
         SecurityManager s = System.getSecurityManager();
         group = (s != null ) ? s.getThreadGroup() :
                               Thread.currentThread().getThreadGroup();
         namePrefix = "pool-" +
                       poolNumber.getAndIncrement() +
                      "-thread-" ;
     }
 
     public Thread newThread(Runnable r) {
         Thread t = new Thread(group, r,
                               namePrefix + threadNumber.getAndIncrement(),
                               0 );
         if (t.isDaemon())
             t.setDaemon( false );
         if (t.getPriority() != Thread.NORM_PRIORITY)
             t.setPriority(Thread.NORM_PRIORITY);
         return t;
     }
}

通过implements ThreadFactory可以定制线程工厂。譬如,你希望为线程池中的线程指定一个UncaughtExceptionHandler,或者实例化一个定制的Thread类用于执行调试信息的记录。

64. synchronized与ReentrantLock之间进行选择

由第21条可知ReentrantLock与synchronized想必提供了许多功能:定时的锁等待,可中断的锁等待、公平锁、非阻塞的获取锁等,而且从性能上来说ReentrantLock比synchronized略有胜出(JDK6起),在JDK5中是远远胜出,为嘛不放弃synchronized呢?ReentrantLock的危险性要比同步机制高,如果忘记在finnally块中调用unlock,那么虽然代码表面上能正常运行,但实际上已经埋下了一颗定时炸弹,并很可能伤及其他代码。仅当内置锁不能满足需求时,才可以考虑使用ReentrantLock.

65. Happens-Before规则

程序顺序规则:如果程序中操作A在操作B之前,那么在线程中A操作将在B操作之前。
监视器锁规则:一个unlock操作现行发生于后面对同一个锁的lock操作。
volatile变量规则:对一个volatile变量的写操作先行发生于后面对这个变量的读操作,这里的“后面”同样是指时间上的先后顺序。
线程启动规则:Thread对象的start()方法先行发生于此线程的每一个动作。
线程终止规则:线程的所有操作都先行发生于对此线程的终止检测,我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值等于段检测到线程已经终止执行。
线程中断规则:线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生。
终结器规则:对象的构造函数必须在启动该对象的终结器之前执行完成。
传递性:如果操作A先行发生于操作B,操作B先行发生于操作C,那就可以得出操作A先行发生于操作C的结论。

注意:如果两个操作之间存在happens-before关系,并不意味着java平台的具体实现必须要按照Happens-Before关系指定的顺序来执行。如果重排序之后的执行结果,与按happens-before关系来执行的结果一致,那么这种重排序并不非法。

66. as-if-serial

不管怎么重排序,程序执行结果不能被改变。

67. ABA问题

ABA问题发生在类似这样的场景:线程1转变使用CAS将变量A的值替换为C,在此时,线程2将变量的值由A替换为C,又由C替换为A,然后线程1执行CAS时发现变量的值仍为A,所以CAS成功。但实际上这时的现场已经和最初的不同了。大多数情况下ABA问题不会产生什么影响。如果有特殊情况下由于ABA问题导致,可用采用AtomicStampedReference来解决,原理:乐观锁+version。可以参考下面的案例来了解其中的不同。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
public class ABAQuestion
{
     private static AtomicInteger atomicInt = new AtomicInteger( 100 );
     private static AtomicStampedReference<Integer> atomicStampedRef = new AtomicStampedReference<Integer>( 100 , 0 );
 
     public static void main(String[] args) throws InterruptedException
     {
         Thread thread1 = new Thread( new Runnable(){
             @Override
             public void run()
             {
                 atomicInt.compareAndSet( 100 , 101 );
                 atomicInt.compareAndSet( 101 , 100 );
             }
         });
 
         Thread thread2 = new Thread( new Runnable(){
             @Override
             public void run()
             {
                 try
                 {
                     TimeUnit.SECONDS.sleep( 1 );
                 }
                 catch (InterruptedException e)
                 {
                     e.printStackTrace();
                 }
                 boolean c3 = atomicInt.compareAndSet( 100 , 101 );
                 System.out.println(c3);
             }
         });
 
         thread1.start();
         thread2.start();
         thread1.join();
         thread2.join();
 
         Thread thread3 = new Thread( new Runnable(){
             @Override
             public void run()
             {
                 try
                 {
                     TimeUnit.SECONDS.sleep( 1 );
                 }
                 catch (InterruptedException e)
                 {
                     e.printStackTrace();
                 }
                 atomicStampedRef.compareAndSet( 100 , 101 , atomicStampedRef.getStamp(), atomicStampedRef.getStamp()+ 1 );
                 atomicStampedRef.compareAndSet( 101 , 100 , atomicStampedRef.getStamp(), atomicStampedRef.getStamp()+ 1 );
             }
         });
 
         Thread thread4 = new Thread( new Runnable(){
             @Override
             public void run()
             {
                 int stamp = atomicStampedRef.getStamp();
                 try
                 {
                     TimeUnit.SECONDS.sleep( 2 );
                 }
                 catch (InterruptedException e)
                 {
                     e.printStackTrace();
                 }
                 boolean c3 = atomicStampedRef.compareAndSet( 100 , 101 , stamp, stamp+ 1 );
                 System.out.println(c3);
             }
         });
         thread3.start();
         thread4.start();
     }
}

输出结果:true false



参考资料

1. 《Java多线程编程核心技术》高洪岩著。
2. 《Java并发编程的艺术》方腾飞 等著。
3. 《Java并发编程实战》Brian Goetz等著。
4. 深入JDK源码之ThreadLocal类
5. JAVA多线程之扩展ThreadPoolExecutor
6. Comparable与Comparator浅析
7. JAVA多线程之UncaughtExceptionHandler——处理非正常的线程中止
8. JAVA线程间协作:Condition
9. JAVA线程间协作:wait.notify.notifyAll
10. Java中的锁
11. Java守护线程概述
12. Java SimpleDateFormat的线程安全性问题


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值