Что такое Fork/Join framework и work stealing?

Модель. Задача проверяет размер: мала — решает напрямую, иначе делится на части, одну отправляет fork(), другую решает сама, затем join() собирает результат.

class Sum extends RecursiveTask<Long> {
    protected Long compute() {
        if (hi - lo < 10_000) return directSum();
        Sum left = new Sum(arr, lo, mid);
        left.fork();
        long right = new Sum(arr, mid, hi).compute();
        return left.join() + right;
    }
}

Work stealing. Каждый поток ForkJoinPool кладёт свои подзадачи в собственную деку и берёт их с головы (LIFO — горячие данные в кэше). Свободный поток крадёт у других с хвоста — там самые крупные, ещё не разделённые задачи. Нет единой очереди, за которую бьются все.

Ограничения:

• задачи не должны блокироваться: заблокированный поток не делает работу, а пул фиксированного размера;
• выигрыш только при достаточном объёме и разумном пороге деления;
• ForkJoinPool.commonPool() общий на всю JVM — его используют parallel stream и CompletableFuture без своего executor.