• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

関数プログラムの並列実行に関する研究

研究課題

研究課題/領域番号 01550278
研究種目

一般研究(C)

配分区分補助金
研究分野 情報工学
研究機関東京大学

研究代表者

武市 正人  東京大学, 工学部・計数工学科, 助教授 (10011165)

研究分担者 金子 敬一  東京大学, 工学部・計数工学科, 助手 (20194904)
岩崎 英哉  東京大学, 工学部・計数工学科, 助手 (90203372)
研究期間 (年度) 1989 – 1990
研究課題ステータス 完了 (1990年度)
配分額 *注記
2,200千円 (直接経費: 2,200千円)
1990年度: 800千円 (直接経費: 800千円)
1989年度: 1,400千円 (直接経費: 1,400千円)
キーワード関数プログラム / 並列実行
研究概要

本研究は、関数プログラミングの方法論を支援する並列実行システムの構築に関して基礎的な問題の解決法を追究したものである。関数プログラムの実行システムの実現については最近のハ-ドウェア技術の進歩による部分も大きいが、一般の計算機上で実現した関数プログラムの実行系は手続き型のものに比べて効率が悪いことは事実である。また、逐次計算機で関数プログラムを実行する際には本質的な問題があることも知られている。本研究では関数プログラムの並列実行を対象としてこの問題の解決法を探究した。関数プログラミングの方法論を実践する上では(複数個の処理装置による)並列実行システムが重要な役割を果たすものと考えられるからである。研究を進めるにあたっては、関数プログラミングの方法論を確立するための基礎的な研究の過程として、一般的なハ-ドウェアを用いて実験的な処理系を実現し、成果をただちに方法論の研究に活用することを考慮した。
第1段階として、逐次実行における遅延評価の問題点を並列実行によって解決する方法を考察した。この研究成果は関数プログラムの並列実行に関して物理的なプロセッサの割当てやプロセッサの結合方式を抽象したものであるが、共有メモリ型マルチプロセッサシステムに直ちに移行することのできるものである。第2段階として、複数個のプロセッサからなるネットワ-ク分散型のマルチプロセッサによる関数プログラムの並列実行系を設計・作成した。ここでは、遅延評価に基づく関数プログラミングに特徴的なストリ-ムを用いるプロセスネットワ-クのモデルに着目して、これを分散並列実行系で実現する方式を考案し、複数個の処理装置が通信路で結合された粗結合マルチプロセッサシステム上に関数プログラムの分散並列実行システムを構築し、その有効性を確認した。

報告書

(3件)
  • 1990 実績報告書   研究成果報告書概要
  • 1989 実績報告書

研究成果

(11件)

すべて その他

すべて 文献書誌 (11件)

  • [文献書誌] 武市 正人: "関数プログラミングの実際" コンピュ-タソフトウェア. 8. 3-11 (1991)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1990 研究成果報告書概要
  • [文献書誌] Takeichi,M.: "Deriving a Functional KnuthーMorrisーPratt Algorithm by Transformation" Journal of Information Processing. 13. (1990)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1990 研究成果報告書概要
  • [文献書誌] Kaneko, K.: "Relation between Lambda Hoisting and Fully Lazy Lambda Lifting" 日本ソフトウェア科学会第7回大会論文集. 357-360 (1990)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1990 研究成果報告書概要
  • [文献書誌] Takeichi, M.: "Current Trend in Functional Programming (In Japanese)" Computer Software. Vol. 8, No. 1. 3-11 (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1990 研究成果報告書概要
  • [文献書誌] Takeichi, M: "Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation" Journal of Information Processing. Vol. 13. (1991)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1990 研究成果報告書概要
  • [文献書誌] Kaneko, K: "Relation between Lambda Hoisting and Fully Lazy Lambda Lifting," Proc. JSSST 7th Conf.,. 357-360 (1990)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1990 研究成果報告書概要
  • [文献書誌] 武市 正人: "関数プログラミングの実際" コンピュ-タソフトウェア. 8. 3-11 (1991)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] Takeichi,M.: "Deriving a Functional KnuthーMorrisーPratt Algorithm by Transformation" Journal of Information Processing. 13. (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] Kaneko,K.: "Relation between Lambda Hoisting and Fully Lazy Lambda Lifting" 日本ソフトウェア科学会第7回大会論文集. 357-360 (1990)

    • 関連する報告書
      1990 実績報告書
  • [文献書誌] Masato Takeichi: "Evaluation Partial Order and Synchronization Mechanisms in Parallel Functional Programs" 情報処理学会「フソトウェア基礎論」研究会論文集. 31-4. 1-10 (1989)

    • 関連する報告書
      1989 実績報告書
  • [文献書誌] Masato Takeichi,Yoji Akama: "Deriving Functional Knuff-Morris-Pratt Algorithm by Transformation" Journal of Information Processing. (1990)

    • 関連する報告書
      1989 実績報告書

URL: 

公開日: 1989-03-31   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi