开发者社区> 北之燕> 正文

智能指针shared_ptr【无锁设计基于GCC】

简介: 1. shared_ptr 介绍   使用过Boost的话对shared_ptr一定有很深的印象。多个shared_ptr指向同一个对象,每个shared_ptr会使对象的引用计数加+1,当引用计数为0时, 对象将被析构。
+关注继续查看

1. shared_ptr 介绍

  使用过Boost的话对shared_ptr一定有很深的印象。多个shared_ptr指向同一个对象,每个shared_ptr会使对象的引用计数加+1,当引用计数为0时,

对象将被析构。本文实现一个简洁版本的shared_ptr,并没有太多跨平台特性,实现代码可以再GCC上运行。

      本文中的引用计数由ref_count_t类实现,参见下文的详细分析。

  详文另见:

  代码详见:http://ffown.sinaapp.com/?p=49

  svn co http://ffown.googlecode.com/svn/trunk/fflib/lib

2.  shared_ptr 的构造

     我们期望shared_ptr的行为尽量的接近原始指针的行为。所以shared_ptr应该支持三种构造方式

  a. 空构造类似与void* p =NULL;

      b. shared_ptr可以通过原始对象指针构造,类似于void* p = q;

  c. shared_ptr 可以通过已存在的shared_ptr构造。

  首先shared_ptr是一个模板类,其由连个属性。

private:
object_t* m_dest_ptr;
ref_count_t* m_ref_count;
};

其中m_dest_ptr 指向目标对象, m_ref_count 用来记录该对象的引用计数。为了简单,shared_ptr类遵循一个原则m_dest_ptr和m_ref_count  同时为NULL,或同时不为NULL。

其中 object_t 为模板类型的别名。

template<typename T>
class shared_ptr_t
{
public:
typedef T object_t;
typedef shared_ptr_t<T> self_type_t;

  1> 空构造目标对象和引用计数默认都为空。

template<typename T>
shared_ptr_t<T>::shared_ptr_t(object_t* p):
m_dest_ptr(p),
m_ref_count(NULL)
{
if (NULL != m_dest_ptr)
{
m_ref_count = new ref_count_t();
}
}

  share_ptr_t<int> p;

  2> 支持原始对象指针作为构造函数参数

template<typename T>
shared_ptr_t<T>::shared_ptr_t(object_t* p):
m_dest_ptr(p),
m_ref_count(NULL)
{
if (NULL != m_dest_ptr)
{
m_ref_count = new ref_count_t();
}
}

  用例:share_ptr_t<int> p(new int());

  3> 使用已存在的shared_ptr 构造

  

template<typename T>
shared_ptr_t<T>::shared_ptr_t(self_type_t& p):
m_dest_ptr(p.get()),
m_ref_count(p.ger_ref_count())
{
if (NULL != m_dest_ptr)
{
m_ref_count->inc();
}
}

  用例: share_ptr_t<int> q(p);

3. shared_ptr 获取引用计数或原始指针

  有时需要知道shared_ptr当前引用计数的值,通过shared_ptr获取原始指针理所当然。So:

size_t       ref_count() const       { return m_ref_count != NULL? (size_t)m_ref_count->size(): 0; }
object_t*    get() const             { return m_dest_ptr; }

所以很容易验证shared_ptr的行为:

shared_ptr_t p(new int());
assert(p.ref_count() == 1);
shared_ptr_t<int> q(p);
assert(q.ref_count() == 1);

4. 减少引用计数

  shared_ptr需要显示的析构对象,所以提供reset接口,当目标对象已经创建并且引用计数达到零时(即不再有shared_ptr保存目标对象的控制权),析构目标对象。

template<typename T>
void shared_ptr_t<T>::reset()
{
if (m_dest_ptr)
{
if (true == m_ref_count->dec_and_check_zero())
{
delete m_ref_count;
delete m_dest_ptr;
}
m_ref_count = NULL;
m_dest_ptr = NULL;
}
}

5. shared_ptr 的析构

  很简单,减少引用计数。

template<typename T>
shared_ptr_t<T>::~shared_ptr_t()
{
reset();
}

6. 向原始指针一样使用shared_ptr

  可以这样使用shared_ptr

  struct foo_t { int a; }

  shared_ptr_t<foo_t> p(new foo_t());

  (*p).a = 100;

  p->a = 100;

  if(p) cout << "p not null!\n";

