C++ 互斥保护块中的同步模式

---

在上述boost示例的“具有双重检查锁定模式的Singleton”示例中，第二次加载实例的内存消耗和存储实例的内存释放是否必要？我认为作用域锁已经具有获取和释放语义，并且第一次加载的实例具有同步模式内存消耗。

假设此处使用的

boost

原语支持与其

std

对应项相同的功能，第二次

加载

不需要

内存_顺序_消耗

，因为它是有保证的 要根据互斥体的获取/释放语义与

存储/释放

同步，您是对的

也许，使用

内存_顺序_消耗

是基于错误的假设，即

加载/释放

可能会在

互斥体/获取

屏障上浮动， 但这是不可能的，因为

互斥锁

保证，因此

内存_顺序_松弛

非常好

另一方面，

存储/释放

是绝对必要的，因为它与第一个

加载/使用

同步，而第一个

加载/使用

不受

互斥锁的保护