ドキュメントの情報
はじめに
1. スレッドアナライザとその機能について
2. データの競合チュートリアル
3. デッドロックのチュートリアル
3.1 デッドロックについて
3.2 デッドロックチュートリアルのソースファイルの入手
3.2.1 din_philo.c のソースコードリスト
3.3 食事する哲学者の問題
3.3.1 哲学者がデッドロックに陥るしくみ
3.3.2 哲学者 1 の休眠時間の導入
3.4 スレッドアナライザを使用したデッドロックの検索方法
3.4.1 ソースコードをコンパイルする
3.4.2 デッドロック検出実験を作成する
3.4.3 デッドロック検出実験を検証する
3.4.3.1 スレッドアナライザを使用したデッドロック検出実験結果の表示
3.4.3.2 er_print を使用した、デッドロック検出実験結果の表示
3.5 デッドロックの実験結果について
3.5.1 デッドロックが発生した実行の検証
3.5.2 潜在的デッドロックがあるにもかかわらず完了した実行の検証
3.6 デッドロックの修正と誤検知について
3.6.1 トークンを使用した哲学者の規制
3.6.1.1 誤検知レポート
3.6.2 トークンの代替システム
A. スレッドアナライザで認識される API
B. 役に立つヒント
このチュートリアルでは、スレッドアナライザを使用して、マルチスレッドプログラム内の潜在的デッドロックおよび実デッドロックを検出する方法について説明します。
チュートリアルでは次のトピックを扱います。
「3.1 デッドロックについて」
「3.2 デッドロックチュートリアルのソースファイルの入手」
「3.3 食事する哲学者の問題」
「3.4 スレッドアナライザを使用したデッドロックの検索方法」
「3.5 デッドロックの実験結果について」
「3.6 デッドロックの修正と誤検知について」