本文讨论了在多线程环境中，析构函数的执行可能带来的线程安全问题，包括对象构造的线程安全、可重入函数的概念、析构函数对互斥器的影响以及解决对象销毁时机模糊的策略。建议避免在析构函数中销毁互斥器，以防止并发执行的成员函数出现竞态条件。此外，提出了对象池和引用计数（如shared_ptr）作为管理共享资源的方法，同时强调了智能指针在避免内存问题上的作用。
今日阅读了陈硕的一篇文章《当析构函数遇到多线程》，学到很多知识。有的以前接触过，有的没有接触过。遂作笔记如下：
临界区在Windows 上是CRITICAL_SECTION，是可重入的；在Linux 下是pthread_mutex_t，默认是不可重入的.
关于函数的可重入性，参见http://blog.csdn.net/yueyahe/article/details/729126
什么是可重入性？
可重入（reentrant）函数可以由多于一个任务并发使用，而不必担心数据错误。相反， 不可重入（non-reentrant）函数不能由超过一个任务所共享，除非能确保函数的互斥（或者使用信号量，或者在代码的关键部分禁用中断）。可重入函数可以在任意时刻被中断，稍后再继续运行，不会丢失数据。可重入函数要么使用本地变量，要么在使用全局变量时保护自己的数据。
对象构造要做到线程安全，惟一的要求是在构造期间不要泄露this 指针，即
- 不要在构造函数中注册任何回调
- 也不要在构造函数中把this 传给跨线程的对象
- 即便在构造函数的最后一行也不行
之所以这样规定，是因为在构造函数执行期间对象还没有完成初始化，如果this 被泄露(escape) 给了其他对象（其自身创建的子对象除外），即使构造函数的最后一行也不要泄露this，因为Foo有可能是个基类，基类先于派生
最低0.47元/天 解锁文章
扫一扫
5万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
