Perfect Stream Fusion for Information Flow Processing

点击翻译按钮获取中文摘要

Last year we have finally released our stream fusion library, Strymonas 2: Highest-performance Stream Processing: generating high-performance OCaml and C code from declarative stream pipelines (available on Github https://strymonas.github.io/) and presented it at an international (ACM SIGPLAN) workshop.We have further improved the performance of our FM radio application, based on strymonas, and verified that it is fast enough for live FM radio reception, using the standard SDR (Software Defined Radio) hardware (HackRF).Crucial to the high performance stream processing is efficient and reliable C code generation. It is implemented in strymonas and described in the "Generating C" paper and several presentations made on this topic. There are many subtleties in generating C, many of which relate to mutable variables. Solving the problem once and for all, without imposing any ad hoc restrictions, required a new theoretical treatment of assignment. The results were presented at several meetings.