Research on type-based SIMD operation and parallel extension of a statically typed functional programming language

2010 Fiscal Year Self-evaluation Report

• Project/Area Number: 20700039
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: 財団法人京都高度技術研究所 (2011); Advanced Software Technology & Mechatronics Research Institute of Kyoto (2008-2010)
• Principal Investigator: YOSHIDA Nobuaki Advanced Software Technology & Mechatronics Research Institute of Kyoto, 研究部, 副主任研究員 (00373506)
• Project Period (FY): 2008 – 2011
• Keywords: ソフトウェア学 / 言語処理系 / 並列計算 / ハイパフォーマンスコンピューティング

Research Abstract

この研究は、近年広がりつつあるヘテロジニアス・マルチコアプロセッサなど、汎用プロセッサや異なるアーキテクチャの特定用途向けプロセッサが複数存在するマルチプロセッサ環境において、静的型付関数型言語(Standard ML言語など)の抽象性や理論に裏付けられた高い生産性・信頼性と、マルチプロセッサ環境の高い並列演算性能が両立する処理系の実現を目的とする。
特に、本課題では、SIMD(Single Instruction Multiple Data,単一命令で複数の数値に対し同時に演算を行う)演算向けプロセッサを持つマルチプロセッサ環境に対し、この環境の特性を活用した高性能の並列処理が可能なStandard ML言語処理系を、型理論に基づき型安全性を保証しつつ実現する。