Program transformations as the base for optimizing parallelizing compilers

Abstract

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

The Semantic Model Features of the Statically Typed Language of Functional-dataflow Parallel Programming

“…• automatic or semi-automatic parallelization of sequential programs with their subsequent transformation to the target architecture [1]; • development of programs or algorithms that has unlimited parallelism, determined by the problem being solved, with the subsequent "compression" of this parallelism in accordance with the restrictions determined by the target architecture [2]. There is a semantic gap between the written program and the real parallel computing system (PCS) with using any of these approaches.…”