linux - データ依存バリアとは: Linux カーネル

Question

質問が言うように、特にLinuxカーネルに関して、SMPのデータ依存バリアの詳細な説明を探していました。このリンクの定義と簡単な説明が便利です。

Linux カーネル メモリ バリア ドキュメント

しかし、私はこの概念を深く理解しようとしていました。あなたの考えや意見は高く評価されます。

Answer 1

「セマンティクスを取得する」は、ドキュメントが「データ依存バリア」と呼んでいるものに対してより一般的に使用される用語であると思います。たとえば、このプレゼンテーション またはC++11 memory_order_acquireを参照してください。

Answer 2

実際、少なくとも C++11 に関しては、これは消費セマンティクスにより密接に関連しています。詳細については、こちらをご覧ください。つまり、取得セマンティクスよりも弱い保証を提供するため、データ依存関係の順序付けをサポートする特定のプラットフォームでより効率的になります。