Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems 
著者
和文: 横山 陽彦, 森口 草介, 渡部 卓雄.  
英文: Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe.  
言語 English 
掲載誌/書名
和文: 
英文: 
巻, 号, ページ         pp. 1-12
出版年月 2022年12月7日 
出版者
和文: 
英文:ACM 
会議名称
和文: 
英文:9th International Workshop on Reactive and Event-based Languages & Systems (REBLS 2022) 
開催地
和文: 
英文:Auckland 
DOI https://doi.org/10.1145/3563837.3568338
アブストラクト Emfrp is a functional reactive programming language designed for small embedded systems. By imposing certain restrictions on the language mechanism, the language guarantees the termination of the update process for each time-varying value and enables static determination of the amount of memory required for execution. This allows Emfrp programs to run safely even in resource-constrained execution environments. However, the abovementioned restrictions make it difficult to write time-consuming operations (heavy tasks) such as graph structure construction and exploration based on external data. Moreover, since Emfrp updates time-varying values synchronously, a naive implementation of such heavy tasks using external function calls will result in a slow response time to input. Some existing programming languages provide asynchronous processing mechanisms to ensure descriptiveness and responsiveness for heavy tasks. In this study, we propose a method to introduce heavy tasks into reactive programs naturally by introducing language mechanisms equivalent to asynchronous processing mechanisms, such as future and promise, into Emfrp. In this paper, we first discuss the problems with a naive implementation of heavy tasks in Emfrp, then explain the proposed method based on an example, and discuss the language runtime implementation.

©2007 Institute of Science Tokyo All rights reserved.