Редукция графов -- методологическая база
Т-системы
Один из самых эффективных подходов к
реализации языков функционального
программирования (ФП) -- параллельная
редукция графов (ПРГ).
ПРГ эффективна для реализации параллельных
вычислений в кластерах:
- Делает возможным автоматическое динамическое
распараллеливание вычислений.
- Не нуждается в глобальной общей памяти.
- Сближает функциональное и императивное
программирование.
- Поддерживает отказоустойчивость вычислений: в
случае отказа перевычисляются только
"пострадавшие" вызовы функций.
- Поддерживает мощные средства ФП: функции высших
порядков, "закаривание" (специализация в
динамике), ленивые вычисления и т.п.
Узкое место подхода: ограничения на стиль
программирования.
|