【实测比较half-sync-half-async模式与leader-follower模式的性能与场景(直播)】

sonicling

链表能无锁并发吗？貌似不行吧。memory order也没用。

windoze

回复 60# linux_c_py_php

要是还要锁我折腾这么一圈到底是为神马？

刚才那个例子里有几点要注意
1. old_enough需要保证这个context“足够老”，这个足够就是说它一定要比一次遍历所需的时间更长，说起来比较容易，但是考虑到OS调度的不确定性，要保证这个“一定”还是有点难度的，假设你遍历一遍需要1ms，实际上old_enough可能需要设定到几秒甚至更长。
2. 创建和删除context本身可能用到了malloc/free/new/delete，绝大部分libc实现中这几个操作都用到了锁，为了进一步避免这个开销，我们需要引入自定义的memory management，比如一个lock free的slab分配器，这个的复杂度超过了这个帖子的容量……

读写锁最大的问题就是即便你只读，它也是有开销的，而且锁会导致优先级反转，明明这个线程该干活了，结果它非要等别人……
另外，还有一个问题，如果你只是在context数组上加锁，实际上你没办法保证遍历时不会碰到正在/已经被删除的连接，除非你在整个遍历期间锁定整个context数组，并且对于“所有”context的操作都加锁，漏掉一个都不行。

windoze

回复 61# sonicling

为什么不行呢？举个栗子？

比如这个：
Lock-Free Linked Lists Using Compare-and-Swap

还有这个：
A Pragmatic Implementation of Non-Blocking Linked-Lists

还有这个：
Lock-Free Programming

linux_c_py_php

windoze 发表于 2013-02-16 20:50
回复 60# linux_c_py_php

要是还要锁我折腾这么一圈到底是为神马？

如果能用锁, 就可以维护在线连接的数组了... 这个倒不是关心问题.

关键是无锁这招总感觉肥猪流, 我还是老实点吧...  

windoze

回复 64# linux_c_py_php

无锁也可以维护连接表（虽然不一定是数组）。
Lock Free Data Structure是个挺麻烦的事，但是搞好了的确在适用的场合能极大的提高效率。
参见Non-blocking algorithm，这里有不少内容，新版的Boost里也有一组Lock Free类/模板

giantchen

linux_c_py_php 发表于 2013-02-15 07:30
假期最后2天, 计划分别实现  half-sync-half-async 与 leader-follower(没空就回北京再写, 慢慢直播) ...

用 libevent 写的单线程 concurrent line echo server 比你这个多线程 hsha 的快几倍，这里用 hsha 纯粹添堵嘛。
https://gist.github.com/chenshuo/4969564

sonicling

回复 63# windoze


    用CAS实现操作原子性，的确可以无锁。我以为你说贴在58楼的那代码可以无锁。

不过目测遍历效率不高，当队列用用还行。

windoze

回复 67# sonicling

58楼的代码，给读写操作加上MB差不多就可以了，如果你的机器没有NUMA，CPU也没有那么多，不加MB其实也没问题。

至于效率不高，你说的是reaper么？那个东东在后台，隔一阵子才跑一次，慢点无所谓，前台的速度才是关键。

linux_c_py_php

giantchen 发表于 2013-02-17 09:20
用 libevent 写的单线程 concurrent line echo server 比你这个多线程 hsha 的快几倍，这里用 hsha 纯粹 ...

就是测试hsha嘛, 与echo无关- -, 不是为了测echo..

eastany_op

原来在这里，又有很大启发啊。哦也，
早点发现 就不用走那么多弯路了