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