非常重要的事情,虽然通常不会在教程中描述:
Runnables to be executed on an ExecutorService should not block
. 这是因为每次阻塞都会关闭一个工作线程,如果 ExecutorService 的工作线程数量有限,就有陷入死锁(线程饥饿)的风险,如果 ExecutorService 的工作线程数量不受限制,那么就有风险内存不足。任务中的阻塞操作只会破坏 ExecutorService 的所有优点,因此只能在普通线程上使用阻塞操作。
FutureTask.get()
是阻塞操作,所以可以在普通线程上使用,而不是来自 ExecutorService 任务。也就是说,它不能作为构建块,而只是将执行结果传递给主线程。
从任务构建执行的正确方法是在下一个任务的所有输入数据都准备好时启动下一个任务,这样任务就不必阻塞等待输入数据。因此,您需要一种门来存储中间结果并在所有参数到达时启动新任务。因此,任务不会显式地启动其他任务。因此,由用于参数的输入套接字和用于计算它们的 Runnable 组成的门可以被视为 ExcutorServices 上计算的正确构建块。
这种方法称为数据流或工作流(如果不能动态创建门)。
像 Akka 这样的 Actor 框架使用这种方法,但受限于 Actor 是具有单个输入套接字的门这一事实。
我编写了一个真实的数据流库,发布在https://github.com/rfqu/df4j。