2002 Fiscal Year Annual Research Report
| Project/Area Number |
13480073
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
伊藤 貴康 東北大学, 大学院・情報科学研究科, 教授 (80124551)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
宮川 伸也 東北大学, 大学院・情報科学研究科, 助手 (70344710)
|
|---|
| Keywords | 並列関数型言語 / スティール評価法 / タスク遅延生成 / PaiLisp / PaiLisp-Kernel / SSTマシン / stealable / 遅延評価法 |
|---|
| Research Abstract |
共有メモリ型メモリアーキテクチャを前提とした並列言語の処理系には、伝統的に並列度を高めるEager Task Creationという並行タスクの生成法が用いられ、並列言語の設計も、そのことを前提として進められて来た。関数型言語の処理系には、関数式のEager EvaluationとLazy Evaluationがある。研究代表者は、並列言語の処理系作成において、タスクの遅延生成が有用であることに着目し、スティール評価法という並行タスクの遅延生成法を考案した。並列LlSP言語PaiLispを対象として、スティール評価法が、理論的にも実験的にもEager Task Creationよりも優れたものであることを示めした。スティール評価法固有の構文stealableを導入し、新しい並列関取型言語を設計した。また、スティール評価法を系統的に設計・実現するための仮想並列マシン「SSTマシン」を提案し、その命令セットを設計し、C言語ライブラリとして実現し、ウェブで公開した。PaiLispの実現には、過去にEager Task Creationに基づくPaiLisp核言語PaiLisp-Kernelによる実現法を与えているが、スティール評価法に基づく新たなPaiLisp核言語を与え、これを用いたPaiLispの優れた処理系も与えた。これらに加えて、遅延タスク生成と遅延評価法を併用した並列関数型言語を設計・実現し、その有効性を実証した。これらは、スティール評価法という遅延タスク生成が優れたものであることを示めすと共に、並列言語においてstealableという構文とSSTマシンが重要な提案であることを示すものである。
|
Research Products
(9 results)
-
[Publications] 江島賢司, 伊藤貴康: "遅延評価機構を備えた並列関数型言語とその処理系"東北大学電通談話会記録. 第71巻1号. 573-574 (2002)
-
[Publications] 宮川伸也, 伊藤貴康: "スティール評価法のためのSSTマシンによる並列Schemeコンパイラの実現"情報処理会プログラミング研究会資料. 1-14 (2002)
-
[Publications] 森谷俊洋, 伊藤貴康: "ファジイ制約を備えた知識表現システムとそのISLISPによる実現"情報処理学会論文誌. 第43巻10号. 3137-3157 (2002)
-
[Publications] Takayasu Ito, Shin-ichi Kawamoto, Masayoshi Umehara: "A Multi-Threaded Implementation of PaiLisp Interpreter and Compiler"Advanced LISP Technology, The Information Processing Society of Japan. Taylor & Francis Press. 1-26 (2002)
-
[Publications] Takayasu Ito: "An Efficient Evaluation Strategy for Concurrency Constructs in Parallel Scheme Systems"Advanced LISP Technology, The Information Processing Society of Japan. Taylor & Francis Press. 99-118 (2002)
-
[Publications] 伊藤貴康, 宮川伸也: "スティール評価法のための仮想並列マシンの設計と実現"情報処理学会論文誌. 第44巻(印刷中). (2003)
-
[Publications] 乗本英介, 伊藤貴康: "ネイティブコード安全性を保証するコード照合器付きECC Schemeシステム"情報処理学会全国大会論文集. 第65回全国大会論文(印刷中). (2003)
-
[Publications] 森谷俊洋, 伊藤貴康: "ファジイ知識表現システムに基づくWebオントロジ記述言語"情報処理学会全国大会論文集. 第65回全国大会論文(印刷中). (2003)
-
[Publications] 石井祐平, 伊藤貴康: "閉じ込め型を用いたリージョンマネージャに基づくセキュァJava/LR"情報処理学会全国大会論文集. 第65回全国大会論文(印刷中). (2003)
