WEKO3
アイテム
階層的関数型の並行計算モデル
https://ipsj.ixsq.nii.ac.jp/records/31476
https://ipsj.ixsq.nii.ac.jp/records/314764b8feeb5-7cd0-41d9-b8ac-8c440ada2dcb
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO82002001.pdf (1.1 MB)
|
Copyright (c) 1982 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1982-10-18 | |||||||
| タイトル | ||||||||
| タイトル | 階層的関数型の並行計算モデル | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | AN HIERACHICAL FUNCTION MODEL FOR PARALLEL SYSTEMS | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 東京工業大学・工学部 | ||||||||
| 著者所属 | ||||||||
| 東京工業大学・工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokyo Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokyo Institute of Technology | ||||||||
| 著者名 |
宮地, 利雄
片山, 卓也
× 宮地, 利雄 片山, 卓也
|
|||||||
| 著者名(英) |
Toshio, Miyachi
Takuya, Katayama
× Toshio, Miyachi Takuya, Katayama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Although functional programming language is attractive in point of naturaity and provability lack of synchronization mechanisms for managing shared resources sets limits to its extensive utilization. In this report we propose a hierachical functional computation model for describing parallel systems. The nucleus of the model is harmony of the hierachy of pure the functions and the mechanism for synchronizing and exchanging data through a pair of communication ports. The mechanism which we call 'rendezvous' permits us to describe nondeterministic behaviours and synchronization on shared objects. Also as examples we describe some well-known synchronizing problems in our model. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Although functional programming language is attractive in point of naturaity and provability, lack of synchronization mechanisms for managing shared resources sets limits to its extensive utilization. In this report we propose a hierachical functional computation model for describing parallel systems. The nucleus of the model is harmony of the hierachy of pure the functions and the mechanism for synchronizing and exchanging data through a pair of communication ports. The mechanism, which we call 'rendezvous', permits us to describe nondeterministic behaviours and synchronization on shared objects. Also as examples we describe some well-known synchronizing problems in our model. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1982, 号 35(1982-PRO-002), p. 1-8, 発行日 1982-10-18 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
