2022 Fiscal Year Research-status Report
Perfect Stream Fusion for Information Flow Processing
| Project/Area Number |
21K11821
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
Kiselyov Oleg 東北大学, 情報科学研究科, 助教 (50754602)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Keywords | stream processing / info flow processing / sensor fusion / complex event processing / DSL |
|---|
| Outline of Annual Research Achievements |
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.
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
立てた目標を達成した。結果は、国際会議で発表しました.
|
| Strategy for Future Research Activity |
In 2023,the student I'm advising (who is now M2) are planning to write out and present our results about FM Radio and the comparison with GNU Radio at an international meeting (we wrote one short paper last year for an international meeting, but the meeting was cancelled). I'm also working on greatly expanding the "Generating C" paper to a comprehensive journal paper.
We have started work on a new backend for strymonas: WASM.
|
| Causes of Carryover |
COVID epidemic (which has abated only recently) has made it very difficult to hold academic meetings and travel internationally. Last year I could only attend one major conference, in September (when travel restrictions in Japan have been relaxed). Therefore, the funds of this kakenhi (which are most travel funds) were not used. I plan to travel in 2023 to meetings to present the accumulated results; the saved travel funds will be come very useful then.
|
