並列リダクションにおける引数評価時の決定戦略 （関数型プログラミング）

• Item type: SIG Technical Reports(1)
• 公開日: 1991-03-08
• タイトル: 並列リダクションにおける引数評価時の決定戦略 （関数型プログラミング）
• タイトル / 言語: en
• タイトル: Argument Evaluation Strategy for Parallel Graph Reduction
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 日本アイ・ビー・エム株式会社東京基礎研究所
• 著者所属(英): en
• 著者所属(英): IBM Research Tokyo Resaerch Laboratory
• 著者名: 干場, 美佳子
• 著者名(英): Mikako, Hoshiba
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 関数型プログラミング言語のをコンビネータのグラフリダクションによって並列実行する際の引数の評価時を決定するための戦略を提案する。従来の方法では完全遅延評価を実現するためにstrictness analysisを行なって早い時点で評価を行なっても影響のない引数を見つけ出し、それらすべてを事前評価していた。しかし、strictness analysisは十分に並列性を抽出できない。期待される並列性をconcurrency?levelと呼ばれるパラメータで表し、これを用いてより並列性の高い時点で引数を評価を行なうための戦略を提案する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Graph reduction of combinator is one way to execute functional programming languages. For parallel execution we have to decide which arguments should be evaluated and when they should be evaluated. To keep advantages of fully lazy evaluation, we should find arguments that can be evaluated before reduction, In earlier implementation strictness analysis was used to find the arguments, and all strict arguments were evaluated as earlier as they could. But strictness analysis can extract low concurrency. I propose strategy to decide which argument should be evaluated and when they should be evaluated. In this strategy we can compare possibility of concurrent execution by using new paramater concurrency-level and we can evaluate arguments with higher concurrency.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1991, 号 19(1990-PRO-028), p. 1-10, 発行日 1991-03-08
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会