From Functional Programs to Pipelined Dataflow Circuits
- From Functional Programs to Pipelined Dataflow Circuits
- Townsend, Richard Morse
Kim, Martha Allen
Edwards, Stephen A.
- Computer Science
- Persistent URL:
- Book/Journal Title:
- Proceedings of the 26th International Conference on Compiler Construction
- Book Author:
- Wu, Peng
- Association for Computing Machinery
- We present a translation from programs expressed in a functional IR into dataflow networks as an intermediate step within a Haskell-to-Hardware compiler. Our networks exploit pipeline parallelism, particularly across multiple tail-recursive calls, via non-strict function evaluation. To handle the long-latency memory operations common to our target applications, we employ a latency-insensitive methodology that ensures arbitrary delays do not change the functionality of the circuit. We present empirical results comparing our networks against their strict counterparts, showing that nonstrictness can mitigate small increases in memory latency and improve overall performance by up to 2x.
- Compilers (Computer programs)
Data flow computing
- Publisher DOI:
- Item views
text | xml
- Suggested Citation:
- Richard Morse Townsend, Martha Allen Kim, Stephen A. Edwards, 2017, From Functional Programs to Pipelined Dataflow Circuits, Columbia University Academic Commons, https://doi.org/10.7916/D8GF11D1.