関数＋共有データ＝関数型並行プログラム

• Item type: SIG Technical Reports(1)
• 公開日: 1982-06-26
• タイトル: 関数＋共有データ＝関数型並行プログラム
• タイトル / 言語: en
• タイトル: Functions + Shared Data = Functional Concurrent Programs
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京工業大学
• 著者所属: 東京工業大学
• 著者所属(英): en
• 著者所属(英): Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Tokyo Institute of Technology
• 著者名: 片山, 卓也; 宮地, 利雄
• 著者名(英): Takuya, Katayama; Toshio, Miyachi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文は、並列システムの仕様記述のための関数起動モデルについて述べたものである。関数型あるいは作用型プログラミングでは副作用が許されず、全てのデータは値によってのみアクセスされるのでreferential transparncyが保たれ、プログラムは見易くかつ理解しやすいものになる。しかしながら、この利点は、同時に、データベースの更新、並行処理あるいは実時間処理などのような履歴をもったシステムの処理や記述を不可能にしており、これが関数型プログラミングが現実のデータ処理に使用されない主な理由であると考えられる。本論文は関数型プログラミングと調和したかたち形で『時間』をとり入れ、それによって並行処理の記述を明解に行う方法について述べたものである。簡単にいえば、本方法はベトリネットと関数を結合したものであり、システムは関数とそれらによって共有され、それらの入・出力となる共有データから構成されるネットワークとして表現される。関数はその入力データが全て用意されると起動され、その計算が終了するとその計算結果によって出力データを更新する。勿論、起動可能な関する（群）は並行的に動作する。このモデルによって、共有データ上で動作する並列システムを直観的かつ理解しやすい形に記述することができるが、履歴の全くない関数と履歴そのものである共有データとに分離して記述を行えるのが本方法の最大の特徴である。以下では、例題、形式化についてまず述べ、次に実現法、検証法について述べる。
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1982, 号 15(1982-PRO-001), p. 1-11, 発行日 1982-06-26
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会