Exploitation fine-grain parallelism in a combinator-based functional system
暂无分享,去创建一个
A Scheme to extend the lazy functional language SASL with an eager evaluation operator that allows the programmer to selectively identify expressions to be evaluated eagerly is developed. D.A. Turner's (1979) abstraction and optimization algorithms are then modified so that the eagerness information will propagate through the combinator instruction set to the run-time parallel graph reducer. Simulation of simple benchmark programs shows this method to be very effective in exploiting fine-grain parallelism, even in irregular and unstructured operation. The evaluation is done on a virtual system. Despite the distributive nature of the combinator scheme, it is still unclear how to map the virtual machine into a physical architecture efficiently without seriously degrading the performance.<<ETX>>
[1] Richard Kennaway,et al. Director strings as combinators , 1988, TOPL.
[2] F. Warren Burton,et al. Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs , 1984, TOPL.
[3] Hugh Glaser,et al. Principles of functional programming , 1984 .
[4] D. A. Turner. Another Algorithm for Bracket Abstraction , 1979, J. Symb. Log..
[5] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..