oracle home
Oracle
®
Solaris Studio 12.4: スレッドアナライザユーザーズガイド
印刷ビューの終了
Search Term
検索範囲:
このドキュメント
ライブラリ全体
» ...
Documentation Home
»
Oracle Solaris Studio 12.4 Information Library ...
»
Oracle
®
Solaris Studio 12.4: ...
»
デッドロックのチュートリアル
»
デッドロックの実験結果について
更新: 2014 年 12 月
Oracle
®
Solaris Studio 12.4: スレッドアナライザユーザーズガイド
ドキュメント情報
このドキュメントの使用法
製品ドキュメントライブラリ
Oracle サポートへのアクセス
フィードバック
第 1 章 スレッドアナライザとその機能
スレッドアナライザの概要
データの競合とは
デッドロックとは
スレッドアナライザ使用モデル
データの競合を検出するための使用モデル
データの競合を検出するコードを計測する
ソースレベルの計測
バイナリレベルの計測
計測済みアプリケーションで実験を作成する
データの競合についての実験結果を検討する
デッドロックを検出するための使用モデル
デッドロックを検出するための実験を作成する
デッドロックの実験結果を検討する
データの競合およびデッドロックを検出するための使用モデル
スレッドアナライザのインタフェース
第 2 章 データの競合のチュートリアル
データの競合チュートリアルのソースファイル
データの競合チュートリアルのソースファイルの入手
prime_omp.c のソースコード
prime_pthr.c のソースコード
prime_omp.c および prime_pthr.c でのデータの競合の影響
スレッドアナライザを使用したデータの競合の検出方法
コードを計測する
ソースコードを計測する
バイナリコードを計測する
データの競合の検出実験を作成する
データの競合の検出実験を検証する
スレッドアナライザを使用したデータの競合実験の表示
er_print を使用したデータの競合実験の表示
実験結果について
prime_omp.c でのデータの競合
prime_pthr.c でのデータの競合
データの競合の呼び出しスタックトレース
データの競合の原因の診断
データの競合が誤検知であるかどうかをチェックする
データの競合が影響のないものであるかどうかを確認する
データの競合ではなくバグを修正する
prime_omp.c でのバグの修正
prime_pthr.c でのバグの修正
誤検知
ユーザー定義の同期
さまざまなスレッドでリサイクルされるメモリー
影響のないデータの競合
素数検索用のプログラム
配列値の型を検証するプログラム
二重検査されたロックを使用したプログラム
第 3 章 デッドロックのチュートリアル
デッドロックについて
デッドロックチュートリアルのソースファイルの入手
din_philo.c のソースコードリスト
食事する哲学者の問題
哲学者がデッドロックに陥るしくみ
哲学者 1 の休眠時間の導入
スレッドアナライザを使用したデッドロックの検出方法
ソースコードをコンパイルする
デッドロック検出実験を作成する
デッドロック検出実験を検証する
スレッドアナライザを使用したデッドロック検出実験の表示
er_print を使用したデッドロック検出実験結果の表示
デッドロックの実験結果について
デッドロックが発生した実行の検証
潜在的デッドロックがあるにもかかわらず完了した実行の検証
デッドロックの修正と誤検知について
トークンを使用した哲学者の規制
誤検知レポート
トークンの代替システム
付録 A スレッドアナライザで認識される API
スレッドアナライザユーザー API
認識されるその他の API
POSIX スレッド API
Oracle Solaris スレッド API
メモリー割り当て API
メモリー操作 API
文字列操作 API
リアルタイムライブラリ API
不可分動作 (atomic_ops) API
OpenMP API
付録 B スレッドアナライザの使用に関するヒント
アプリケーションのコンパイル
データ競合検出用アプリケーションの計測
collect を使用したアプリケーションの実行
データの競合の報告
言語:
日本語
デッドロックの実験結果について
このセクションでは、スレッドアナライザを使用して、食事する哲学者のプログラムでのデッドロックを調べる方法について説明します。
前へ
次へ