Perfect Stream Fusion for Information Flow Processing

去年，我们终于发布了我们的流融合库，Strymonas 2：最高性能流处理：从声明性流管道生成高性能OCaml和C代码（在Github https上提供：//strymonas.github.io/），并在一次国际会议上发表了这一报告。（ACM SIGPLAN）研讨会。我们进一步改进了基于strymonas的FM收音机应用程序的性能，并验证了它对于现场FM收音机接收来说足够快，使用标准SDR（软件定义无线电）硬件（HackRF）。高效可靠的C代码生成对于高性能流处理至关重要。它在strymonas中实现，并在“Generating C”论文和关于此主题的几个演示中进行了描述。生成C语言有许多微妙之处，其中许多都与可变变量有关。一劳永逸地解决这个问题，而不强加任何特别的限制，需要一个新的理论处理分配。在几次会议上介绍了结果。

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.