同步模式互斥保護塊

Question

http://www.boost.org/doc/libs/1_58_0/doc/html/atomic/usage_examples.html

在「單例具有雙檢查鎖定模式」的上述升壓例子例如是用於_instance的第二負載的memory_order_consume和必要_instance的商店中的memory_order_release ？我認爲scoped_lock已經獲得並釋放了語義，並且_instance的第一次加載具有同步模式memory_order_consume。

Answer 1

在此假設下，這裏使用的boost原語支持相同的功能作爲他們std同行，第二load不需要memory_order_consume，因爲這是保證 基礎上，mutex的獲取/釋放語義與store/release要同步，你說得對。

也許，使用memory_order_consume是基於一個錯誤的假設，一個load/relaxed可以跨越mutex/acquire屏障， 飄了起來，但這不是每mutex擔保可能，因此memory_order_relaxed是完全沒有問題。

另一方面store/release是絕對必要的，因爲它與第一個load/consume同步，這是不受mutex保護。