Какво е рамката Fork/Join и как се използва в Java…

Фреймуъркът Fork/Join е специализирана реализация на рамката Executor, предназначена за ефективно паралелно разделяне на задачи, които могат да бъдат рекурсивно разбити на по-малки подзадачи и след това да бъдат обединени (join) техните резултати. Той се базира на принципа "разделяй и владей".

Ключови компоненти:

ForkJoinPool: Пул от нишки, който управлява изпълнението на задачите. Използва механизма "work-stealing", при който неактивните нишки могат да "крадат" задачи от други заети нишки.
ForkJoinTask: Абстрактен клас, представляващ задача, която може да бъде изпълнена в този фреймуърк. Има две подкласа:
- RecursiveAction: Задача, която не връща резултат.
- RecursiveTask<V>: Задача, която връща резултат от тип V.

Използване:

Създава се клас, наследяващ RecursiveAction или RecursiveTask.
Презаписва се методът compute(). В този метод се описва логиката:
- Ако задачата е достатъчно малка (по-малка от определена праговата стойност), тя се изпълнява директно.
- В противен случай, задачата се разбива на подзадачи, които се стартират асинхронно с метода fork().
- Очаква се завършването на подзадачите с метода join() и техните резултати се обединяват.
Създава се екземпляр на ForkJoinPool.
Задачата се подава към пула чрез invoke() или submit().

Пример:

import java.util.concurrent.RecursiveTask;
import java.util.concurrent.ForkJoinPool;

class SumArrayTask extends RecursiveTask<Long> {
    private final long[] array;
    private final int start;
    private final int end;
    private static final int THRESHOLD = 1000; // Праг

    public SumArrayTask(long[] array, int start, int end) {
        this.array = array;
        this.start = start;
        this.end = end;
    }

    @Override
    protected Long compute() {
        if (end - start <= THRESHOLD) {
            // Пряк изчисление за малки диапазони
            long sum = 0;
            for (int i = start; i < end; i++) {
                sum += array[i];
            }
            return sum;
        } else {
            // Разделяне на задачата
            int mid = start + (end - start) / 2;
            SumArrayTask leftTask = new SumArrayTask(array, start, mid);
            SumArrayTask rightTask = new SumArrayTask(array, mid, end);

            // Асинхронно изпълнение на подзадачите
            leftTask.fork();
            Long rightResult = rightTask.compute();
            Long leftResult = leftTask.join();

            // Обединяване на резултатите
            return leftResult + rightResult;
        }
    }
}

// Използване в основния код
// long[] data = new long[10000]; // Начални данни
// // Попълване на данните
// ForkJoinPool pool = new ForkJoinPool();
// long sum = pool.invoke(new SumArrayTask(data, 0, data.length));
// pool.shutdown(); // Затваряне на пула след използване

Предимства:

Автоматично управление на пула от нишки.
Ефективно разпределение на натоварването благодарение на work-stealing.
Подобрена производителност за задачи тип "разделяй и владей".

Недостатъци:

Не е подходящ за всички типове паралелни задачи.
Може да бъде по-сложно за реализиране в сравнение с други подходи за прости задачи.

Какво е рамката Fork/Join и как се използва в Java?