MSが150万ドルを投じる7大学によるマルチコア研究プロジェクト

文:Mary Jo Foley(Special to ZDNet.com) 翻訳校正:菊地千枝子 2008年07月30日 03時20分

  • このエントリーをはてなブックマークに追加

 MicrosoftのExternal Research Teamは3月に、マルチコアコンピューティングの研究プロジェクトのための「提案依頼書(RFP)」を出していた。米国時間7月28日、毎年恒例のResearch Faculty Summitが開催した日に、Microsoftはこの寄付金をどこで何に費やすかを発表した。

 「Safe and Scalable Multicore Computing RFP」にMicrosoftが割り当てた150万ドルは、7つの大学による研究プロジェクトが分かち合うことになる。Microsoftによると、同RFPは「コンピュータ構造、オペレーティングシステム、ランタイム、コンパイラ、そしてアプリケーションの関係を再考するマルチコアソフトウェアにおける大胆かつ重要な研究を促進し、可能とする」ことを意図しているという。

 Microsoftは他の多くのITリーダーと同様に、自社の時間とお金の多くを、多様なパラレルプロセッシングの進展により、マルチコア/メニーコアのコンピューティングへの移行を容易にするために投じている。今週のResearch Faculty SummitでMicrosoftの並列コンピューティングプラットフォームチームは、「.Net Framework」へのParallel Extentionsや「Parallel Language Integrated Query(PLINQ)」などの作業の一部を発表する予定である。MicrosoftとIntelのUniversal Parallel Computing Research Centerもまた、本カンファレンスにおいて研究アジェンダを発表する予定である。

  Microsoftはマルチコアに関してレドモンド以外ではどこに投資しているのか?以下が前述のマルチコアRFPの下で資金を提供されているプロジェクトである:

Sensible Transactional Memory via Dynamic Public or Private Memory

ワシントン大学のDan Grossman氏:「トランザクションを現代のプログラミング言語のデザインと遂行に統合することは驚くほど難しい。本研究の大きな目標は、言語意味論、コンパイラ、ランタイムシステム、そしてパフォーマンス評価における作業を通してこのような困難を取り除くことである。」

Supporting Scalable Multicore Systems Through Runtime Adaptation

ヴァージニア大学Kim Hazelwood氏:「本Paradox Compiler Projectは、静的解析とコンパイラが挿入されたヒントや憶測の独自の組み合わせに、ダイナミックなランタイム適合を合わせたものを通して、マルチコアとメニーコアのシステムで効率的に実行できる拡張可能なソフトウェアを構築する手段を開発することを目的としている。本研究ではこのParadoxシステムの『Runtime Adaptation』の部分に注力する予定である。」

Language and Runtime Support for Safe and Scalable Programs

パデュー大学のAntony Hosking氏、Jan Vitek氏、Suresh Jagannathan氏、そしてAnanth Grama氏:「拡張可能なパフォーマンスを確保しながら安全なアプリケーションを開発するプログラマーの労力を節減するために、必要に応じて、レイヤー間のサポートとともに、ソフトウェアスタックの各レイヤーの並行処理を伝達、管理することは重要な課題である。本チームはトランザクションベースのアプローチを使用したアプリケーションのパフォーマンスとプログラミング可能性を抜本的に強化するような新種の構成概念を開発する。」

Geospatial-based Resource Modeling and Management in Multi- and Manycore Era

フロリダ大学、Tao Li氏:「マルチコアパフォーマンスがコア数の増加に対応できるように確保するため、革新的なプロセッサ構造(例:分散共有キャッシュ、オンチップネットワーク)がハードウェアデザインにおいてますます配備されるようになっている。本チームは地理空間ベースのオンチップリソース利用分析、管理、最適化のための新種の技術を探索する。」

Reliable and Efficient Concurrent Object-Oriented Programs (RECOOP)

 

