java中concurrent包内容
有BlockingQueue及其相关的类,跟阻塞队列有关系。前面已经做过介绍
ConcurrentHashMap,ConcurrentLinkedQueue等,这些是相关集合的线程同步版本。
CopyOnWriteArrayList,也是一种并发用的容器,当我们改变这个数组的时候,先复制一个副本,修改这个副本,再复制回去。这样就实现了读写分离,适用于读多写少的并发场景。
CountDownLatch,这个类适用于这种情况:多个线程同时工作,然后其中几个可以随意并发执行,但有一个线程需要等其他线程工作结束后,才能开始。
该类里面维护一个计数器,通过构造器传入一个初始的count,里面有两个常用方法,一个是cutDown(),将计数器的数值-1,还有await(),调用await()的线程将一直阻塞,直到里面的计数器值为0。
CountedCompleter,这是个java8新增的类,我也看不懂是干啥的,有兴趣的读者自行阅读Java文档:http://docs.oracle.com/javase/8/docs/api/java/util/concurrent/CountedCompleter.html
CyclicBarrier,同步屏障。当有许多线程并发执行时,可以设置一个屏障,让所有线程执行到屏障时阻塞,直到最后一个线程运行到屏障时,才让所有线程继续往下执行。
DelayQueue,一个延迟阻塞队列,里面的对象只有在其到期的时候才能取走,否则阻塞线程。(之前第4期我们探讨过ScheduleThreadPoolExecutor的时候,里面就有这个东西)
Exchanger,可以在两个线程之间交换数据,只能是2个线程,他不支持更多的线程之间互换数据。
Executor一系列,跟线程池有关系。
ForkJoinPool,Fork/Join模式下的线程池。据说是对多核支持比较好。
Fork/Join框架,是java 7提供的一个用于并行执行任务的框架,是一个把大任务分割成若干个小任务,最终汇总每个小任务结果后得到大任务结果的框架。
工作窃取算法,是指某个线程从其他队列里窃取任务来执行。减少窃取任务与被窃取任务线程之间的竞争,通常会使用双端队列,分别从头部与尾部拿任务执行。优点是充分利用线程进行并行计算,减少了线程间的竞争。缺点是某些情况下还是存在竞争,比如双端队列中只有一个任务。并且该算法会消耗了更多的系统资源,比如创建多个线程和多个双端队列。
FutureTask,是Future的实现,用于获取Callable和Runnable对象的执行状态、结果等。
FutureTask除了实现Future接口外,还实现了Runnable接口。因此,FutureTask可以交给Executor执行,也可以由线程直接执行(FutureTask.run())
还可以通过ExecutorService.submit()方法返回一个FutureTask,然后执行FutureTask.get()方法或FutureTask.cancel()方法。
当一个线程需要等待另一个线程把某个任务执行完后才能继续执行,此时可以使用FutureTask
FutureTask的实现,也是通过内部静态类实现AbstractQueuedSynchronizer,队列同步器中的tryAcquireShared(int)和tryReleaseShared(int)方法,来检查和更新同步状态。
FutureTask.get()方法会调用AQS.acquireSharedInterruptibly(int arg)方法,这个方法执行过程如下
1)调用AQS.acquireSharedInterruptibly(int arg)方法,这个方法首先会回调在子类Sync中实现的tryAcquiredShared()方法来判断acquire操作是否可以成功。可以成功的条件:state为执行完成状态RAN或已取消状态CANCELLED,且runner不为null
2)如果成功则get()方法立即返回,如果失败则到线程等待队列中去等待其他线程执行release操作
3)当其他线程执行release操作(比如FutureTask.run()或FutureTask.cancel(...))唤醒当前线程,当前线程再次执行tryAcquireShared()将返回正值1,当前线程将离开线程等待队列并唤醒它的后继线程(这里会产生级联唤醒的效果)
4)最后返回计算的结果并抛出异常
Phaser,是jdk7新增的一个线程同步工具,跟CountDownLatch和CyclicBarrier有些功能是重复的。
Semaphore,就是OS课上学过的信号量,用于控制一个资源可同时被几个线程访问。
SynchronousQueue,是一种队列,这种队列可以用来模拟生产-消费者模型,因为它的元素入队之后要想再入队必须等候一个出队操作。
ThreadLocalRandom,一个线程同步的随机数生成器,在高并发下生成随机数比Random快。
大致就这些了,还有一些类都是与之相关的。
还有两个子包atomic和locks,其中atomic是对一些数的再封装,保证在多线程下这些数的操作都是原子性的。(例如普通的i++
就不是原子的)locks里面则是提供了各种线程同步锁,其中ReentrantLock比较常用。
上面说的都比较泛,如果真的要深度解析java.util.concurrent包中的每一个类,恐怕十篇博文都不够。