| 研究課題/領域番号 |
21K11821
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
Kiselyov Oleg 東北大学, 情報科学研究科, 助教 (50754602)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2023年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2022年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2021年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | stream processing / info flow processing / sensor fusion / complex event processing / DSL / Stream processing / Info flow processing |
|---|
| 研究開始時の研究の概要 |
Stream processing is transforming, correlating or reducing possibly unbounded sequences of data, in small space. The widening deployment of sensors (Internet-of-Things, IoT) and the need to analyze and react to the collected data bring stream processing into ordinary life: environment monitoring, traffic management, etc.
Earlier we have developed an approach for stream processing of vast but already available data. It is easy to use and it delivers the highest performance. The goal is to develop the similar approach for sensor data, to correlate and react to continuously-flowing events.
|
| 研究実績の概要 |
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.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
立てた目標を達成した。結果は、国際会議で発表しました.
|
| 今後の研究の推進方策 |
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.
|
