WEKO3
アイテム
分散リアクティブプログラミングにおける値更新と干渉しないswitch処理の提案
https://ipsj.ixsq.nii.ac.jp/records/235041
https://ipsj.ixsq.nii.ac.jp/records/23504162b32a0d-30e6-4e39-b0f8-02e07879750e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO1703003.pdf (121.6 kB)
2026年6月18日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥0, IPSJ:学会員：¥0, PRO:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Trans(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-06-18 | |||||||||
| タイトル | ||||||||||
| タイトル | 分散リアクティブプログラミングにおける値更新と干渉しないswitch処理の提案 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | A Switch Operation That Does Not Interfere with Update Propagation in Distributed Reactive Programming | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | [発表概要, Unrefereed Presentatin Abstract] | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | journal article | |||||||||
| 著者所属 | ||||||||||
| 大分大学大学院工学研究科 | ||||||||||
| 著者所属 | ||||||||||
| 大分大学理工学部 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Graduate School of Engineering, Oita University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Faculty of Science and Technology, Oita University | ||||||||||
| 著者名 |
上野, 颯太
× 上野, 颯太
× 紙名, 哲生
|
|||||||||
| 著者名(英) |
Sota, Ueno
× Sota, Ueno
× Tetsuo, Kamina
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | リアクティブプログラミング（RP）とは，連続して得られる入力値とそれに依存する値を「時間変化する値（時変値）」として抽象化し，入力から応答に至るデータフローを宣言的に記述できるプログラミングパラダイムである．RPは，通常，値伝播が瞬時に行われるという意味論を持っているが，分散RPにおいては値伝播に時間がかかり，遅延が発生することが考えられる．遅延のもとで実行結果を整合させる方法には様々なものがある．本研究では，RP言語SignalJで用いられている時刻印方式について考える．時刻印方式には，計算結果の過去への遡及を実現する永続時変値を容易に実現できるという利点がある．一方で，シグナルネットワークが動的に変化する状況では，ネットワーク上の値伝播を不可分な処理として扱わなければ不整合が生じる．本研究ではこの問題を解決する分散協調アルゴリズムを提案する．このアルゴリズムは，データフローの各ノードが，その隣接するノードしか知りえないという状況において，不可分処理の実現に必要な，連結されたデータフロー全体の値伝播のブロックを的確に行うものである．これによりネットワークの変更時に値伝播の整合性を維持する．このアルゴリズムの実行時間について評価を行い，ブロックにかかるオーバヘッドが十分小さいことを確認した． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Reactive Programming (RP) is a programming paradigm that abstracts time-varying values to describe the data flow from input to output in a declarative manner. However, in distributed RP, update propagation takes time and may cause delays. There are various ways to reconcile execution results under delay. In this study, we consider the method that uses timestamps to make the execution results consistent, which is used in the RP language SignalJ. This method has the advantage that it can easily realize persistent time-varying values that allow retrogression of computation results into the past. On the other hand, in situations where the signal network changes dynamically, inconsistencies arise unless update propagation on the network is treated as an atomic process. In this study, we propose a distributed coordination algorithm that solves this problem. The algorithm precisely blocks the update propagation of the entire connected data flow, which is necessary to realize the atomic process in the situation where each node of the data flow knows only its neighbors. This maintains the consistency of update propagation during network changes. We evaluated the execution time of this algorithm and confirmed that the overhead of blocking is sufficiently small. | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11464814 | |||||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 17, 号 3, p. 1-1, 発行日 2024-06-18 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 1882-7802 | |||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
