我一直在研究无锁堆栈。
我正在阅读这个link和弹出功能让我想知道。
根据该链接，弹出功能实现如下。

int lfstack_pop(_Atomic lfstack_t *lfstack)
{
    lfstack_t next, orig = atomic_load(lfstack);

    do{
       if(orig.head == NULL)
       {
            return -1;
       }
       next.head = orig.head->next;
       next.tag = orig.tag+1; //increase the "tag"
    }while(!atomic_compare_exchange_weak(lfstack,&orig,next));

    printf("poping value %d\n",orig.head->data);
    free(orig.head);

    return 0;
}

在上面的实现中，我们通过使用单独的标签信息来解决阿坝问题。
到目前为止，一切顺利。
但我的问题是。
next.head = orig.head->next;行是线程安全的吗？
如果next.head = orig.head->next;行在线程1中的free(orig.head);之后在线程2中恢复，这不是一个错误，因为我们在orig.head被释放之后引用next？
我看到的链接没有提到这个问题，所以我想知道这是否安全。