【C++多线程】共享数据的初始化保护

需要保护的初始化举例

　　如对单例模式的初始化。

#include <iostream>
#include <thread>
#include <mutex>

using namespace std;

//单例模式
class MySingleTon{
public:
    class Help{
    public:
        ~Help()
        {
            if (myTon)
            {
                delete myTon;
                myTon = nullptr;
            }
        }
    };
    //使用静态函数来创建唯一实例 
    static MySingleTon* getObj()
    {
        if (myTon == nullptr)
        {
            myTon = new MySingleTon();
            Help hp; //使用嵌套类对象在生命周期结束调用析构函数来delete Myton
        }
        return myTon;
    }
    //测试
    void print()
    {
        cout << "This is a singleton!" << endl;
    }
private:
    // 构造函数定义为private
    MySingleTon () { }

private:
    // 静态成员变量
    static MySingleTon *myTon;
};

//类静态成员初始化 
MySingleTon* MySingleTon::myTon = nullptr;

int main()
{  
    thread t1(MySingleTon::getObj);
    thread t2(MySingleTon::getObj);
    return 0;
}

互斥量保护共享数据初始化　　

　　直接使用互斥量来保护，当多个线程以MySingleTon::getObj()为入口函数时，多个线程在等等这个互斥量只是为了确定数据是否被初始化，这显然影响效率显得不划算。

#include <iostream>
#include <thread>
#include <mutex>

using namespace std;

mutex my_mutex;     //互斥量

//单例模式
class MySingleTon{
public:
    class Help{
    public:
        ~Help()
        {
            if (myTon)
            {
                delete myTon;
                myTon = nullptr;
            }
        }
    };
    //使用静态函数来创建唯一实例 
    static MySingleTon* getObj()
    {
        lock_guard<mutex> my_lock(my_mutex);  
        if (myTon == nullptr)
        {
            myTon = new MySingleTon();
            Help hp; //使用嵌套类对象在生命周期结束调用析构函数来delete Myton
        }
        return myTon;
    }
    //测试
    void print()
    {
        cout << "This is a singleton!" << endl;
    }
private:
    // 构造函数定义为private
    MySingleTon () { }

private:
    // 静态成员变量
    static MySingleTon *myTon;
};

//类静态成员初始化 
MySingleTon* MySingleTon::myTon = nullptr;

int main()
{  
    thread t1(MySingleTon::getObj);
    thread t2(MySingleTon::getObj);
    return 0;
}

　　双重检查模式检查模式可以解决多个线程等待的问题，但是这也存在一重检查处的读数据与二重检查中的写数据不同步的条件竞争。

...
 static MySingleTon* getObj()
    {
        if (myTon == nullptr)   //一重检查
        {
            lock_guard<mutex> my_lock(my_mutex);  
            if (myTon == nullptr)  //二重检查
            {
                myTon = new MySingleTon();
                Help hp; //使用嵌套类对象在生命周期结束调用析构函数来delete Myton
            }
        }   
        return myTon;
    }
...

std::call_once()和std::once_flag

　　互斥量是最通用的机制，但其并非保护共享数据的唯一方式。如果纯粹是为了保护共享数据其初始化过程会给性能带来影响。为了提高性能，C++标准提供了一种纯粹保护共享数据初始化过程的机制，即std::call_once()和std::once_flag。

　　std::call_once()的使用方式是std::call_once(flag, func)，即通过std::once_flag的对象flag来保证函数func只被调用一次。

#include <iostream>
#include <thread>
#include <mutex>

using namespace std;

mutex my_mutex;     //互斥量
once_flag flag;    //调用一次的标记

//单例模式
class MySingleTon{
public:
    class Help{
    public:
        ~Help()
        {
            if (myTon)
            {
                delete myTon;
                myTon = nullptr;
            }
        }
    };

    //初始化部分
    static MySingleTon* init()
    {
        myTon = new MySingleTon();
        Help hp; //使用嵌套类对象在生命周期结束调用析构函数来delete Myton
    }
    //使用静态函数来创建唯一实例 
    static MySingleTon* getObj()
    {
        call_once(flag, init);   //调用一次后，flag变化，其他线程不再调用init函数
        return myTon;
    }
    //测试
    void print()
    {
        cout << "This is a singleton!" << endl;
    }
private:
    // 构造函数定义为private
    MySingleTon () { }

private:
    // 静态成员变量
    static MySingleTon *myTon;
};

//类静态成员初始化 
MySingleTon* MySingleTon::myTon = nullptr;

int main()
{  
    thread t1(MySingleTon::getObj);
    thread t2(MySingleTon::getObj);
    return 0;
}