SWEST25 Poster & Demo

対話的な組込み用FRP言語インタプリタとFRP言語における省電力コプロセッサの活用

鈴木豪, 横山陽彦, 森口草介, 渡部卓雄,
第25回 組込みシステム技術に関するサマーワークショップ(SWEST25), Aug. 31-Sep. 1, 2023.

概要

組込みシステムには，外部からの入力に応じて反応的に出力を変化させるリアクティブシステムと見なすことができるものがある． 関数リアクティブプログラミング（FRP）は，見通し良く宣言的にリアクティブシステムを記述するパラダイムである． 本発表では，2つのFRP言語処理系を発表する． 1つ目は，FRPインタプリタであるEmfrp-REPLである．Read-Eval-Print Loopに対応することでFRPによるプロトタイピングを容易する． 実装にあたっては，FRP時の傾向を利用して，名前解決のためのシンボルテーブルの無駄な生成を行わないようにした． また，実時間性を重視してスナップショットごみ集めを採用した． 2つ目は，省電力コプロセッサを活用するFRP言語処理系である． 省電力コプロセッサを持つマイコンにおいて，メインプロセッサを休止し，省電力コプロセッサで入出力を扱うことで，消費電力の低減ができる． 状態遷移を扱う機構を持つXStorm言語処理系に省電力コプロセッサを扱えるように拡張することで，プロセッサの状態管理を簡単にし，プロセッサ間の必要なデータの転送をコンパイラが自動生成するようにした． ポスターの展示のほか，2つの研究成果を用いたデモをいくつか展示する予定である． （ベストポスター賞ブロンズ受賞）

• ポスター