跪求多线程安全的智能指针实现~

eagle518

回复 9# egmkang


不是无法实现多线程安全，参见：
http://stackoverflow.com/questio ... pointer-in-c-x86-64

当然，如果能lock-free实现更佳。
   

windoze

你这么用当然没法做到线程安全了，shared_ptr的线程安全保障等级“等同于内置类型”。
你仔细体会一下。

eagle518

回复 12# windoze


我的需求是实现java一样的对象引用，如果上述实现不合理，还望不吝赐教。

windoze

回复 13# eagle518

内置类型的线程安全基本上是这样的：
1、多个线程同时读取同一个对象是安全的
2、多个线程同时读取和写入同一个对象是不安全的
也就是说，下面的代码是安全的：

1. 
   
2. int v=9527;
   
3. // thread 1 entry
   
4. void thread_func1() {
   
5.     int sum=0
   
6.     for(int i=0; i<100; i++) { sum+=v; }
   
7. }
   
8. // thread 2 entry
   
9. void thread_func2() {
   
10.     int sum=0
    
11.     for(int i=0; i<100; i++) { sum+=v*2; }
    
12. }
    

复制代码

下面的代码是不安全的

1. 
   
2. int v=9527;
   
3. // thread 1 entry
   
4. void thread_func1() {
   
5.     int sum=0
   
6.     for(int i=0; i<100; i++) { v=i; }
   
7. }
   
8. // thread 2 entry
   
9. void thread_func2() {
   
10.     int sum=0
    
11.     for(int i=0; i<100; i++) { sum+=v*2; }
    
12. }
    

复制代码

另外，shared_ptr本身就是一个“对象”。

综上所述，你再仔细体会一下

eagle518

回复 14# windoze


    内置类型线程安全我理解。

你能直接告诉我下面这段代码是否安全？若非安全，那问题会在哪里？

boost::shared_ptr<Object> ptr;
class Reader : public Thread {
    virtual void Run {
       for ( ; ; ) {
           boost::shared_ptr<Object> local(boost::atomic_load(&ptr));
           // do smth   
       }
    }   
};

class Writer : public Thread {
    virtual void Run {
       for ( ; ; ) {
           boost::shared_ptr<Object> newPtr(new Object);   
           boost::atomic_store(&ptr, newPtr);
       }
    }
};

int main() {
    Pool* pool = SystemThreadPool();
    pool->Run(new Reader());
    pool->Run(new Writer());
    for ( ; ; )
}


##实测运行我未发现上面的代码存在异常。

windoze

回复 15# eagle518

我不能直接告诉你代码是否安全，你要自己体会。
如果你真的知道内置类型的线程安全，share_ptr你也应该能体会出来。

eagle518

回复 16# windoze


我感觉你的理解还是框框在std::shared_prt或boost::shared_ptr的线程安全模型上，

我需要的是多线程读写安全的智能指针实现，加锁实现也可以，
而不是讨论std::shared_prt或boost::shared_ptr的线程安全仅是等同内置类型线程安全。
   

windoze

回复 17# eagle518

你看这里有两个“对象”，一个是smart pointer(std/boost::shared_ptr或者GC pointer或者别的什么东西)，另一个是这个smart pointer指向的对象。
你有没有搞清楚你到底要哪个对象的“线程安全”呢？

eagle518

回复 18# windoze

显然，我要的是两者同时安全。
   

windoze

回复 19# eagle518

如果你真需要“两者同时安全”，那显然你需要给两个对象都加锁。

不过，你需要“两者同时安全”的原因是什么你搞清楚了吗？