设计模式——单件模式（singleton）

“面对对象”很好解决了抽象的问题，通常面对对象的成本几乎可以忽略不计，但是有时候面对起成本需要谨慎对待。

singleton，flyweight属于”对象性能“模式。

motivation：在软件中，有时候一个对象只需要一个对象的存在，才能保证正确的逻辑和良好的效率。

key interface or class：

        1. 有getInstance的方法得到该对象，该方法中需要保证（单线程和多线程情况下）线程安全。

feature： 默认构造函数和拷贝构造函数设为private。

structure：

template codes：

class SingleTon{
private:
    //
    SingleTon();
    SingleTon(const SingleTon& other);
public:
    static SingleTon* getInstance();
    static SingleTon* m_instance;
}

SingleTon* SingleTon::m_instance = nullptr;

//多线程非安全，单线程安全
SingleTon* SingleTon::getInstance(){
    if(m_instance == nullptr){
        m_instance = new SingleTon();
    }
    return m_instance;
}

//加锁版本
SingleTon* SingleTon::getInstance(){
    Lock lock; //加锁可以解决，但是代价过高，高并发下效率低，因为每个线程都是读线程
    if(m_instance == nullptr){
        m_instance = new SingleTon();
    }
    return m_instance;
}

//双检查锁版本(锁前锁后检查)------>会遭遇指令层面的reorder问题
SingleTon* SingleTon::getInstance(){
    if(m_instance == nullptr){    
        Lock lock; //加锁可以解决，但是代价过高，高并发下效率低，因为每个线程都是读线程
        if(m_instance == nullptr){
            m_instance = new SingleTon();
            //指令层 1.分配内存，2.调用构造器，3.返回地址
            //线程A在此处时，可能先返回地址，线程B得到的m_instance是空值
        }
    }
    return m_instance;
}

//c++11中
std::atomic<SingleTon*> SingleTon::m_instance;
std::mutex SingleTon::mutex;
SingleTon* SingleTon::getInstance(){
    SingleTon* tmp = m_instance.load(std::memory_order_relaxed);
    //获得内存fence，防止reorder
    std::atomic_thread_fence(std::memory_order_acquire); 
    
    if(tmp == nullptr){    
        std::lock_guard<std::mutex> lock(mutex);
        tmp = m_instance.load(std::memory_order_relaxed);
        Lock lock; //加锁可以解决，但是代价过高，高并发下效率低，因为每个线程都是读线程
        if(tmp == nullptr){
            tmp = new SingleTon();
            std::atomic_thread_fence(std::memory_order_release); //释放内存fence
            m_instance.store(tmp, std::memory_order_relaxed);
        }
    }
    return tmp;
}

 

summary：

1.  singleton中构造器可以设置为protect使得子类可以继承；

2.singleton一般不支持拷贝构造和clone接口，防止多个对象实例；

3.考虑实现多线程情况下的多检查锁。