我想知道是否可以为任何“通用”架构（如x64或ARMv7/ARMv8）创建一个无锁、线程安全的共享指针。

在cppcon2014关于无锁编程的演讲中，Herb Sutter展示了一个无锁单链表的(部分)实现。实现看起来非常简单，但是它依赖于标准库中尚不存在的原子< code>shared_ptr实现，或者依赖于使用专用的< code>std::atomic...功能。这一点尤其重要，因为单个push/pop调用可能会调用多个原子加载/存储和< code>compare_exchange操作。

我所看到的问题(我认为演讲中的一些问题也指向同一个方向)是，要使这成为一个真正的无锁数据结构，那些原子操作本身必须是无锁的。我不知道任何< code>std::atomic的标准库实现...函数是无锁的——至少通过简短的google / SO搜索——我也没有找到如何为< code>std::atomic实现无锁专门化的建议

在我浪费时间之前，我想问：

你知道，是否有可能写一个无锁的原子共享指针？ < li >是否已经有我忽略的实现，并且理想情况下甚至与您期望的< code>std::atomic兼容

作为参考，下面是来自Herb Sutter的代码(可能包含我的拼写错误):

template<class T> 
class slist {
    struct Node { T t;  std::shared_ptr<Node> next; };
    std::atomic<std::shared_ptr<Node>> head;        
public:
    class reference{
        std::shared_ptr<Node> p;
    public:
        reference(std::shared_ptr<Node> p_){}
        T& operator*(){ return p->t; }
        T* operator->(){ return &p->t; }
    };
    auto find(T t) const {
        auto p = head.load();
        while (p && p-> != t) {
            p = p - next;
        }
        return reference(move(p));
    }
    void push_front(T t) {
        auto p = std::make_shared<Node>();
        p->t = t;
        p->next = head;
        while (!head.compare_exchange_weak(p->next, p)) {}
    }
    void pop_front() {
        auto p = head.load();
        while (p && !head.compare_exchange_weak(p, p - next)) { ; }
    }
};

请注意，在这个实现中，shared_ptr的单个实例可以被多个不同的线程访问/修改。它可以被读取/复制、重置甚至删除（作为节点的一部分）。所以这不是关于多个不同的shared_ptr对象（管理同一个对象）是否可以被多个线程在没有竞争条件的情况下使用——这对于当前的实现来说已经是正确的，也是标准所要求的——而是关于对单个指针实例的并发访问，对于标准的共享指针来说，不会比对原始指针的相同操作更安全。

解释一下我的动机：
这主要是一个学术问题。我无意在生产代码中实现我自己的无锁列表，但我发现这个话题很有趣，乍一看，Herb 的演示文稿似乎是一个很好的介绍。然而，在思考这个问题和@sehe对我的回答的评论时，我想起了这个演讲，又看了一眼，意识到如果 Herb 的实现需要锁（他们目前确实如此），那么将 Herb 的实现称为无锁是没有多大意义的。所以我想知道，这是否只是当前实现的限制或设计中的根本缺陷。