Ниже приведен экран копирования от , в 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
