Описание

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

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

Риск

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

Фиксация

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

Пример - atomic_compare_exchange_weak() Не перенесенный в цикл

#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));

}