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均可执行。如果某个线程A上锁后执行至操作3，操作3实际分为三步：

1. 为some_resource对象分配一块内存

2. 构造一个对象，将对象放入分配的内存

3. 将resource_ptr指针指向这片区域

然而，在编译器实际执行过程中，可能会进行指令重排优化，将执行的顺序变为132，即步骤3在步骤2之前。此时步骤3执行之后，步骤2执行之前，线程2进行操作1，得到指针为非空，然后执行操作4，对指针进行操作，此时指针指向未初始化的内存，野指针的产生会导致未定义行为(Undefined Behavior)。