谁能帮我解释这个无锁链表是怎么实现的，帮我分析一下

mmqmjy

回复 20# shan_ghost


嗯，你说的都对
但是楼主的问题不是ABA
楼主的代码对get加了锁，根本没有ABA啥事

shan_ghost

mmqmjy 发表于 2014-11-27 13:00

一边歇着去。


不懂不是问题，人都是从不懂来的。不懂装懂就惹人恶心了。

zylthinking

codechurch 发表于 2014-11-25 13:39
回复 15# zylthinking

奇了怪了， 你都没看， 就断言我一定有所谓的英文字母排列问题
这难道就是传说中的手里有个锤子， 看啥都是钉子？？？

mmqmjy

回复 22# shan_ghost


呵呵，你一边歇着去
你看不出来怎么保证只有一个在读是吧，我来告诉你

get_one和get函数的第一行
__sync_lock_test_and_set(&(list->root.next), NULL);
会将list->root.next置NULL，不管链表里还有多少项，在置回去之前，下一个get只能得到NULL返回失败
这就保证了只有一个get在操作

不懂装懂确实惹人恶心

井蛙夏虫

lock free有一个要求：任何一个或多个线程suspend，别的线程一样能完成工作，而不需要等待suspend的线程。
楼主的这个程序做不到这一点

codechurch

回复 23# zylthinking

这就是人们称之为“经验”的东西。

codechurch

回复 24# mmqmjy


的确，这里会【忙等】，属于自旋锁，而且“忙自旋”，系统忙得应该叫娘了。

   

zylthinking

codechurch 发表于 2014-11-28 10:19
回复 23# zylthinking

这就是人们称之为“经验”的东西。

装什么大尾巴狼 还真有脸了

zylthinking

codechurch 发表于 2014-11-28 10:39
回复 24# mmqmjy

这是自己打脸还是断言又有aba又有单读的节奏?

folklore

回复 25# 井蛙夏虫


    你说的这个好像叫 wait-free， 没看楼主的代码， 不知是不是lock-free的， 但和你说的一定不一样。

话说，除非lock-fee同时wait-free， 不然在大多数场合下应该没什么用。

但lock-free同时wait-free的代码， 应用场合就更小了（条件太严格了）