Missing or double initialization of thread attribute

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

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

Описание

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

Вы дважды инициализируете атрибут потока с функцией, такой как pthread_attr_init без промежуточного вызова функции, такой как pthread_attr_destroy.
Функция pthread_attr_destroy уничтожает объект атрибута потока и позволяет системе восстановить ресурсы, связанные с объектом.
Вы используете неинициализированный атрибут потока в такой функции, как pthread_create, который ожидает инициализированный атрибут. Атрибут потока может быть неинициализирован, поскольку он никогда не был инициализирован ранее или уничтожен с помощью pthread_attr_destroy функция.
Неинициализированные атрибуты потока обнаруживаются для всех функций в POSIX^® стандарт.

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

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

pthread_attr_t attr;
int thread_success;

thread_success = pthread_attr_init(&attr);
if(thread_success != 0) {
   /* Thread attribute considered noninitialized */
}

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

Риск

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

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

Перед использованием атрибута потока инициализируйте атрибут с помощью pthread_attr_init функция.

pthread_attr_t attr;
int thread_success;

/* Initialize attribute */
thread_success = pthread_attr_init(&attr);
if(thread_success != 0) {
   /* Handle initialization error */
}
...
/* Use attribute */
thread_sucess = pthread_create(&thr, &attr, &thread_start, NULL);

После инициализации уничтожите атрибут потока при помощи pthread_attr_destroy перед повторной инициализацией:

pthread_attr_t attr;
int thread_success;

/* Destroy attribute */
thread_success = pthread_attr_destroy(&attr);
if(thread_success != 0) {
   /* Handle destruction error */
}
...
/* Reinitialize attribute */
thread_success = pthread_attr_init(&attr);

Примеры

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

Использование неинициализированного атрибута потока

#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_create(&id, &attr, thread_func, NULL)) {
    }

    return 0;    
}

В этом примере атрибут attr не инициализирован перед его использованием в pthread_create вызов.

Коррекция - Инициализируйте атрибут потока перед использованием

Перед использованием атрибута потока в pthread_create function, инициализируйте атрибут с pthread_attr_init функция.

#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_create(&id, &attr, thread_func, 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_attr_t attr;
    
    pthread_attr_init(&attr);
   
    if(thread_success == pthread_create(&id, &attr, thread_func, NULL)) {
    }
    
    return 0;    
}

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

Коррекция - Обрабатывайте ошибки из инициализации атрибута потока

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

#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_create(&id, &attr, thread_func, NULL)) {
    }
    
    return 0;    
}

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

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

Язык: C

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

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

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

См. также

Join or detach of a joined or detached thread | Use of undefined thread ID

Темы

Введенный в R2019b

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