CERT C: Rule POS44-C

Не используйте сигналы отключить потоки

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

Описание

Управляйте определением

Не используйте сигналы отключить ^threads.[1]

Реализация Polyspace

Это средство проверки проверяет на Использование сигнала уничтожить поток.

Примеры

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

Использование сигнала уничтожить поток

Проблема

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

Риск

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

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

Фиксация

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

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

Пример - использование pthread_kill отключать потоки

#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 для функций, которым позволяют быть точками отмены.

Проверяйте информацию

Группа: правило 50. POSIX (POS)

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

Check SEI CERT-C (-cert-c)

Темы

Проверяйте на кодирование стандартных нарушений

Внешние веб-сайты

POS44-C

Введенный в R2019a

^[1] Это программное обеспечение было создано MathWorks, включающим фрагменты: “Веб-сайт SEI CERT-C”, © 2017 Carnegie Mellon University, веб-сайт SEI CERT-C © 2017 Carnegie Mellon University”, CERT SEI C Кодирование Стандарта – Правил для Разработки безопасных, Надежных и Защищенных систем – 2 016 Выпусков”, © 2016 Carnegie Mellon University, and “CERT SEI Стандарт Кодирования C++ – Правил для Разработки безопасных, Надежных и Защищенных систем на C++ – 2 016 Выпусков” © 2016 Carnegie Mellon University, со специальным разрешением от его Института программной инженерии.

ЛЮБОЙ МАТЕРИАЛ УНИВЕРСИТЕТА КАРНЕГИ-МЕЛЛОН И/ИЛИ ЕГО ИНСТИТУТА ПРОГРАММНОЙ ИНЖЕНЕРИИ СОДЕРЖАЛ, ЗДЕСЬ ПРЕДОСТАВЛЯЕТСЯ НА ОСНОВЕ "ASIS". УНИВЕРСИТЕТ КАРНЕГИ-МЕЛЛОН НЕ ДАЕТ ГАРАНТИЙ НИКАКОГО ВИДА, ИЛИ ОПИСАЛ ИЛИ ПОДРАЗУМЕВАЛ, ОТНОСИТЕЛЬНО ЛЮБОГО ВОПРОСА ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИЛ, ГАРАНТИЯ ПРИГОДНОСТИ ДЛЯ ЦЕЛИ ИЛИ ВЫСОКОГО СПРОСА, ИСКЛЮЧИТЕЛЬНОСТИ, ИЛИ ЗАКАНЧИВАЕТСЯ ПОЛУЧЕННЫЙ ИЗ ИСПОЛЬЗОВАНИЯ МАТЕРИАЛА. УНИВЕРСИТЕТ КАРНЕГИ-МЕЛЛОН НЕ ДАЕТ ГАРАНТИИ НИКАКОГО ВИДА ОТНОСИТЕЛЬНО СВОБОДЫ ОТ ПАТЕНТА, ТОВАРНОГО ЗНАКА ИЛИ НАРУШЕНИЯ АВТОРСКОГО ПРАВА.

Это программное обеспечение и сопоставленная документация не были рассмотрены, ни являются подтвержденным Университетом Карнеги-Меллон или его Институтом программной инженерии.

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