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

eagle518

已知boost::shared_ptr如下验证多线程安全失败：

boost::shared_ptr<EString> g_shared_ptr(new EString("111"));

static void test_shared_ptr() {
        {
        boost::shared_ptr<EString> sx(new EString("x"));
        boost::shared_ptr<EString> sy(new EString("y"));
        sx = sy;
        LOG("x=%s, y=%s", sx->c_str(), sy->c_str());
        boost::shared_ptr<EString> sn;
//        sx = null;
        }

        class spReader : public EThread {
        public:
                virtual void run() {
               while (true) {
                       boost::shared_ptr<EString> local(g_shared_ptr);
                   LOG("s=%s", local->c_str());
               }
            }
        };

        class spWriter : public EThread {
        public:
                virtual void run() {
                        while (true) {
                                boost::shared_ptr<EString> newPtr(new EString("xxx"));
                                g_shared_ptr = newPtr;
               }
            }
        };

        EArray<EThread*> arr;
        int i;
        for (i = 0; i < 2; i++) {
                spReader* sThread1 = new spReader();
                sThread1->start();
                arr.add(sThread1);
        }

        for (i = 0; i < 3; i++) {
                spWriter* sThread2 = new spWriter();
                sThread2->start();
                arr.add(sThread2);
        }

        for (i = 0; i < arr.length(); i++) {
                arr.getAt(i)->join(NULL);
        }
}


请问有谁知道哪个开源智能指针实现是完全多线程安全的？
知道的请告知，不甚感激！

补充：lock-free实现更佳。

webdna

帮顶

hellioncu

这种情况下，我宁可不用智能指针

eagle518

why? 回复 3# hellioncu


   

hellioncu

eagle518 发表于 2014-07-14 09:48
why? 回复 3# hellioncu

根据业务逻辑，创建者和释放者应该能明确，在统一的地方自己手工释放看着也清楚

eagle518

可我现在的需求就是这样，我要实现仿JDK concurrent的类库，对象何时释放可以说是未知的。

回复 5# hellioncu


   

shang2010

java，好多人在用哈

eagle518

对，而且java api文档很好很全。
我现在要实现的就是把jdk c++话，已实现更好的性能，同时又易用易学。
回复 7# shang2010


   

egmkang

你需要去补充操作系统知识!!!
任何一个对象,在同一个时刻,最多只能允许一个线程去写. 这是最起码的常识.
而std::atomic<int>这种给你的错觉就是, 你可以开多个线程去同时写, 但是实际上从微观的角度讲, 多个CPU内核还是串行的执行写操作, 这是一个必然的.
如果你的对象非常复杂, 没法做到std::atomic<int>这种支持原子写操作, 那么你就需要用到锁, 不管是mutex还是spin lock,本质上都是锁.

egmkang

shared_ptr可以保证在多个线程间传递你的对象, 但是不能保证你自己那个对象的线程安全
shared_ptr的线程安全和你那个T类型的线程安全是两码事.