Enhancement of Concurrent Processing through Functional Programming Languages

摘要

The von Neumann bottleneck imposes severe limitations on programming languages. This thesis points out that although the hardware limitations imposed by this bottleneck are being overcome, its constraints will remain in programs as long as there are assignments statements in their code. We assert that functional programming languages allow us to harness the processing power of computers with hundreds or even thousands of processors, and which allow us to solve problems which are time/cost prohibitive on a uniprocessor. We discuss a mechanical method for transforming imperative programs into functional programs. We feel that the mechanical transformation process is very inexpensive, and that it might be the best way to make imperative library programs into functional ones which are well suited to concurrent processing.