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

Поддержка