• shared_ptr智能指针源码剖析


    (shared_ptr)的引用计数本身是安全且无锁的,但对象的读写则不是,因为 shared_ptr 有两个数据成员,读写操作不能原子化。根据文档

    http://www.boost.org/doc/libs/release/libs/smart_ptr/shared_ptr.htm#ThreadSafety)shared_ptr 的线程安全级别和内建类型、标准库容器、std::string 一样,即:

    • 一个 shared_ptr 对象实体可被多个线程同时读取;
    • 两个的 shared_ptr 实体可以被两个线程同时写入,“析构”算写操作;
    • 如果要从多个线程读写同一个 shared_ptr 对象,那么需要加锁。

    请注意,以上是 shared_ptr 对象本身的线程安全级别,不是它管理的对象的线程安全级别。

    后文(p.18)则介绍如何高效地加锁解锁。本文则具体分析一下为什么。“因为 shared_ptr 有两个数据成员,读写操作不能原子化”使得多线程读写同一个 shared_ptr 对象需要加锁。本文以 boost::shared_ptr 为例,与 std::shared_ptr 可能略有区别。

    shared_ptr 的数据结构

    shared_ptr 是引用计数型(reference counting)智能指针,几乎所有的实现都采用在堆(heap)上放个计数值(count)的办法(除此之外理论上还有用循环链表的办法,不过没有实例)。具体来说,shared_ptr<Foo> 包含两个成员,一个是指向 Foo 的指针 ptr,另一个是 ref_count 指针(其类型不一定是原始指针,有可能是 class 类型,但不影响这里的讨论),指向堆上的 ref_count 对象。ref_count 对象有多个成员,具体的数据结构如图 1 所示,其中 deleter 和 allocator 是可选的。


    为了简化并突出重点,后文只画出 use_count。

    定义一个对象: shared_ptr<Foo> x(new Foo); 对应的内存数据结构如下:

    如果再执行  shared_ptr<Foo> y = x;  那么对应的数据结构如下:

     

    但是 y=x 涉及两个成员的复制,这两步拷贝不会同时(原子)发生。

    • 中间步骤 1,复制 ptr 指针:

    • 中间步骤 2,复制 ref_count 指针,导致引用计数加 1:

    步骤1和步骤2的先后顺序跟实现相关(因此步骤 2 里没有画出 y.ptr 的指向),我见过的都是先1后2。

    既然 y=x 有两个步骤,如果没有 mutex 保护,那么在多线程里就有 race condition。

    多线程无保护读写 shared_ptr 可能出现的 race condition

    考虑一个简单的场景,有 3 个 shared_ptr<Foo> 对象 x、g、n:

    shared_ptr<Foo> g(new Foo); // 线程之间共享的 shared_ptr
    shared_ptr<Foo> x; // 线程 A 的局部变量
    shared_ptr<Foo> n(new Foo); // 线程 B 的局部变量
    

    0. 一开始,各安其事,各自的内存结构:

    1. 线程 A 执行  x = g;  (即 read g),以下完成了步骤 1,还没来及执行步骤 2。这时切换到了 B 线程。

    2. 同时编程 B 执行  g = n;  (即 write G),两个步骤一起完成了。

    • 先是步骤 1:

    • 再是步骤 2:

    注意:这是Foo1对象已经销毁 ,x.ptr已经成了悬挂指针。

    3. 最后回到线程 A,完成步骤 2:

    多线程无保护地读写 g,造成了“x 是空悬指针”的后果。这正是多线程读写同一个 shared_ptr 必须加锁的原因。

    当然,race condition 远不止这一种,其他线程交织(interweaving)有可能会造成其他错误。

    思考,假如 shared_ptr 的 operator= 实现是先复制 ref_count(步骤 2)再复制 ptr(步骤 1),会有哪些 race condition?

    注意

    为什么图 1 中的 ref_count 也有指向 Foo 的指针?

    shared_ptr<Foo> sp(new Foo) 在构造 sp 的时候捕获了 Foo 的析构行为。实际上 shared_ptr.ptr 和 ref_count.ptr 可以是不同的类型(只要它们之间存在隐式转换),这是 shared_ptr 的一大功能。分 3 点来说:

    1. 无需虚析构;假设 Bar 是 Foo 的基类,但是 Bar 和 Foo 都没有虚析构。

    shared_ptr<Foo> sp1(new Foo); // ref_count.ptr 的类型是 Foo*

    shared_ptr<Bar> sp2 = sp1; // 可以赋值,自动向上转型(up-cast)

    sp1.reset(); // 这时 Foo 对象的引用计数降为 1

    此后 sp2 仍然能安全地管理 Foo 对象的生命期,并安全完整地释放 Foo,因为其 ref_count 记住了 Foo 的实际类型。

    2. shared_ptr<void> 可以指向并安全地管理(析构或防止析构)任何对象;muduo::net::Channel class 的 tie() 函数就使用了这一特性,防止对象过早析构,见书 7.15.3 节。

    shared_ptr<Foo> sp1(new Foo); // ref_count.ptr 的类型是 Foo*

    shared_ptr<void> sp2 = sp1; // 可以赋值,Foo* 向 void* 自动转型

    sp1.reset(); // 这时 Foo 对象的引用计数降为 1

    此后 sp2 仍然能安全地管理 Foo 对象的生命期,并安全完整地释放 Foo,不会出现 delete void* 的情况,因为 delete 的是 ref_count.ptr,不是 sp2.ptr。

    3. 多继承。假设 Bar 是 Foo 的多个基类之一,那么:

    shared_ptr<Foo> sp1(new Foo);

    shared_ptr<Bar> sp2 = sp1; // 这时 sp1.ptr 和 sp2.ptr 可能指向不同的地址,因为 Bar subobject 在 Foo object 中的 offset 可能不为0。

    sp1.reset(); // 此时 Foo 对象的引用计数降为 1

    但是 sp2 仍然能安全地管理 Foo 对象的生命期,并安全完整地释放 Foo,因为 delete 的不是 Bar*,而是原来的 Foo*。换句话说,sp2.ptr 和 ref_count.ptr 可能具有不同的值(当然它们的类型也不同)。

    参考文章

    (陈硕的blog)http://www.cppblog.com/Solstice/archive/2013/01/28/197597.html

     

  • 相关阅读:
    python的编码判断_unicode_gbk/gb2312_utf8(附函数)
    stat文件状态信息结构体
    内核配置中 ramdisk 大小修改
    mount命令详解
    dirent和DIR 结构体 表示文件夹中目录内容信息
    nandwrite 参数
    mke2fs 制作ext2文件系统image
    ext2文件系统错误
    照度/感光度(Lux)
    摄像机的几个重要的技术指标
  • 原文地址:https://www.cnblogs.com/stemon/p/4847677.html
Copyright © 2020-2023  润新知