C++单例模式构造时的多线程安全问题的相关请教 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
Noicdi
V2EX    C++

C++单例模式构造时的多线程安全问题的相关请教

  •  
  •   Noicdi 2024-03-25 17:31:35 +08:00 2396 次点击
    这是一个创建于 595 天前的主题,其中的信息可能已经有所发展或是发生改变。

    我现在在写一个单例模式设计的日志模块。这个日志模块通过 getInstance() 获取日志管理器。

    按照了解到的资料,先是使用了双重检查锁。然后又了解到双重检查锁在 new 时可能会因为指令重排,导致取到的指针指向的是还没有构造的空白内存,又上了原子操作保证安全。

    在这个过程中,我了解到可以直接在 getInstance() 中声明一个局部静态变量。但是当时我考虑的是,个局部静态变量在构造时会不会有多线程安全问题,于是没有使用。

    class LogManager; LogManager* getInstance() { static LogManager log_manager; return &log_manager; } 

    今天在看《 C++ 并发编程实战》时,了解到可以通过 std::call_once() 进行一次完整的初始化。接着往下看,发现书中也推荐了局部静态变量,并提到在 C++11 中,多线程安全问题被解决了。

    还有一种初始化过程中潜存着条件竞争:其中一个局部变量为 static 类型,这种变量的在声明后就已经完成初始化。对于多线程调用的函数,这就意味着这里有条件竞争抢着去定义这个变量。很多在不支持 C++ 11 标准的编译器上,在实践过程中,这样的条件竞争是确实存在的,因为在多线程中,每个线程都认为他们是第一个初始化这个变量线程,或一个线程对变量进行初始化,而另外一个线程要使用这个变量时,初始化过程还没完成。在 C++ 11 标准中,这些问题都被解决了:初始化及定义完全在一个线程中发生,并且没有其他线程可在初始化完成前对其进行处理,条件竞争终止于初始化阶段,这样比在之后再去处理好的多。在只需要一个全局实例情况下,这里提供一个 std::call_once 的替代方案。

    《 C++ 并发编程实战》 3.3.1

    现在我使用的方案是 std::call_once(),但是我想了解局部静态变量在 c++11 中的多线程安全问题是如何解决的?是否有这方面的资料。感觉直接使用局部静态变量也不错。也想请教一下大家在单例模式中是使用的哪种方式。

    9 条回复    2024-03-26 13:11:03 +08:00
    asuraa
        1
    asuraa  
       2024-03-25 17:45:56 +08:00
    费这么大劲 你就在 main 开始 的时候 getInstance 一次不行吗?
    codehz
        2
    codehz  
       2024-03-25 17:52:06 +08:00   1
    实践中,编译器会给你生成一个 double checking lock
    Crawping
        3
    Crawping  
       2024-03-25 17:55:03 +08:00
    你就在单线程中初始化好单实例对象不好么, 伤脑细胞啊
    Philippa
        4
    Philippa  
       2024-03-25 17:57:01 +08:00
    直接 static 解决了,而且要被共享的 instance 一般也都在某个入口统一处理。
    momo1999
        5
    momo1999  
       2024-03-25 18:00:58 +08:00   1
    就是编译器自动帮你加个锁呗
    blacktail
        6
    blacktail  
       2024-03-25 18:08:43 +08:00   3
    标准保证这里不会有线程安全问题,实际上到底怎么保证的看编译器实现。
    Noicdi
        7
    Noicdi  
    OP
       2024-03-25 18:58:19 +08:00
    @codehz #2 翻看 cppref 的局部静态变量发现有这方面的描述,谢谢
    wodexinhaoleng
        8
    wodexinhaoleng  
       2024-03-26 11:44:02 +08:00
    静态局部变量是个编译时行为,load 的时候就已经完成了,在 main 之前就初始化好的东西,当然不会有线程安全问题。

    “感觉直接使用局部静态变量也不错”,说的很对,双重检查锁初始化单例本来就是早该扫进垃圾堆的东西
    Noicdi
        9
    Noicdi  
    OP
       2024-03-26 13:11:03 +08:00
    @wodexinhaoleng #8
    std::call_once 也是提到静态局部变量相比之下可能更高效。https://zh.cppreference.com/w/cpp/thread/call_once

    静态局部变量通常也是双抽检查锁实现,我觉得与其自己实现双重检查锁不如直接交给编译器,方便又快捷。 https://zh.cppreference.com/w/cpp/language/storage_duration#.E9.9D.99.E6.80.81.E5.B1.80.E9.83.A8.E5.8F.98.E9.87.8F
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2968 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 23ms UTC 13:14 PVG 21:14 LAX 05:14 JFK 08:14
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86