Home >

news Help

Publication Information


Title
Japanese:小規模組込みシステム向けFRP言語における非同期タスク処理機構 
English: 
Author
Japanese: 横山 陽彦, 森口 草介, 渡部 卓雄.  
English: Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 6, 2022 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第24回プログラミングおよびプログラミング言語ワークショップ (PPL2022) 
English: 
Conference site
Japanese: 
English: 
Official URL https://jssst-ppl.org/workshop/2022/
 
Abstract 小規模組込みシステム向け関数リアクティブプログラミング(FRP)言語Emfrpは適切な機能制限を行うことで，時変値更新処理の停止性判定や実行時に必要なメモリ量の静的な決定が可能である．そのため，リソースの制限された環境においても安全にリアクティブな動作を行うことが可能である． 一方でその機能制限のため，例えば外部から得られた情報をもとにグラフ構造の構築や探索を行うなど，比較的時間のかかる処理(heavy-task)の記述は想定されていない． また，Emfrpは同期的に処理を実行するため，heavy-taskを外部関数呼び出しとして愚直に記述すると入力に対する応答性が悪化してしまう． 一般のプログラミング言語では，このような処理を非同期処理として分離することで記述性と応答性を高めている． そこで本研究では，並行プログラミングで一般に用いられているfutureやpromiseに類似した機構をEmfrpに導入することで，従来の時変値更新によるリアクティブな動作を保ちながら，非同期的heavy-taskが実行可能な実行基盤の構築を目指す． 本稿では，Emfrpに対するheavy-task実行機構のナイーヴな導入に対する問題点を挙げたのち，例題ベースで提案手法を述べ，言語ランタイム実装についての検討を行う．

©2007 Tokyo Institute of Technology All rights reserved.