В модели памяти C++11 чтение/запись одного и того же события может быть установлена. Синхронизируется с отношениями? ⇐ C++

[Anonymous]

Я пишу незапираемую очередь сообщений mpsc на основе eventfd, простой код вроде этого:
//producter thread
auto prev = head_.exchange(std::memory_order_acq_rel);
prev.next_.store(head_, std::memory_order_release); // (1)
bool expected = false;
if(notified_.compare_exchange_strong(expected, true, std::memory_order_acq_rel)){ // (2)
//write event fd 2)
}
//consumer thread
//read event fd...
notified_.exchange(false, std::memory_order_acq_rel); // (3)
//read head .. (4)

в соответствии с моделью памяти С++ 11: https://en.cppreference.com/w/cpp/atomic/memory_order
мой вопрос:
a) чтение и запись одного и того же события. fd может быть установлен. Синхронизируется с отношениями, чтобы 1 произошло раньше 4? как сказано в стандарте:

Кроме того, некоторые вызовы библиотек могут быть определены для синхронизации с вызовами других библиотек в других потоках.

b) если нет, то (3) и (2) могут быть установлены Синхронизируется с взаимосвязью?
c) или должны изменить потребительский поток, как было отправлено, для удовлетворения Синхронизируется с ？
//consumer thread
//read event fd...
while(!notified_.load(std::memory_order_acq_rel)){// (3)
}
notified_.store(false, std::momory_order_release);
//read head .. (4)


Подробнее здесь: https://stackoverflow.com/questions/789 ... nizes-with