Использование неопределенного идентификатора потока

Идентификатор потока из неудачного создания потока, используемого в последующих функциях потока

Описание

Этот дефект возникает, когда функция создания потока, такая как pthread_create не удается, но вы продолжаете использовать идентификатор из создания потока.

Например, pthread_join использует неопределенный идентификатор потока после ошибки при создании предыдущего потока. Ненулевое возвращаемое значение от pthread_create указывает на неудачное создание потока.

pthread_t id;
if(0! = pthread_create(&id, attr, start_func, NULL)) {
    ...
    phread_join(id, NULL);
    ...
}

Проблема также помечается, если не проверить возвращаемое значение из вызова pthread_create.

Риск

В соответствии со стандартом POSIX ®, если создание потока завершается неуспешно, содержимое идентификатора потока не определено. Использование неопределенного идентификатора потока может привести к непредсказуемым результатам.

Проблема часто указывает на ошибку программирования. Например, можно проверить ненулевые значения, чтобы определить успешное создание потока:

if(0 != pthread_create(&id, attr, start_func, NULL))

вместо нуля:

if(0 == pthread_create(&id, attr, start_func, NULL))

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

Если использование неопределенного идентификатора потока является результатом ошибки программирования, исправьте ошибку. В противном случае удалите функции потока, использующие неопределенный идентификатор.

Примеры

развернуть все

Потоки, соединенные после неудачного создания потока

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

extern void *thread_func(void *arg);


int main() {
    pthread_t id;
    if(thread_success != pthread_create(&id, NULL, thread_func, NULL)) {
         if(thread_success == pthread_join(id, NULL)) {
         }
    }

    return 0;
}

В этом примере, если pthread_create возвращает ненулевое значение, не удалось создать поток. Значение *id не определен. Последующий вызов pthread_join использует это неопределенное значение.

Исправление - объединение потоков после успешного создания потока

Одной из возможных корректировок является вызов pthread_join с идентификатором потока в качестве аргумента, только если pthread_create возвращает ноль.

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

extern void *thread_func(void *arg);


int main() {
    pthread_t id;
    if(thread_success == pthread_create(&id, NULL, thread_func, NULL)) {
         if(thread_success == pthread_join(id, NULL)) {
         }
    }

    return 0;
}

Возвращаемое значение из создания потока не проверено

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

extern void *thread_func(void *arg);


int main() {
    pthread_t id;
    pthread_create(&id, NULL, thread_func, NULL); 
    if(thread_success == pthread_join(id, NULL)) {
    }

    return 0;
}

В этом примере возвращаемое значение pthread_create не проверяется. Если не удается создать поток, ошибка не обрабатывается. Возможно, неопределенный идентификатор потока позже используется в pthread_join функция.

Исправление - обработка ошибок при создании потока

Одной из возможных корректировок является использование идентификатора из создания потока, только если возвращаемое значение из pthread_create указывает на успешное создание потока.

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

extern void *thread_func(void *arg);


int main() {
    pthread_t id;
    if(thread_success == pthread_create(&id, NULL, thread_func, NULL)) {
         if(thread_success == pthread_join(id, NULL)) {
         }
    }

    return 0;
}

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

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

Язык: C

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

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

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

См. также

Join or detach of a joined or detached thread | Missing or double initialization of thread attribute

Темы

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

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