У меня создалось впечатление, что загруженность памяти не может быть поднята выше загружаемой нагрузки в модели памяти С++ 11. Однако, глядя на код, который производит gcc 4.8, кажется, что это правда только для других атомных нагрузок, а не для всей памяти. Если эти истинные и приобретающие нагрузки не синхронизируют всю память (просто std::atomics), то я не уверен, как можно было бы реализовать мьютексы общего назначения в терминах std:: atomic.
Следующий код:
extern std::atomic<unsigned> seq;
extern std::atomic<int> data;
int reader() {
int data_copy;
unsigned seq0;
unsigned seq1;
do {
seq0 = seq.load(std::memory_order_acquire);
data_copy = data.load(std::memory_order_relaxed);
std::atomic_thread_fence(std::memory_order_acquire);
seq1 = seq.load(std::memory_order_relaxed);
} while (seq0 != seq1);
return data_copy;
}
Выдает:
_Z6readerv:
.L3:
mov ecx, DWORD PTR seq[rip]
mov eax, DWORD PTR data[rip]
mov edx, DWORD PTR seq[rip]
cmp ecx, edx
jne .L3
rep ret
Что выглядит правильно для меня.
Однако изменение данных должно быть int, а не std::atomic:
extern std::atomic<unsigned> seq;
extern int data;
int reader() {
int data_copy;
unsigned seq0;
unsigned seq1;
do {
seq0 = seq.load(std::memory_order_acquire);
data_copy = data;
std::atomic_thread_fence(std::memory_order_acquire);
seq1 = seq.load(std::memory_order_relaxed);
} while (seq0 != seq1);
return data_copy;
}
Производит следующее:
_Z6readerv:
mov eax, DWORD PTR data[rip]
.L3:
mov ecx, DWORD PTR seq[rip]
mov edx, DWORD PTR seq[rip]
cmp ecx, edx
jne .L3
rep ret
Итак, что происходит?
