TY - GEN
T1 - Serial combinators
T2 - 2nd International Conference on Functional Programming Languages and Computer Architecture, 1985
AU - Hudak, Paul
AU - Goldberg, Benjamin
N1 - Funding Information:
This research was supported In part by NSF Grant MCS-8302018 and a grant from Burroughs Corporation.
Publisher Copyright:
© 1985, Springer-Verlag.
PY - 1985
Y1 - 1985
N2 - A method is described for translating a high-level functional program into combinators suitable for execution on multiprocessors with no shared memory. It is argued that the granularity of the standard set of fixed combinators is too fine, whereas the granularity of user-defined functions is too coarse. The notion of a serial combinator is introduced that in some sense has optimal granularity, and that takes into account pragmatic issues such as the complexity of expressions and communication costs between processors. The technique improves on the standard notion of super-combinators by making them larger to retain locality and improve efficiency, and by ensuring that they have no concurrent substructure that could result in lost parallelism. Simulation results demonstrate improved performance on both sequential and parallel computing models.
AB - A method is described for translating a high-level functional program into combinators suitable for execution on multiprocessors with no shared memory. It is argued that the granularity of the standard set of fixed combinators is too fine, whereas the granularity of user-defined functions is too coarse. The notion of a serial combinator is introduced that in some sense has optimal granularity, and that takes into account pragmatic issues such as the complexity of expressions and communication costs between processors. The technique improves on the standard notion of super-combinators by making them larger to retain locality and improve efficiency, and by ensuring that they have no concurrent substructure that could result in lost parallelism. Simulation results demonstrate improved performance on both sequential and parallel computing models.
UR - http://www.scopus.com/inward/record.url?scp=85034988175&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85034988175&partnerID=8YFLogxK
U2 - 10.1007/3-540-15975-4_49
DO - 10.1007/3-540-15975-4_49
M3 - Conference contribution
AN - SCOPUS:85034988175
SN - 9783540159759
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 382
EP - 399
BT - Functional Programming Languages and Computer Architecture
A2 - Jouannaud, Jean-Pierre
PB - Springer Verlag
Y2 - 16 September 1985 through 19 September 1985
ER -