Как говорится в вопросе, я искал подробное объяснение барьера зависимости от данных в SMP, особенно в отношении ядра Linux. У меня есть определение и краткое описание по этой ссылке здесь.
Документация по барьерам памяти ядра Linux< /а>
Однако я пытался получить глубокое понимание этой концепции. Ваши мысли и вклад высоко ценятся.
Я считаю, что «приобрести семантику» - это более часто используемый термин для того, что документ называет «барьером зависимости от данных». См., например, эту презентацию или C++11 memory_order_acquire.
На самом деле, по крайней мере, с точки зрения C++11, это более тесно связано с семантикой потребления. Вы можете прочитать больше об этом, например. здесь. Короче говоря, они обеспечивают более слабые гарантии, чем приобретают семантику, что делает их более эффективными на определенных платформах, поддерживающих порядок зависимостей данных.
