Exponenta Banner

Function that can spuriously fail not wrapped in loop

Цикл проверяет условие отказа после возможного побочного отказа

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

Описание

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

  • C атомарные функции:

    • atomic_compare_exchange_weak()

    • atomic_compare_exchange_weak_explicit()

  • C++ атомарные функции:

    • std::atomic<T>::compare_exchange_weak(T* expected, T desired)

    • std::atomic<T>::compare_exchange_weak_explicit(T* expected, T desired, std::memory_order succ, std::memory_order fail)

    • std::atomic_compare_exchange_weak(std::atomic<T>* obj, T* expected, T desired)

    • std::atomic_compare_exchange_weak_explicit(volatile std::atomic<T>* obj, T* expected, T desired, std::memory_order succ, std::memory_order fail)

Функции сравнивают содержание памяти объектных представлений, на которые указывает obj и expected. Сравнение может побочно возвратить false, даже если содержание памяти равно. Этот побочный отказ делает функции быстрее на некоторых платформах.

Риск

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

Фиксация

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

Примеры

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

#include <stdatomic.h>

extern void reset_count(void);
atomic_int count = ATOMIC_VAR_INIT(0);

void increment_count(void)
{
    int old_count = atomic_load(&count);
    int new_count;
    new_count = old_count + 1;
    if (!atomic_compare_exchange_weak(&count, &old_count, new_count))
        reset_count();

}

В этом примере, increment_count() использование atomic_compare_exchange_weak() сравнить count и old_count. Если количества равны, count постепенно увеличивается к new_count. Если они не равны, количество сбрасывается. Когда atomic_compare_exchange_weak() сбои побочно, количество сбрасывается излишне.

Коррекция — переносит atomic_compare_exchange_weak() в while Цикл

Одна возможная коррекция должна перенести вызов atomic_compare_exchange_weak() в while цикл. Цикл проверяет условие отказа после возможного побочного отказа.

#include <stdatomic.h>

extern void reset_count(void);
atomic_int count = ATOMIC_VAR_INIT(0);

void increment_count(void)
{
    int old_count = atomic_load(&count);
    int new_count;
    new_count = old_count + 1;

    do {
        reset_count();

    } while (!atomic_compare_exchange_weak(&count, &old_count, new_count));

}

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

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

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

| |

Темы

Введенный в R2018b

Документация Polyspace Bug Finder
Поддержка