C and C++

CONCURRENCY.TNJ : Thread is not Joinable

要旨

An attempt to join or detach a thread that is not joinable.

A thread is considered joinable if it has not yet been joined or detached.

プロパティ

クラス名 Thread is not Joinable
日本語クラス名 Thread is not Joinable
クラス分類 セキュリティ (security)
ニーモニック CONCURRENCY.TNJ
カテゴリー
MisraC2023 MisraC2023:22.11 A thread that was previously either joined or detached shall not be subsequently joined nor detached
  MisraC2023:D.4.13 Functions which are designed to provide operations on a resource should be called in an appropriate sequence
Misra2012 Misra2012:22.11 A thread that was previously either joined or detached shall not be subsequently joined nor detached
  Misra2012:D.4.13 Functions which are designed to provide operations on a resource should be called in an appropriate sequence
CWE CWE:666 Operation on Resource in Wrong Phase of Lifetime
  CWE:696 Incorrect Behavior Order
CERT-C CERT-C:CON39-C Do not join or detach a thread that was previously joined or detached
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで有効になっています。チェックを無効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += discard class="Thread is not Joinable"

例 

#include <pthread.h>

void * thread_func( void * arg ) { return arg; }

void concurrency_tnj( void ){
    pthread_t t;

    if ( pthread_create( &t, NULL, thread_func, NULL) ) {return;}

    if ( pthread_join( t, NULL )) {return;}             /* ok: if execution reaches this call, the pthread_create()
                                                         * call was successful and t is joinable
                                                         */

    pthread_join( t, NULL ); /* 'Thread is not Joinable' warning issued here:
                              * if execution reaches this call, the previous call to pthread_join()
                              * was successful and t is no longer joinable
                              */
}

ワーニングを引き起こす関数

CodeSonar ships with library models that allow it to functions such as libc pthread_join()/pthread_detach() that join or detach a thread. If one of these functions is called when the thread has already been joined or detached, a warning will be issued.

If you have created a custom library model for some function f() in terms of one of these existing models, calls to f() will also be capable of triggering Thread is not Joinable warnings.

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。