Q12.Double-Checked Locking

双检查冲突锁

《C++并发编程实战》中3.3.1章节中讲了一个Double-Checked Locking，并着重讲了它所存在的问题，原文代码和描述如下：

 std::shared_ptr<some_resource> resource_ptr;
 std::mutex resource_mutex;
 ​
 void undefined_behaviour_with_double_checked_locking()
 {
     if(!resource_ptr) // ①
     {
         std::lock_guard<std::mutex> lk(resource_mutex);
         if(!resource_ptr) // ②
         {
             resource_ptr.reset(new some_resource); // ③
         }
     }
     resource_ptr->do_something(); // ④
 }

这个模式为什么声名狼藉呢？因为这里有潜在的条件竞争，因为外部的读取锁①没有与内部的 写入锁进行同步③。因此就会产生条件竞争，这个条件竞争不仅覆盖指针本身，还会影响到其 指向的对象；即使一个线程知道另一个线程完成对指针进行写入，它可能没有看到新创建的 some_resource实例，然后调用do_something()④后，得到不正确的结果。这个例子是在一种 典型的条件竞争——数据竞争，C++标准中这就会被指定为“未定义行为”。

这段话讲的不是很清楚，经过查阅资料后了解到。实际原理应该如下：

操作1之后进行上锁，所以无论进行上锁，操作1均可执行。如果