保护共享数据的初始化过程
lazy initialization (延迟初始化)在单线程的代码中是很常见的。譬如一个共享数据的初始化构建可能会消耗较多的资源,那么对它的每次操作都需要先对它进行检查,如果它已经被初始化了,那么就可以直接使用而不是重新再初始化它。
例如,打开一个文件可能需要消耗较多的资源,如果它已经被打开,那么我们就不需要再次 open 了。
上面的例子并不是线程安全的。在并发代码中假设有A和B两个线程,当 A 线程发现文件没有被打开然后打开文件往里写数据时,B 线程此时应该是不能够打开文件的,但在 B 线程看来,文件确实是被打开了的,因此只要 B 线程抢占到锁,那么它就会往文件里写数据。
因此,打开文件的这一步,需要用互斥量保护起来。
从上面的结果我们可以看到,我们所做的修改依然不是线程安全的。因为当线程 A 打开文件后,离开了 mtxFile 的保护域时,线程 B 可能在这个时候拿到了 mtxFile