shared_ptr的线程安全
2015-04-22 17:59
696 查看
1.9 再论shared_ptr 的线程安全
虽然我们借shared_ptr 来实现线程安全的对象释放,但是shared_ptr 本身不是100% 线程安全的。它的引用计数本身是安全且无锁的,但对象的读写则不是,因为shared_ptr 有两个数据成员,读写操作不能原子化。根据文档11,shared_ptr 的线程安全级别和内建类型、标准库容器、std::string 一样,即:
一个shared_ptr 对象实体可被多个线程同时读取;
两个shared_ptr 对象实体可以被两个线程同时写入,“析构”算写操作;
如果要从多个线程读写同一个shared_ptr 对象,那么需要加锁。
请注意,以上是shared_ptr 对象本身的线程安全级别,不是它管理的对象的线程安全级别。
要在多个线程中同时访问同一个shared_ptr,正确的做法是用mutex 保护:
MutexLock mutex; // No need for ReaderWriterLock
shared_ptr<Foo> globalPtr;
// 我们的任务是把globalPtr 安全地传给doit()
void doit(const shared_ptr<Foo>& pFoo);
globalPtr 能被多个线程看到,那么它的读写需要加锁。注意我们不必用读写锁,而只用最简单的互斥锁,这是为了性能考虑。因为临界区非常小,用互斥锁也不会阻塞并发读。
为了拷贝globalPtr,需要在读取它的时候加锁,即:
void read()
{
shared_ptr<Foo> localPtr;
{
MutexLockGuard lock(mutex);
localPtr = globalPtr; // read globalPtr
}
// use localPtr since here,读写localPtr 也无须加锁
doit(localPtr);
}
写入的时候也要加锁:
void write()
{
shared_ptr<Foo> newPtr(new Foo); // 注意,对象的创建在临界区之外
{
MutexLockGuard lock(mutex);
globalPtr = newPtr; // write to globalPtr
}
// use newPtr since here,读写newPtr 无须加锁
doit(newPtr);
}
注意到上面的read() 和write() 在临界区之外都没有再访问globalPtr,而是用了一个指向同一Foo 对象的栈上shared_ptr local copy。下面会谈到,只要有这样的local copy 存在,shared_ptr 作为函数参数传递时不必复制,用reference to const 作为参数类型即可。另外注意到上面的new Foo 是在临界区之外执行的,这种写法通常比在临界区内写globalPtr.reset(new Foo) 要好,因为缩短了临界区长度。如果要销毁对象,我们固然可以在临界区内执行globalPtr.reset(),但是这样往往会让对象析构发生在临界区以内,增加了临界区的长度。一种改进办法是像上面一样定义一个localPtr,用它在临界区内与globalPtr 交换(swap()),这样能保证把对象的销毁推迟到临界区之外。练习:在write() 函数中,globalPtr = newPtr; 这一句有可能会在临界区内销毁原来globalPtr 指向的Foo 对象,设法将销毁行为移出临界区。
为什么多线程读写 shared_ptr 要加锁?
shared_ptr线程安全性分析
虽然我们借shared_ptr 来实现线程安全的对象释放,但是shared_ptr 本身不是100% 线程安全的。它的引用计数本身是安全且无锁的,但对象的读写则不是,因为shared_ptr 有两个数据成员,读写操作不能原子化。根据文档11,shared_ptr 的线程安全级别和内建类型、标准库容器、std::string 一样,即:
一个shared_ptr 对象实体可被多个线程同时读取;
两个shared_ptr 对象实体可以被两个线程同时写入,“析构”算写操作;
如果要从多个线程读写同一个shared_ptr 对象,那么需要加锁。
请注意,以上是shared_ptr 对象本身的线程安全级别,不是它管理的对象的线程安全级别。
要在多个线程中同时访问同一个shared_ptr,正确的做法是用mutex 保护:
MutexLock mutex; // No need for ReaderWriterLock
shared_ptr<Foo> globalPtr;
// 我们的任务是把globalPtr 安全地传给doit()
void doit(const shared_ptr<Foo>& pFoo);
globalPtr 能被多个线程看到,那么它的读写需要加锁。注意我们不必用读写锁,而只用最简单的互斥锁,这是为了性能考虑。因为临界区非常小,用互斥锁也不会阻塞并发读。
为了拷贝globalPtr,需要在读取它的时候加锁,即:
void read()
{
shared_ptr<Foo> localPtr;
{
MutexLockGuard lock(mutex);
localPtr = globalPtr; // read globalPtr
}
// use localPtr since here,读写localPtr 也无须加锁
doit(localPtr);
}
写入的时候也要加锁:
void write()
{
shared_ptr<Foo> newPtr(new Foo); // 注意,对象的创建在临界区之外
{
MutexLockGuard lock(mutex);
globalPtr = newPtr; // write to globalPtr
}
// use newPtr since here,读写newPtr 无须加锁
doit(newPtr);
}
注意到上面的read() 和write() 在临界区之外都没有再访问globalPtr,而是用了一个指向同一Foo 对象的栈上shared_ptr local copy。下面会谈到,只要有这样的local copy 存在,shared_ptr 作为函数参数传递时不必复制,用reference to const 作为参数类型即可。另外注意到上面的new Foo 是在临界区之外执行的,这种写法通常比在临界区内写globalPtr.reset(new Foo) 要好,因为缩短了临界区长度。如果要销毁对象,我们固然可以在临界区内执行globalPtr.reset(),但是这样往往会让对象析构发生在临界区以内,增加了临界区的长度。一种改进办法是像上面一样定义一个localPtr,用它在临界区内与globalPtr 交换(swap()),这样能保证把对象的销毁推迟到临界区之外。练习:在write() 函数中,globalPtr = newPtr; 这一句有可能会在临界区内销毁原来globalPtr 指向的Foo 对象,设法将销毁行为移出临界区。
为什么多线程读写 shared_ptr 要加锁?
shared_ptr线程安全性分析
相关文章推荐
- shared_ptr:线程安全、循环引用
- shared_ptr:线程安全、循环引用
- shared_ptr:线程安全、循环引用
- std::shared_ptr 和 std::weak_ptr的用法以及引用计数的循环引用问题
- shared_ptr
- shared_ptr<>动态分配内存
- (转)auto_ptr与shared_ptr
- 计数智能指针要点(shared_ptr)
- std::auto_ptr boost::shared_ptr智能指针的应用
- C++之shared_ptr总结
- shared_ptr用于Bridge模式和Factory模式
- C++11学习笔记(6) —— smart pointer: shared_ptr , auto_ptr
- boost库在工作(9)引用计数的智能指针shared_ptr之二
- 有关智能指针(shared_ptr)的讨论
- [C++11]_[初级]_[shared_ptr的使用场景]
- 智能指针之 shared_ptr
- 一步一步写STL:定制boost::shared_ptr
- 转一篇shared_ptr的小文
- 关于shared_ptr
- boost中的智能指针shared_ptr的指针管理