Автоматический параллелизм в Haskell

Question

В haskell, данный у меня есть функция вызвать в следующей форме: foo a b, где a не зависит от b и наоборот. Кажется, что можно автоматически обнаружить, что a и b могут быть оценены параллельно, но это, похоже, не имеет места в GHC. Вместо этого строятся как par, которые необходимо использовать для обозначения того, что можно оценить параллельно.

Итак, почему не может произойти автоматическое распараллеливание в haskell? Или, если это уже сделано, зачем существуют конструкции вроде par?

Answer 1

кажется, что он может быть автоматически обнаружено, что б можно оценить параллельно

параллелизм может определяться автоматически, как вы намекнуть, глядя на зависимости между величинами. Это особенно легко, если нет побочных эффектов.

Проблема в том, что это знание, когда нужно прекратить делать вещи параллельными.

Все это сводится к пониманию во время компиляции, сколько работы будет происходить во время выполнения. Эти «стоимостные модели» вообще сложно сделать для произвольного кода.

Рассмотрим:

• должен каждый аргумент (+) быть оценены параллельно?
• Следует ли оценивать каждую карту параллельно?

Если мы наивно распараллеливаем все независимые вычисления, компилятор будет генерировать огромное количество параллельных задач. Миллионы или миллиарды параллельных выражений. Какие наши 8 или 16-ядерные машины просто не готовы к работе.

Наивное распараллеливание приводит к массивным накладным расходам, которые пытаются запланировать работу на небольшом количестве доступного параллельного оборудования.

Этот пробел между количеством параллелизма в чистых программах и доступным оборудованием заставляет нас пойти на компромиссы. А именно:

1. пользователь аннотированных намеков на какие вещи являются достаточно дорогостоящими, чтобы сделать в параллельных
2. подмножеств языка, которые имеют четкую модель затрат, так что компилятор может быть умным.

Примеры первой формы - пользовательские подсказки - are par annotations или Par monad. Из вторых - автоматически параллельных подязыков - см. Data Parallel Haskell.