スイス連邦工科大学チューリッヒ校、Bertrand Meyer氏:「本プロジェクトの目標は、並列コンピュテーションにおけるシンプルオブジェクト指向プログラミング(SCOOP)モデルにはじまり、実用的な形式意味論と証明メカニズムを開発することで、プログラマーが並列プログラムについて抽象的に推論し、これらのプログラムの形式的特性の証明を可能とすることである。」

Runtime Packaging of Fine-Grained Parallelism and Locality

ブリガムヤング大学、David Penry氏:「拡張可能なマルチコア環境には優れたパフォーマンスを達成するためにきめ細かいパラレリズムの利用が必要とされる…。現在のパッケージングアルゴリズムはいくつかの制約を受けている。研究者らは、パラレリズムとローカリティの両方を考慮し、クリティカルセクションを認識し、ランタイム環境が変化すれば再実行することが可能で、ランタイムフィードバックを取り入れることができて、大いに拡張可能であるような、新たなパッケージングアルゴリズムを開発する。」

Multicore-Optimal Divide-and-Conquer Programming

イエール大学、Paul Hudak氏:「分割統治(Divide and conquer)は、並列アルゴリズムを特定するための自然で表現豊か、そして効率的なモデルである。本チームは分割統治を、もっとポピュラーなマップのように、DCと呼ばれる代数関数形式として位置づけ、関数形式を削減し、スキャンする。DCはそのようなものとして、もっとポピュラーな形式を包含し、そのモジュール方式は多様な問題と構造的詳細への応用を可能とする。」

この記事は海外CNET Networks発のニュースをシーネットネットワークスジャパン編集部が日本向けに編集したものです。海外CNET Networksの記事へ

  • このエントリーをはてなブックマークに追加
関連キーワード
経営

関連ホワイトペーパー

SpecialPR

  • デジタル変革か?ゲームセットか?

    デジタルを駆使する破壊的なプレーヤーの出現、既存のビジネスモデルで競争力を持つ
    プレイヤーはデジタル活用による変革が迫られている。これを読めばデジタル変革の全体像がわかる!

  • 【3/31まで早期割引受付中!】「IBM Watson Summit 2017」開催

    日本IBMが主催する最大の国内総合イベント。テクノロジー・リーダーの疑問を紐解く「企業IT、セキュリティー、モバイル、データ解析などの進化を探る」詳細はこちらから!

連載

CIO
研究現場から見たAI
ITは「ひみつ道具」の夢を見る
内製化とユーザー体験の関係
米ZDNet編集長Larryの独り言
今週の明言
「プロジェクトマネジメント」の解き方
田中克己「2020年のIT企業」
松岡功「一言もの申す」
林 雅之「デジタル未来からの手紙」
谷川耕一「エンプラITならこれは知っとけ」
Fintechの正体
内山悟志「IT部門はどこに向かうのか」
情報通信技術の新しい使い方
三国大洋のスクラップブック
大河原克行のエンプラ徒然
コミュニケーション
情報系システム最適化
モバイル
通信のゆくえを追う
セキュリティ
セキュリティの論点
ネットワークセキュリティ
スペシャル
座談会@ZDNet
Dr.津田のクラウドトップガン対談
CSIRT座談会--バンダイナムコや大成建設、DeNAに聞く
創造的破壊を--次世代SIer座談会
企業決算を追う
「SD-WAN」の現在
展望2017
IBM World of Watson
de:code
Sapphire Now
VMworld
Microsoft WPC
HPE Discover
Oracle OpenWorld
Dell EMC World
AWS re:Invent
PTC LiveWorx
古賀政純「Dockerがもたらすビジネス変革」
さとうなおきの「週刊Azureなう」
誰もが開発者になる時代 ~業務システム開発の現場を行く~
中国ビジネス四方山話
より賢く活用するためのOSS最新動向
「Windows 10」法人導入の手引き
Windows Server 2003サポート終了へ秒読み
米株式動向
実践ビッグデータ
日本株展望
ベトナムでビジネス
アジアのIT
10の事情
エンタープライズトレンド
クラウドと仮想化