[C++][线程安全]单例模式下双检查锁和线程

问题

在设计模式中，有一个很经典的模式-单例模式，它可能是实现上最简单的模式，在代码中也经常使用，在单线程下，毫无疑问延迟化加载是比较常用的，但是在多线程条件下，单例模式的延迟加载可能就会出现一些问题。

如以下的代码：

T* GetInstance()
{if (pInst == NULL){pInst = new T;}return pInst;
}

如果检测代码和实例化代码不是同一线程，则很容易出现返回NULL的现象。

经典的单例模式下的双重检测

解决以上问题就是加并发锁，我们将需要实例化的对象加锁，于是有了以下代码：

T* GetInstance()
{if (pInst == NULL){lock();if (pInst == NULL)pInst = new T;unlock();}return pInst;
}

为什么要用两层if检查，第一层的if检查是因为当实例为空的时候，才去对实例加锁，这样可以避免多次对lock资源的调用，当第二层if检测的时候，才是程序要对程序进行初始化。

乍看这种代码是没有问题的，但是问题的来源是CPU的乱序执行，C++的New操作实际上包含了两个步骤：

分配内存
调用构造函数

所以pInst = new T包含了三个步骤：

分配内存
在内存的位置上调用构造函数
将内存的地址赋值给pInst

因为(2)和(3)是可以颠倒的，所以可以出现这样的情况：pInst的值已经不是NULL，但对象仍然没有构造完毕。如果另外一个线程对GetInstance的调用，此时第一个if为false，这样就会返回一个未构造完成的对象，此时可能会导致程序崩溃。

解决思路

许多体系结构都提供barrier指令，POWERPC提供了其中一条名为lwsync的指令，我们可以这样来保证线程安全:

#define barrier() __asm__ volatile ("lwsyc")
volatile T* pInst = 0;
T* GetInstance()
{if (!pInst) {lock();if (!pInst){T* temp = new T;barrier()pInst = temp;}unlock();}return pInst;
}

由于barrier的存在，对象的构造一定会在barrier执行之前完成，所以这样不会出现一些问题。

[C++][线程安全]单例模式下双检查锁和线程相关推荐

DCL双检查锁机制实现线程安全的单例设计模式
实现线程安全的单例设计模式的三种方式: DCL双检查锁机制实现线程安全使用静态内置类实现线程安全使用static代码块实现线程安全 -------------------------------- ...
2021面试 Lock，synch，dcl双检查锁sy+volite，悲观锁，偏向，轻量锁，重量锁，升级12
0.数据库悲观锁:for update: MySQL实现悲观锁_九色鹿-CSDN博客_mysql悲观锁怎么实现 1. ReentrantLock锁公平与非公平实现.重入原理: ReentrantLo ...
java并发编程(二十六)——单例模式的双重检查锁模式为什么必须加 volatile？
前言本文我们从一个问题出发来进行探究关于volatile的应用. 问题:单例模式的双重检查锁模式为什么必须加 volatile? 什么是单例模式单例模式指的是,保证一个类只有一个实例,并且提供一个 ...
《面向模式的软件体系结构2-用于并发和网络化对象模式》读书笔记（13）--- 线程安全接口和双检查加锁优化...
4.3线程安全接口(Thread-Safe Interface) 1.问题多线程组件通常包括多个可被公共访问的接口方法以及可以改变组件状态的私有方法.为了避免出现竞争条件,可以使用一个组件内部的锁对 ...
单例模式之双重检查锁（double check locking）的发展历程
不安全的单例没有注意过多线程安全问题的时候,我们的单例可能是这样的: public final class Singleton {private static Singleton instance; ...
Java单例模式中双重检查锁的问题
单例创建模式是一个通用的编程习语.和多线程一起使用时,必需使用某种类型的同步.在努力创建更有效的代码时,Java 程序员们创建了双重检查锁定习语,将其和单例创建模式一起使用,从而限制同步代码量.然而, ...
Python 线程（二）：简单锁实现线程同步
Python中有两种锁,一个锁是原始的锁(原语), 不可重入,而另一种锁则是可重入的锁即递归锁.而是thread模块中,只提供了不可重入的锁,而在threading中则提供这两种锁. 可重入:当一个线 ...
Java的懒汉式双检锁单例模式
Java的懒汉式双检锁单例模式文章目录 Java的懒汉式双检锁单例模式一. 实现一个双检锁二. 为什么线程不安全三. 关于指令重排序四. 关于原子操作五. 实现线程安全的双检锁首先回忆一 ...
JAVA的多线程、死锁、线程间通信、如何规避死锁、线程安全的单例模式
主要内容: 多线程线程和进程间的关系 Java中的线程理论 Java中线程类的实现方式 Java中线程的常用方法线程安全性问题线程间通信线程的死锁如何规避死锁线程安全的单例模式多线程线 ...

[C++][线程安全]单例模式下双检查锁和线程

[C++][线程安全]单例模式下双检查锁和线程相关推荐

最新文章

热门文章