Exponenta Banner
exponenta event banner

Use of signal to kill thread

Непойманный сигнал уничтожает целый процесс вместо определенного потока

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

Описание

Это средство проверки деактивировано в Polyspace по умолчанию® как Вы Анализ кода. Смотрите Средства проверки, Деактивированные в Polyspace, когда Вы Кодируете Анализ По умолчанию.

Этот дефект происходит, когда вы используете непойманный сигнал уничтожить поток. Например, вы используете POSIX® функциональный pthread_kill и отправьте SIGTERM сигнала уничтожить поток.

Риск

Отправка сигнала уничтожает целый процесс вместо только потока, который вы намереваетесь уничтожить.

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

Исправление

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

Например, используйте функцию POSIX pthread_cancel отключать определенный поток.

Примеры

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

#include <signal.h>
#include <pthread.h>

void* func(void *foo) {
  /* Execution of thread */
}
 
int main(void) {
  int result;
  pthread_t thread;
 
  if ((result = pthread_create(&thread, NULL, func, 0)) != 0) {
  }
  if ((result = pthread_kill(thread, SIGTERM)) != 0) {
  }
 
  /* This point is not reached because the process terminates in pthread_kill() */
 
  return 0;
}

В этом примере, pthread_kill функция отправляет SIGTERM сигнала уничтожить поток. Сигнал уничтожает целый процесс вместо потока, ранее созданного с pthread_create.

Коррекция — использует pthread_cancel отключать потоки

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

#include <signal.h>
#include <pthread.h>

void* func(void *foo) {
  /* Execution of thread */
}
 
int main(void) {
  int result;
  pthread_t thread;
 
  if ((result = pthread_create(&thread, NULL, func, 0)) != 0) {
    /* Handle Error */
  }
  if ((result = pthread_cancel(thread)) != 0) {
    /* Handle Error */
  }
 
  /* Continue executing */
 
  return 0;
}

Смотрите также:

  • pthread_cancel для получения дополнительной информации о типах отмены.

  • Pthreads для функций, которым позволяют быть точками отмены.

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

Группа: параллелизм
Язык: C | C++
Значение по умолчанию: Off
Синтаксис командной строки: THREAD_KILLED_WITH_SIGNAL
Удар: низко

Смотрите также

|

Темы

Введенный в R2018b

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

Поддержка