当析构函数遇到多线程解读.pdfVIP

当析构函数遇到多线程 ── C++ 中线程安全的对象回调 陈硕 (giantchen_AT_gmail) B/Solstice 摘要 编写线程安全的类不是难事，用同步原语保护内部状态即可。但是对象的生与死不能由 对象自身拥有的互斥器来保护。如何保证即将析构对象 x 的时候，不会有另一个线程正在 调用 x 的成员函数？或者说，如何保证在执行 x 的成员函数期间，对象 x 不会在另一个 线程被析构？如何避免这种竞态条件是 C++ 多线程编程面临的基本问题，可以借助 boost 的 shared_ptr 和 weak_ptr 完美解决。这也是实现线程安全的 Observer 模式的必备技术。 本文源自我在 2009 年 12 月上海 C++ 技术大会的一场演讲《当析构函数遇到多线 程》，内容略有增删。原始 PPT 可从 /source/1982430 下载。 本文读者应具有 C++ 多线程编程经验，熟悉互斥器、竞态条件等概念，了解智能指针， 知道 Observer 设计模式。 1 当析构函数遇到多线程 by 陈硕 B/Solstice 目录 1 多线程下的对象生命期管理2 线程安全的定义3 Mutex 与 MutexLock3 一个线程安全的 Counter 示例3 2 对象的创建很简单4 3 销毁太难5 Mutex 不是办法5 作为数据成员的 Mutex6 4 线程安全的 Observer 有多难？6 5 一些启发8 原始指针有何不妥？8 一个“解决办法”8 一个更好的解决办法9 一个万能的解决方案9 6 神器 shared_ptr/weak_ptr10 7 插曲：系统地避免各种指针错误10 8 应用到 Observer 上11 解决了吗？11 9 再论 shared_ptr 的线程安全12 10shared_ptr 技术与陷阱13 对象池15 enable_shared_from_this17 弱回调17 11 替代方案？19 其他语言怎么办19 12 心得与总结19 总结20 13 附录：Observer 之谬20 14 后记21 1 多线程下的对象生命期管理 与其他面向对象语言不同，C++ 要求程序员自己管理对象的生命期，这在多线程环境 下显得尤为困难。当一个对象能被多个线程同时看到，那么对象的销毁时机就会变得模糊不 清，可能出现多种竞态条件： � 在即将析构一个对象时，从何而知是否有另外的线程正在执行该对象的成员函数？ � 如何保证在执行成员函数期间，对象不会在另一个线程被析构？ � 在调用某个对象的成员函数之前，如何得知这个对象还活着？ 解决这些 racecondition 是 C++ 多线程编程面临的基本问题。本文试图以 shared_ptr 一劳永逸地解决这些问题，减轻 C++ 多线程编程的精神负担。 2 当析构函数遇到多线程 by 陈硕