C ++ Порядок памяти расслаблен для алгоритма производителя и потребителей SEQLOCK ⇐ C++

[Anonymous]

Ниже приведен экран копирования от , в 1:12:23, строка std :: size_t seq2 = seq.load (std :: memory_order_relaxed) сбивает меня. Я не очень хорошо знаком с атомикой, но я полагаю, что с memory_order_relaxed, seq.load (std :: memory_order_relaxed) может произойти до того, как «Читать данные ...». = seq.load (std :: memory_order_relaxed) считывает SEQ и получите значение 2, затем начинается «чтение данных». Но до того, как «чтение данных» может закончиться, функция хранилища может начать загрузку и устанавливать SEQ на 3, а данные повреждены. Но я верю, что это правильно, и что я неправильно понял? < /P>
#include
#include

template
class SeqLockStore {
std::atomic seq{0}; // Sequence lock version number
T data; // The data being protected

public:
void store(T t) noexcept {
std::size_t old_seq = seq.load();
seq.store(old_seq + 1); // Start write (make seq odd)

// Write the actual data
data = t;

seq.store(old_seq + 2); // Finish write (make seq even)
}

bool try_load(T& t) const noexcept {
std::size_t seq1 = seq.load();
if (seq1 % 2 != 0)
return false; // Writer is in progress

t = data; // Read the data

std::size_t seq2 = seq.load(std::memory_order_relaxed);
return seq1 == seq2; // Validate read is consistent
}
};


Подробнее здесь: https://stackoverflow.com/questions/796 ... -algorithm