Можно ли использовать не паульные заказы на приобретение/выпуск памяти? ⇐ C++

[Anonymous]

Я потратил несколько часов, изучая заказы на память, но у меня все еще есть некоторые противоречия в моей голове. Один из них касается заказов на память о приобретении/выпуске. /> Я также видел, как люди говорят, что приобретение /выпуск работает только в парах. Вот где моя ментальная модель немного разбивается. У меня есть два метода: возможно ,_Пуш и Consumer_pop_many. < /P>
bool consumer_pop_many(T* dst, size_t& count) {
Index head_val = head.unsync_load(); // only consumer can change head (unsync_load is a custom function)
Index tail_val = tail.load(std::memory_order_acquire); // (1)

size_t available = len(head_val, tail_val);
size_t n = std::min(count, available);

if (n == 0) {
count = 0;
return false;
}

size_t head_idx = static_cast(head_val % CAPACITY);
size_t right = CAPACITY - head_idx;

// copy data code

head.store(head_val + n, std::memory_order_release); // (2)

count = n;
return true;
}

bool producer_maybe_push(T&& value) {
Index tail_val = tail.unsync_load(); // only the producer can change tail (unsync_load is a custom function)
Index head_val = head.load(std::memory_order_relaxed); // (3)

if (len(head_val, tail_val) == CAPACITY) {
return false;
}

size_t idx = static_cast(tail_val % CAPACITY);
new (&buffer[idx]) T(std::move(value));

tail.store(tail_val + 1, std::memory_order_release); // (4)
return true;
}
< /code>
Мой рассуждение: < /p>

at (1) Я использую приобретение, чтобы я мог видеть запись из (4) (побочный эффект). Все остальные операции в функции, уже уже зависящие от этой нагрузки, но приобретают гарантии на видимость этой записи. (1) правильно замечает. Но как насчет побочных эффектов? Может ли случиться так: < /p>

Thread 1 (потребитель) читает и продвигает голову, < /p>
< /li>
Поток 2 (производитель) затем читает голову, но делает так «до» читателя (с точки зрения видимости)? /> Это выглядит невозможно, но примеры с Seqcst показывают странные ситуации, и я не могу избавиться от этого вопроса из головы. < /p>

Подробнее здесь: https://stackoverflow.com/questions/797 ... ory-orders