1996 Fiscal Year Annual Research Report
並列計算機上の関数プログラミングシステムの構築に関する研究
| Project/Area Number |
06558039
|
|---|
| Research Institution | University of Tokyo |
|---|
Principal Investigator |
武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
田中 哲朗 東京大学, 教育用計算機センター, 助教授 (60251360)
岩崎 英哉 東京農工大学, 工学部, 助教授 (90203372)
米澤 明憲 東京大学, 大学院・理学系研究科, 教授 (00133116)
|
|---|
| Keywords | 関数プログラミング / 並列プログラミング / 並列化機構 |
|---|
| Research Abstract |
本研究は、並列計算機上に関数プログラミングシステムを構築して、あらたに規模に基づく並列プログラミングの支援環境を与えようとするものである。
一昨年度より開発を進めてきた並列計算機AP1000上の関数プログラミングシステムParallel Goferを用いてさまざまな並列アルゴリズムを実現したプログラムを用意し、評価しつつコンパイラの最適化を進めてきた。
この研究を進めてゆく過程で、関数プログラミングシステムにおけるデータのUnbox化の重要性が明らかになってきた。データを動的に生成するという関数プログラムの実行においては、生成するデータの効率のよい取扱いがきわめて重要になってくる。ここでは、データのUnbox化に関して、動的にヒ-プ上に生成するとされるデータのうちで、実際にはそうする必要のないものを検出する方法を提案して実現し、評価した。本年度には、このようなデータのUnbox化とともに、構成的アルゴリズムに基づくHylomorphismによるプログラムの変換システムを構築し、有効性を確認した。これらは、並列関数プログラムに固有のものではなく、広く関数プログラミングシステムに適用できる手法である。
以上の研究成果は、主として、国際学会で発表しているが、これらをもとにして実現した並列関数プログラミングシステムはネットワークでアクセスできる形で公開する予定である。
|
-
[Publications] Zhenjiang Hu: "Deriving Structural Hylomorphisms from Recursive Definitions." ACM International Conference on Functional Programming (ICFP'96). 73-82 (1996)
-
[Publications] Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem" Annual European Conference in Parallel Processing (Euro-Par'96) Springer LNCS 1123. 553-562 (1996)
-
[Publications] Zhenjiang Hu: "Construction of List Homomorphisms via Tupling and Fusion." 21st International Symposium on Mathematical Foundation of Computer Scince(MFCS'96),Springer LNCS 1113. 407-418 (1996)
-
[Publications] Zhenjiang Hu: "Cheap Tupling in Calculational Form." 8th International Symposium on Programming Languages,Implementations,Logics,and Programs,Springer LNCS. 471-472 (1996)
-
[Publications] Zhenjiang Hu: "An Extension of Acid Rain Theorem" Proc.The Second Fuji Internatiorral Workshop on Functional and Logic Programming,World Scientific. (1997)
