EDA・ソフトウエア 強いLSIやボードを設計するための
 

【PDC】Microsoft社が並列処理記述言語「Axum」を解説,共有メモリ型の限界を強調

北郷 達郎=日経エレクトロニクス
2009/11/20 17:03
印刷用ページ

 米Microsoft Corp.は,開催中の「Professional Developers Conference 2009(PDC 2009)」のセッションで,開発中の並列処理記述言語「Axum」を解説した。Axumは.NET Frameworkで動作するプログラムを記述できる。言語仕様は比較的C++やC#に似ている。

 基本的なアイデアはWebから取ったという。「数億個のプロセサが動作し,数千の組織に属する数十万の開発者が時には互いに競合しながらプログラムを記述し,スケーラビリティがあって安定して使えるシステム。このような並列処理を実現しているシステムが,実はWebである」(Microsoft社Parallel Computing Platform,Software ArchitectのNiklas Gustafsson氏)。

 その並列性の源泉は,「それぞれのコンピュータが共有するメモリを持たない。依存関係が明確であり,システムの境界も明らかだ」(Gustafsson氏)。また非同期的な通信も必要であるという。

 そこで考案された言語がAxumだ。Axumの基本要素は大きく四つ。データを保持する主体である「Domain」と,データの受け渡しなどを代行して実行する「Agent」,データをやり取りする場である「Channel」,および,やり取りするデータの形式などを定めた「Schema」である。これらのうち,Domain同士は共有するデータを持たない。Domain間ではデータを直接共有することはなく,必要に応じてDomainに属するAgentがChannelを通じてデータをやり取りする。

 こうした並列処理の記述方法は,ほぼCSP(communicationg sequential process)に依拠している。この点は米Google Inc.が先日発表した「Go」と同じであり,ソフトウエア界の二大巨頭が同じ結論に達したといえよう。すなわち,ロックを基盤に据えた共有排他制御のメカニズムには限界があり,今後のマルチコア/メニーコア時代に向けたソフトウエア開発には対処できないことを意味している可能性が高い。

<技術者塾>
電源制御と主回路の定式化手法(2日間)
~状態平均化法によるコンバータの伝達関数の導出と制御設計の基礎について事例を基にわかりやすく解説~



これまでの電源設計の教科書にはない新しい見地から基礎理論および実践例について解説するとともに、「系の安定度」の問題点と解決手法についても解説します。今年3月に発刊した「スイッチング電源制御設計の基礎」(日経BP社刊)をベースに最新の内容を解説いたします。詳細はこちら

【日時】:2015年9月28~29日 10:00~17:00 (開場9:30)予定
【会場】:化学会館(東京・御茶ノ水)
【主催】:日経エレクトロニクス

コメントする
コメントに関する諸注意(必ずお読みください)
※コメントの掲載は編集部がマニュアルで行っておりますので、即時には反映されません。

マイページ

マイページのご利用には日経テクノロジーオンラインの会員登録が必要です。

マイページでは記事のクリッピング(ブックマーク)、登録したキーワードを含む新着記事の表示(Myキーワード)、登録した連載の新着記事表示(連載ウォッチ)が利用できます。

協力メディア&
関連サイト

  • 日経エレクトロニクス
  • 日経ものづくり
  • 日経Automotive
  • 日経デジタルヘルス
  • メガソーラービジネス
  • 明日をつむぐテクノロジー
  • 新・公民連携最前線
  • 技術者塾

Follow Us

  • Facebook
  • Twitter
  • RSS

お薦めトピック

日経テクノロジーオンラインSpecial

記事ランキング