Давайте иметь функцию, которая увеличивает глобальное атомарное целое число, а затем мы сохраняем это значение в неатомарной локальной переменной.
_Atomic int atom = 0 ;
void function( void )
{
int a = atom++ ;
}
Будет ли a всегда иметь уникальное значение при использовании приведенного выше кода с несколькими потоками. Если да, как предположили некоторые комментаторы, то какой смысл в таких функциях, как atomic_fetch_add.
Я не знаком с ключевым словом "_Atomic". Это что-то новое в C++11? В любом случае вы должны использовать атомарные встроенные функции, встроенные в большинство платформ и архитектур ЦП. (аля «заблокировать добавление» в x86).
В GCC/Clang функция хотела бы вызвать __sync_add_and_fetch . В Windows это называется InterlockedIncrement< /а>.
А на некоторых архитектурах gcc, которые по-прежнему нацелены на i386, вам придется делать это вручную в сборке. (Хотя это не будет работать на реальном 80386, внутренние функции блокировки не были представлены до 80486, но я отвлекся...)
unsigned int xadd_4(volatile void* pVal, unsigned int inc)
{
unsigned int result;
unsigned int* pValInt = (unsigned int*)pVal;
asm volatile(
"lock; xaddl %%eax, %2;"
:"=a" (result)
: "a" (inc), "m" (*pValInt)
:"memory" );
return (result);
}
int AtomicIncrement(int* pInt)
{
COMPILE_TIME_ASSERT(sizeof(int)==4);
// InterlockedIncrement
unsigned int result = xadd_4(pInt, 1) + 1;
return (int)result;
}
Вы можете использовать сборочную вставку с операциями CompareAndSwap (cas). Для intel/gcc работает следующий пример (с использованием cmpxchg):
static inline uint32_t u32cas(volatile uint32_t *ptr, uint32_t old_val, uint32_t new_val) {
uint32_t prev_val;
__asm__ __volatile__("lock; cmpxchgl %k1,%2"
: "=a"(prev_val)
: "q"(new_val), "m"(*(volatile uint32_t *)(ptr)), "0"(old_val)
: "memory");
return prev_val;
}
uint32_t atom = 0;
void atomic_increment() {
uint32_t x;
do {
x = atom;
} while(u32cas(&atom, x, x + 1) != x);
}
Кроме того, во FreeBSD вы можете использовать
атомный человек
atomic_global_integerна самом деле является атомарным? Если бы это было так,aне получило бы одинаковое значение в двух потоках. - person interjay schedule 11.12.2013_Atomic int;.aопределенно может получить такое же значение в первом случае. - person this schedule 11.12.2013atomic_global_integerв другом месте. - person interjay schedule 11.12.2013atomic_global_integerгде-то еще, а не в этом одном выраженииatomic_global_integer++. Вы говорите «только в этой функции», но это не исключает другой фрагмент кода в той же функции. Альтернативой является то, что в вашей реализации C есть ошибка, илиatomic_global_integerбыло объявлено неправильно (не какatomic), или какая-то проблема с препроцессором изменяет код (например, некоторые#defineизменяютatomic_global_integerна что-то другое), или что поведение, которое вы предлагаете, не было реально наблюдается. - person Eric Postpischil schedule 11.12.2013aне может произойти еще одно приращение? Позвольте мне отредактировать для ясности. - person this schedule 11.12.2013aвсе равно будут уникальными. - person interjay schedule 11.12.2013atomic_global_integer. Кроме того, как вы пришли к выводу, что разные потоки могут получить одно и то же значение? - person Eric Postpischil schedule 11.12.2013