WEKO3
-
RootNode
アイテム
Futures and Multiple Values in Parallel Common Lisp
https://ipsj.ixsq.nii.ac.jp/records/30758
https://ipsj.ixsq.nii.ac.jp/records/30758673a6dcf-f3eb-48e3-b7ef-72c8091d167e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO91060004.pdf (1.4 MB)
|
Copyright (c) 1991 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1991-06-21 | |||||||
| タイトル | ||||||||
| タイトル | Futures and Multiple Values in Parallel Common Lisp | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Futures and Multiple Values in Parallel Common Lisp | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 日本アイ・ビー・エム（株）東京基礎研究所 | ||||||||
| 著者所属 | ||||||||
| 日本アイ・ビー・エム（株）東京基礎研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| IBM Research, Tokyo Research Laboratory | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| IBM Research, Tokyo Research Laboratory | ||||||||
| 著者名 |
田中, 朋之
渦原, 茂
× 田中, 朋之 渦原, 茂
|
|||||||
| 著者名(英) |
Tanaka, Tomoyuki
Uzuhara, Shigeru
× Tanaka, Tomoyuki Uzuhara, Shigeru
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 多くの共有メモリ型の並列Lispでは並列性の記述にfuture式を用いている。本稿ではCommon Lispの多値機能にfutureを導入した場合の問題について考える。futureと多値機能を共存させるためには1つのfutureオブジェクトに複数の値を格納できるようにする必要がある。ところがそのままこの方法を用いると、プログラムにfutureを挿入した場合としなかった場合とで返す値の数が異なってしまう場合があり、Common Lispで定義される多値の意味を変えてしまう。この問題を解決するためにmv?context法とmv?pフラグ法の2つの方法を提案する。この2つの方法はマルチプロセッサ・ワークステーションTOP?1上の並列Lisp、TOP?1 Common Lispにおいて実現した。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The future construct is used in many shared-memory parallel Lisp systems to express concurrency. We consider the impact of introducing the future construct to the multiple value facility of Common Lisp. A natural way to accommodate this problem is by modifying the implementation of futures so that one future object returns (or resolves to) multiple values instead of one. We first show that how such a straightforward modification fails to maintain the crucial characteristic of futures, namely that inserting futures in a functional program does not alter the result of the computation. To overcome this problem, we present two methods which we call the mv-context method and the mv-p flag method. Both of these methods have been tested in TOP-1 Common Lisp, an implementation of a parallel Common Lisp on the TOP-l multiprocessor workstation. To our knowledge, this problem has never been analyzed nor solved in an implementation of parallel Lisp. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1991, 号 50(1991-PRO-060), p. 1-10, 発行日 1991-06-21 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
