Соединение или отсоединение присоединенного или отсоединенного потока

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

Описание

Этот дефект возникает в следующих случаях:

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

Панель Сведения о результате (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. Поток, созданный с помощью этого атрибута, затем соединяется.

Коррекция - создание потоков как соединяемых

Одной из возможных корректировок является создание потока с атрибутом потока, назначенным состоянию 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

По умолчанию: Откл.

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

Воздействие: среднее

См. также

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

Темы

Представлен в R2019b

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