     所以提供如下接口:

template<typename T>
typename shared_ptr_t<T>::object_t& shared_ptr_t<T>::operator*()
{
assert(NULL != m_dest_ptr);
return *m_dest_ptr;
}

template<typename T>
typename shared_ptr_t<T>::object_t* shared_ptr_t<T>::operator->()
{
assert(NULL != m_dest_ptr);
return m_dest_ptr;
}

operator bool() const
{
  return NULL != m_dest_ptr;
}

7. Lock Free引用计数实现

  GCC中已经定义了一些atomic operation,但是查阅资料后,应该是对Intel的平台支持较好,其他平台支持不确定。故把atomic操作封装成宏。

#define ATOMIC_ADD(src_ptr, v)                         (void)__sync_add_and_fetch(src_ptr, v)
#define ATOMIC_SUB_AND_FETCH(src_ptr, v) __sync_sub_and_fetch(src_ptr, v)

  ref_count_t 实现很简单:

class ref_count_t
{
typedef volatile long atomic_t;
public:
ref_count_t():
m_ref_num(1)
{}
~ref_count_t()
{}

inline void inc()
{
ATOMIC_ADD(&m_ref_num, 1);
}
inline bool dec_and_check_zero()
{
return 0 == ATOMIC_SUB_AND_FETCH(&m_ref_num, 1);
}
inline atomic_t size()
{
return m_ref_num;
}

private:
atomic_t m_ref_num;
};
#endif

8. 线程安全性

1. 单线程多个shared_ptr指向不同的对象,安全。

2. 单线程多个shared_ptr指向相同的对象,安全。

3. 多线程多个操作不同的shared_ptr, 指向不同的对象,安全。

4. 多线程多个操作不同的shared_ptr, 指向相同对象,shared_ptr安全(也就是引用计数维护正确),对于原始对象操作依赖于用户。

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
阿里云人工智能产品-图像搜索(商业化)发布
产品介绍: 图像搜索(Image Search)是以深度学习和机器视觉技术为核心,结合不同行业应用和业务场景,帮助用户在自建图库中实现相同或相似图片搜索的以图搜图服务。适用客户: 所有具有图像库,并有图像搜索需求的客户。
1311 0
阿里云服务器怎么设置密码?怎么停机?怎么重启服务器?
如果在创建实例时没有设置密码,或者密码丢失,您可以在控制台上重新设置实例的登录密码。本文仅描述如何在 ECS 管理控制台上修改实例登录密码。
18104 0
C++类型强制转换:隐式转换和显式转换(包含Qt智能指针类型转换)
C++类型强制转换:隐式转换和显式转换(包含Qt智能指针类型转换)
92 0
阿里云服务器如何登录?阿里云服务器的三种登录方法
购买阿里云ECS云服务器后如何登录?场景不同,阿里云优惠总结大概有三种登录方式: 登录到ECS云服务器控制台 在ECS云服务器控制台用户可以更改密码、更换系.
23603 0
基于对象存储 OSS 的智能数据分析处理框架和功能
今年参加了 2019 全球闪存峰会(Flash Memory World),分享了“基于云存储的智能数据分析处理架构”,重点介绍在对象存储 OSS 之上的数据处理功能,现整理相关内容和大家探讨。
2301 0
智能指针shared_ptr【无锁设计基于GCC】
1. shared_ptr 介绍   使用过Boost的话对shared_ptr一定有很深的印象。多个shared_ptr指向同一个对象,每个shared_ptr会使对象的引用计数加+1,当引用计数为0时, 对象将被析构。
654 0
真!无钥匙!数字钥匙在智能电动车领域的实践
真!无钥匙!数字钥匙在智能电动车领域的实践
123 0
C++智能指针(auto_ptr)详解
智能指针(auto_ptr) 这个名字听起来很酷是不是?其实auto_ptr 只是C++标准库提供的一个类模板,它与传统的new/delete控制内存相比有一定优势,但也有其局限。本文总结的8个问题足以涵盖auto_ptr的大部分内容。
790 0
+关注
北之燕
游戏服务器主程,热爱技术热爱生活,现在专注于开源游戏服务器框架。
63
文章
0
问答
文章排行榜
最热
最新
相关电子书
更多
OceanBase 入门到实战教程
立即下载
阿里云图数据库GDB,加速开启“图智”未来.ppt
立即下载
实时数仓Hologres技术实战一本通2.0版(下)
立即下载