转自:http://blog.csdn.net/zhangxiao93/article/details/52792888
shared_ptr实现COW(Copy-On-Write)
前不久在《Linux多线程服务端编程使用muduoC++网络库》2.8节看到这个内容,一直没有真正理解,后来在书中7.3中再次提到使用shared_ptr实现copy-on-write的手法降低锁竞争,从shared_ptr的层面,彻底理解了一番。
之前copy-on-write详解分享中知道了其含义与过程,后又在StackOverFlow上学到了COW技术的精髓:
1.如果你是数据的唯一拥有者,那么你可以直接修改数据。
2.如果你不是数据的唯一拥有者,那么你拷贝它之后再修改。
用shared_ptr来实现COW时,主要考虑两点:
1.读数据
2.写数据
shared_ptr拥有对对象的引用计数,在对对象进行读写操作时,这个计数是1,当读数据时,我们创建一个新的智能指针指向原指针,这个时候引用计数加1。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
这部分是shared_ptr最基本的用法,还是很好理解的,read()函数调用结束,tmpptr
作为栈上变量离开作用域,自然析构,原数据对象的引用计数也变为1。
写数据就复杂一些。根据COW的准则,当你是唯一拥有者(对应对象的引用计数是1)时,那么你直接修改数据,这样没有问题,当你不是唯一拥有者,则需要拷贝数据再去修改,这就需要用到一些shared_ptr的编程技法了:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
解释一下代码:
shared_ptr::unique()
,当引用计数为1时返回true,否则false。
那么当引用计数不为1的时候,说明有别的线程正在读,受shread_ptr::reset()中example的误导,一直以为,reset后,原对象被析构,这样不就会影响正在读的线程了吗?
实际上:
假设一个线程读,一个线程写,当写线程进入到if循环中时,原对象的引用计数为2,分别为tmpptr
和g_ptr
,此时reset()
函数将原对象的引用计数减1,并且g_ptr
已经指向了新的对象(用原对象构造),这样就完成了数据的拷贝,并且原对象还在,只是引用计数变成了1。