Perfect Stream Fusion for Information Flow Processing

信息流处理的完美流融合

• 批准号: 21K11821
• 负责人: Kiselyov Oleg
• 金额: $ 2.66万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21K11821/
• 关键词: stream processing; info flow processing; sensor fusion; complex event processing; DSL; Stream processing; Info 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.

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

项目成果

All Things Flow: Unfolding the History of Streams

万物流动：揭开流的历史

• 发表时间: 2021
• 期刊: Proceedings of HAPOC 21
• 作者: Aggelos Biboudis;Jeremy Gibbons;Oleg Kiselyov
• 通讯作者: Oleg Kiselyov

New View on Plasma Fractals -- From the High Point of Array Languages

等离子分形的新观点——从数组语言的高度来看

• 发表时间: 2022
• 期刊: ACM SIGPLAN FARM 2022 workshop/Arxiv
• 作者: Oleg Kiselyov;Toshihiro Nakayama
• 通讯作者: Toshihiro Nakayama

Mutable Variables and Reference Types -- or, L-values Demystified

可变变量和引用类型——或者说，L 值揭秘

• 发表时间: 2022
• 作者: 伊藤 将希;今井 敬吾;Oleg Kiselyov
• 通讯作者: Oleg Kiselyov

配列言語によるプラズマフラクタル生成アルゴリズムの実装と検討(ポスター・デモ)

使用数组语言实现等离子体分形生成算法的研究（海报演示）

• 发表时间: 2022
• 作者: 土屋拓実;岡野浩三;小形真平;中島震;中山敏宏 and Oleg Kiselyov
• 通讯作者: 中山敏宏 and Oleg Kiselyov

University of Oxford(英国)

牛津大学（英国）