Stream programming languages employ FIFO (first-in, first-out) semantics to model data channels between producers and consumers. A FIFO data channel stores tokens in a buffer that is accessed indirectly via read- and write-pointers. This indirect tokenaccess decouples a producer's write-operations from the readoperations of the consumer, thereby making dataflow implicit. For a compiler, indirect token-access obscures data-dependencies, which renders standard optimizations ineffective and impacts stream program performance negatively. In this paper we propose a transformation for structured stream programming languages such as StreamIt that shifts FIFO buffer management from run-time to compile-time and eliminates splitters and joiners, whose task is to distribute and merge streams. To show the effectiveness of our lowering transformation, we have implemented a StreamIt to C compilation framework. We have developed our own intermediate representation (IR) called LaminarIR, which facilitates the transformation. We report on the enabling effect of the LaminarIR on LLVM's optimizations, which required the conversion of several standard StreamIt benchmarks from static to randomized input, to prevent computation of partial results at compile-time. We conducted our experimental evaluation on the Intel i7-2600K, AMD Opteron 6378, Intel Xeon Phi 3120A and ARM Cortex-A15 platforms. Our LaminarIR reduces data-communication on average by 35.9% and achieves platform-specific speedups between 3.73x and 4.98x over StreamIt. We reduce memory accesses by more than 60% and achieve energy savings of up to 93.6% on the Intel i7-2600K.
|Title of host publication||PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation|
|Editors||Steve Blackburn, David Grove|
|Publisher||Association for Computing Machinery|
|Number of pages||10|
|Publication status||Published - 2015 Jun 3|
|Event||36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015 - Portland, United States|
Duration: 2015 Jun 13 → 2015 Jun 17
|Name||Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)|
|Other||36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015|
|Period||15/6/13 → 15/6/17|
Bibliographical notePublisher Copyright:
© 2015 ACM.
All Science Journal Classification (ASJC) codes