InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

Visual Studio 2010の主機能:プロファイル作成およびデバッギング並列アプリケーション

作者 Jonathan Allen , 翻訳者 編集部 投稿日 2008年10月16日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
IDE ,
パフォーマンス&スケーラビリティ ,
デバッグ ,
.NET
タグ
Visual Studio ,
Parallel Programming

Visual Studio 2010は、プロファイル作成およびデバッギング並列アプリケーションへ新しくフォーカスするとしている。対処しようとしている問題の1つは、設計時の ソースコードと実行時のコード間のブラックボックスである。設計時、コードはPLINQまたはParallel.Forを使用し、宣言的に提示されるが、 実行時には、個別のスレッドの観点で提示される。デバッガに関する限り、これら2つのレイヤー間で起こっていることは非常に謎めいている。これに対処する ために、Microsoftはデバッガのフォーカスを抽象のより上位、すなわちタスクレベルに移行したいと考えている。

これがどう機能するのかを理解するには、PLINQおよびParallel.ForがTask Parallel Libraryでビルドされることを理解することが重要である。極めて単純化されているが、並列操作を一連のタスクとして考えることができる。順々に一連 のスレッド上で実行される。

こんにちのVSにおけるタスクで何が起こっているのかを知るためには、デベロッパは各スレッドを個別に確認する必要がある。VS 2010では、新たなウィンドウはタスクを直接表示する。各タスクは、コールスタックを持つボックスとして表示され、引数が渡される。共通のコールスタッ クを共有している複数のタスクは、同じボックスにリストされる。タスクに共通のベースがあるが、コールスタックにさらに分岐する場合、個別の子ボックスを 持った共通ボックスとして表示される。

スタックの代わりに、メソッドビューを表示することもできる。これは、どう呼び出されようと、選択されたメソッドによって呼び出されたり、呼び出す各メソッドの親および子ボックスをもった特定のメソッドにフォーカスする。

個別のビューが、作成した子タスクとタスクがどのように関連するのかを示す。デフォルトでは、これはタスクが開始されたかどうか、また何に仕えているのかというような情報を備えた階層的なグリッドである。グループ化および任意の列によるソートが可能である。

プロファイル作成の面では、新たに3つのツールが提供されている。1つ目は、プレコアの割合でのCPU使用率を表示するトレースである。毎回、スタック バーがアプリケーション、アイドルまたは、その他のシステム処理で使用されたコア数を表示する。これによりデベロッパは、アプリケーションが提供されたリ ソースをすべて消費しているかどうかを迅速に確認することができる。

次のツールは、各スレッドのタイムラインを表示する。特定の時点で、スレッドのコールスタックおよび遅延時間が利用可能である。コードの実行、ロック待機 またはIOなどのタイプにより遅延はグループ化される。Parallel.Forのような構文を使用する場合、マーカーはいつ並列ループが開始および終了 したかを示す。

そして最後のツールは、スレッドがコアにマップされる様子を示す。タイムラインの方式で表示されるので、色分けされたコードスレッドがコアからコアにマイ グレーションしているかどうか、また頻繁にコンテキストが切り替えられているかどうかを迅速に確認することができる。毎回、スレッドが別のコアにジャンプ するので、CPUの高速キャッシュが無効になる良い機会である。そのため、これは重要である。

Steve Teixeira氏、Daniel Moth氏およびSean Nordberg氏がこうした機能をChannel 9ビデオ(リンク)で紹介している。

原文はこちらです:http://www.infoq.com/news/2008/10/VS10-Parallel-Debugging

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。