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

windoze

回复 57# linux_c_py_php

用什么结构体保存连接本身的信息没关系，关键是如何把这些信息汇集起来
一个不动脑子的方案可以是这样：
1. 建立一个双链表
2. 新连接建立后，将连接信息插入表尾

1. 
   
2. context->next=NULL;
   
3. context->prev=tail;
   
4. tail->next=context;
   
5. tail=context;
   

复制代码

3. 连接结束后，将该连接从链表中摘除，在context中记录结束的时间戳，然后传递给后台的reaper thread

1. 
   
2. context->prev->next=context->next;
   
3. context->next->prev=context->prev;
   
4. context->prev=reaper_list_tail;
   

复制代码

4. reaper thread维护另外一个反向的单链表，这个链表只使用/调整prev指针，不修改next指针，reaper定期扫描这个链表，将时间戳老于一定阈值的节点回收，其它节点不变。

1. 
   
2. while(1) {
   
3.     context_t *p=reaper_list_tail;
   
4.     context_t *prev;
   
5.     while(prev=p, p=p->prev) {
   
6.         if(old_enough(p)){
   
7.             prev->prev=p;
   
8.             reap(p);
   
9.         }
   
10.     }
    
11. }
    

复制代码

5. 遍历连接时，只单向遍历，只使用next指针，这样可以保证即使某个连接在遍历期间被放入了reaper链表，它的next依然指向一个存活的context（虽然不一定是有效的）

1. 
   
2. for(context_t *p=head; p; p=p->next) {
   
3.     // do something with p
   
4. }
   

复制代码

整个过程差不多就是这样。

上述代码只在ARM/X86/X86_64这些Strong Order的平台下能工作（前提是我脑子没发晕，代码没写错，这个可能性……哼哼……很小……），对于其它平台需要引入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

windoze

回复 64# linux_c_py_php

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

windoze

回复 67# sonicling

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

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