JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.
If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.
If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.
| CodeSonar® 9.2p0 | CONFIDENTIAL | CodeSecure Inc |
ミューテックスが、間にアンロックされないまま２回 pthread_mutex_lock() でロックされようとしています。
より広範囲な二重ロックをチェックする場合は 二度のロック と ロック解放の欠如 を有効にしてください。
| クラス名 | Double Lock | ||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 日本語クラス名 | 二重ロック | ||||||||||||||||||||||||
| クラス分類 | 信頼性 (reliability) | ||||||||||||||||||||||||
| ニーモニック | CONCURRENCY.DL | ||||||||||||||||||||||||
| カテゴリー |
|
||||||||||||||||||||||||
| 対応言語 | C および C++ で利用可能です。 |
||||||||||||||||||||||||
| 有効/無効設定 | このワーニングクラスのチェックはデフォルトで有効になっています。チェックを無効にするにはプロジェクト設定ファイル
（configuration file）に以下の WARNING_FILTER ルールを追加してください。
WARNING_FILTER += discard class="Double Lock" |
A warning is triggered if a lock acquisition function is called to acquire a mutex that has definitely already been acquired.
For the purpose of this check:
English (en)
#include <pthread.h>
void dl_1(pthread_mutex_t lock){
pthread_mutex_lock(&lock);
pthread_mutex_lock(&lock); /* 'Double Lock' warning issued here. */
}
void dl_2(pthread_mutex_t lock){
pthread_mutex_lock(&lock);
pthread_mutex_unlock(&lock);
pthread_mutex_lock(&lock); /* 'Double Lock' warning issued here - pthread_mutex_unlock()
* may have failed to release the lock.
*/
}
int no_dl(pthread_mutex_t lock){
if (!pthread_mutex_lock(&lock)){return -1;}
if (!pthread_mutex_unlock(&lock)){return -1;}
return pthread_mutex_lock(&lock); /* ok: if control reaches this line,
* the call to pthread_mutex_unlock() must have succeeded
*/
}
既にロックされているミューテックスをロックしようとすると、デッドロックもしくは未定義動作の原因となります。
設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。
To report problems with this documentation, please visit https://support.codesecure.com/.