Join or detach of a joined or detached thread

Поток, который был ранее соединен или отсоединен, снова соединяется или отсоединяется

Описание

Этот дефект возникает, когда:

Вы пытаетесь присоединиться к потоку, который был ранее присоединен или отсоединен.
Вы пытаетесь отсоединить поток, который был ранее присоединен или отсоединен.

Панель Result Details описывает, был ли поток ранее присоединен или отсоединен, а также показывает предыдущие связанные события.

Например, поток, соединенный с thrd_join затем отсоединяется с помощью thrd_detach:

thrd_t id;
...
thrd_join(id, NULL);
thrd_detach(id);

Обратите внимание, что поток рассматривается как соединенный только в том случае, если предыдущее соединение потоков успешно. Для образца поток не рассматривается как соединенный в if филиал здесь:

thrd_t t;
...
if (thrd_success != thrd_join(t, 0)) {
    /* Thread not considered joined */
}

Анализ не может обнаружить случаи, когда объединенный поток отсоединяется, например, с помощью thrd_current() функция.

Риск

В C11 стандарте (пункты 7.26.5.3 и 7.26.5.6) указывается, что резьба не должна соединяться или отсоединяться после того, как она была ранее присоединена или отсоединена. Нарушение этих пунктов стандарта приводит к неопределенному поведению.

Зафиксировать

Избегайте присоединения потока, который уже был присоединен или отсоединен ранее. Избегайте отсоединения потока, который уже был соединен или отсоединен.

Примеры

расширить все

Соединение потока с последующим отсоединением потока

#include <stddef.h>
#include <threads.h>
#include <stdlib.h>


extern int thread_func(void *arg);

int main (void)
{
  thrd_t t;

  if (thrd_success != thrd_create (&t, thread_func, NULL)) {
    /* Handle error */
    return 0;
  }

  if (thrd_success != thrd_join (t, 0)) {   
    /* Handle error */
    return 0;
  }

  if (thrd_success != thrd_detach (t)) {   
    /* Handle error */
    return 0;
  }

  return 0;
}

В этом примере использование thrd_detach в потоке, который ранее был соединен с thrd_join приводит к неопределенному поведению.

Чтобы избежать ошибок компиляции при запуске Bug Finder на этом примере, укажите стандарт C11 с опцией C standard version (-c-version).

Коррекция - Избегайте отсоединения объединенного потока

Удалите предыдущие thrd_join или последующее thrd_detach оператор. В этой исправленной версии thrd_detach оператор удаляется.

#include <stddef.h>
#include <threads.h>
#include <stdlib.h>


extern int thread_func(void *arg);

int main (void)
{
  thrd_t t;

  if (thrd_success != thrd_create (&t, thread_func, NULL)) {
    /* Handle error */
    return 0;
  }

  if (thrd_success != thrd_join (t, 0)) {   
    /* Handle error */
    return 0;
  }

  return 0;
}

Соединение потока, созданного в автономном состоянии

#include <stddef.h>
#include <pthread.h>
#define thread_success 0

extern void *thread_func(void *arg);


int main() {
    pthread_t id;
    pthread_attr_t attr;
    
    if(thread_success != pthread_attr_init(&attr)) {
        return 0;
    }
   
    if(thread_success != pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED)) {
        return 0;
    }
       
    if(thread_success != pthread_create(&id, &attr, thread_func, NULL)) {
            return 0;
    }
    
    if(thread_success != pthread_join(id, NULL)) {
            return 0;
    }

    return 0;    
}

В этом примере атрибуту потока присваивается состояние PTHREAD_CREATE_DETACHED. Затем создается поток, созданный с использованием этого атрибута.

Коррекция - Создавайте потоки как Joinable

Одной из возможных коррекций является создание потока с атрибутом потока, назначенным состоянию PTHREAD_CREATE_JOINABLE и затем присоединяйтесь к потоку.

#include <stddef.h>
#include <pthread.h>
#define thread_success 0

extern void *thread_func(void *arg);


int main() {
    pthread_t id;
    pthread_attr_t attr;
    
    if(thread_success != pthread_attr_init(&attr)) {
        return 0;
    }
   
    if(thread_success != pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_JOINABLE)) {
        return 0;
    }
       
    if(thread_success != pthread_create(&id, &attr, thread_func, NULL)) {
            return 0;
    }
    
    if(thread_success != pthread_join(id, NULL)) {
            return 0;
    }

    return 0;    
}

Информация о результатах

Группа: Параллелизм

Язык: C

По умолчанию: Off

Синтаксис командной строки : DOUBLE_JOIN_OR_DETACH

Влияние: Средний

См. также

Missing or double initialization of thread attribute | Use of undefined thread ID

Темы

Введенный в R2019b

Документация