Module  java.base

Package java.util.concurrent

实用程序类通常用于并发编程。 这个包包括一些小的标准化可扩展框架,以及一些类,它们提供有用的功能,而不是繁琐或难以实现。 以下是主要组件的简要说明。 另请参阅java.util.concurrent.locksjava.util.concurrent.atomic软件包。

执行人

接口。 Executor是一个简单的标准化界面,用于定义线程类的子系统,包括线程池,异步I / O和轻量级任务框架。 根据使用哪个具体的Executor类,任务可以在新创建的线程,现有的任务执行线程或调用execute的线程中执行,并且可以顺序或同时执行。 ExecutorService提供了一个更完整的异步任务执行框架。 ExecutorService管理任务的排队和调度,并允许受控关闭。 ScheduledExecutorService子接口和关联接口增加了对延迟和周期性任务执行的支持。 ExecutorServices提供了表示为Callable的任何函数的异步执行的方法,结果轴承类型为Runnable A Future返回函数的结果,允许确定执行是否已完成,并提供取消执行的方法。 A RunnableFuture是一个Future ,拥有一个run方法,在执行时,设置其结果。

实现。 ThreadPoolExecutorScheduledThreadPoolExecutor提供可调谐的,灵活的线程池。 Executors类提供了最常见的Executors种类和配置的工厂方法,以及一些使用它们的实用方法。 基于Executors其他实用程序包括具体的FutureTask类,提供了Futures的共同可扩展实现,以及ExecutorCompletionService ,有助于协调异步任务组的处理。

ForkJoinPool提供了一个主要设计用于处理ForkJoinTask及其子类的实例的执行程序 这些类采用一个工作窃取调度程序,它可以满足在计算密集型并行处理中经常保持的限制的任务的高吞吐量。

队列

ConcurrentLinkedQueue类提供了一种高效的可扩展线程安全非阻塞FIFO队列。 ConcurrentLinkedDeque类是类似的,但另外支持Deque接口。

五个实现都java.util.concurrent支持扩展BlockingQueue接口中,定义阻塞put和take的版本: LinkedBlockingQueueArrayBlockingQueueSynchronousQueuePriorityBlockingQueue ,并DelayQueue 不同的类涵盖生产者 - 消费者,消息传递,并行任务和相关并发设计的最常见的使用上下文。

扩展接口TransferQueue和实现LinkedTransferQueue引入同步transfer方法(以及相关特征),其中生产者可以可选地阻止等待其消费者。

BlockingDeque接口扩展了BlockingQueue以支持FIFO和LIFO(基于堆栈)的操作。 LinkedBlockingDeque课程提供了一个实现。

定时

TimeUnit类提供了多个粒度(包括纳秒),用于指定和控制基于超时的操作。 软件包中的大多数类除了无限期的等待之外还包含基于超时的操作。 在所有使用超时的情况下,超时指定方法在指示超时之前应等待的最短时间。 实施做出“尽力而为”,在发现之后尽快检测超时。 然而,在超时检测到的时间和在该超时之后实际执行的线程之间可能经过不定时间。 接受超时参数的所有方法都将小于或等于0的值视为不等待。 要等待“永远”,可以使用值Long.MAX_VALUE

同步器

五类帮助常用的专用同步成语。
  • Semaphore是一个经典的并发工具。
  • CountDownLatch是一个非常简单但非常通用的实用程序,直到给定数量的信号,事件或条件成立为止。
  • A CyclicBarrier是一种可复用的多路同步点,可用于某些类型的并行编程。
  • A Phaser提供了可以用于在多个线程之间控制相位计算的更灵活的障碍形式。
  • 一个Exchanger允许两个线程在会合点交换对象,并且在多个管道设计中是有用的。

并发收藏

除了队列,这个包提供的集合实现在多线程环境中设计用于: ConcurrentHashMapConcurrentSkipListMapConcurrentSkipListSetCopyOnWriteArrayList ,并CopyOnWriteArraySet 当许多线程预期访问给定的集合时, ConcurrentHashMap通常优于同步的HashMap ,而ConcurrentSkipListMap通常优于同步的TreeMap 当预期的读取和遍历次数大大超过列表的更新次数时,A CopyOnWriteArrayList优于同步的ArrayList

与此包中某些类使用的“并发”前缀是一个简写,表示与类似“同步”类的几个差异。 例如java.util.HashtableCollections.synchronizedMap(new HashMap())被同步。 但是ConcurrentHashMap是“并发”。 并发集合是线程安全的,但不受单个排除锁的约束。 在ConcurrentHashMap的特定情况下,它可以安全地允许任意数量的并发读取以及大量的并发写入。 当您需要通过单个锁来阻止对集合的所有访问时,“同步”类可能会有用,而不损害可扩展性。 在预期多个线程访问公共集合的其他情况下,“并发”版本通常是可取的。 并且当两个集合都是非共享的时候,不同步的集合是可取的,或者只有在持有其他锁时才可访问。

大多数并发收集实现(包括大多数队列)也与通常的java.util约定不同,因为它们的IteratorsSpliterators提供弱一致而不是快速失败遍历:

  • 他们可能会同时进行其他行动
  • 他们永远不会抛出ConcurrentModificationException
  • 它们被保证能够在建筑物上存在一次元素,并且可能(但不能保证)反映施工后的任何修改。

内存一致性属性

Chapter 17 of The Java™ Language Specification定义了对存储器操作(例如共享变量的读取和写入)的发生之前的关系。 只有在写操作发生之前 ,一个线程的写入结果才能保证对另一个线程的读取可见。 synchronizedvolatile构造以及Thread.start()Thread.join()方法都可以形成发生之前的关系。 尤其是:
  • 在线程中的每个动作发生在该线程中的每个动作之前 ,程序的顺序将稍后。
  • 在同一个监视器每个后续锁定( synchronized块或方法条目) 之前发生监视器的锁定( synchronized块或方法退出)。 并且因为事件发生之前的关系是可传递的,所以在解锁之前的线程的所有动作都发生在所有线程锁定之后的所有动作之前
  • 在写入volatile字段之后, 会在每次后续读取同一个字段之前发生 volatile字段的写入和读取与进入和退出显示器具有类似的内存一致性效果,但要求互斥锁定。
  • 在线程上调用start 发生在启动线程中的任何操作之前
  • 在线程中的所有动作发生之前,任何其他线程从该线程上的一个join成功返回。
java.util.concurrent及其子包中的所有类的方法将这些保证扩展到更高级别的同步。 尤其是:
  • 在将对象放入任何并发集合之前,线程中的操作发生在另一个线程中从该集合访问或删除该元素之后的操作之前
  • 在提交RunnableExecutor之前,线程中的操作发生在其执行开始之前 同样为Callables提交到一个ExecutorService
  • Future表示的异步计算所采取的动作在通过另一个线程中的Future.get()检索结果之后发生
  • 操作之前为“释放”同步器的方法,例如Lock.unlockSemaphore.release ,和CountDownLatch.countDown 发生-前行动一个成功的“获取”方法如后续Lock.lockSemaphore.acquireCondition.awaitCountDownLatch.await在另一个线程相同的同步对象。
  • 对于通过Exchanger成功交换对象的每对线程,在每个线程中的exchange()之前的exchange() 发生在另一个线程中对应的exchange()之后的exchange()
  • 调用CyclicBarrier.awaitPhaser.awaitAdvance 之前的动作(以及其变体) 发生在屏障动作执行的动作之前,以及由其他线程中对应的await成功返回后的动作之前发生的屏障动作执行的动作。
从以下版本开始:
1.5