Brpc代码分析-Server端（十三）

m0_54588463

于 2021-12-26 23:14:47 发布

阅读量261

点赞数

文章标签： javascript

本文链接：https://blog.csdn.net/m0_54588463/article/details/122162909

版权

2021SC@SDUCS

承接上文加入新的节点后的操作

_execute_tasks中设置cur_tail为null，然后进入for循环，初始时head中的iterated为false，也没有高优任务，因此直接执行m->_execute()

_execute中会生成迭代器，然后调用_execute_func，这个上文有提到，就是执行用户指定的执行函数，即示例中的consume

然后看下TaskIterBase，主要成员为_cur_node，表示当前遍历到了哪个节点，_head，表示当前执行队列的head，和_high_priorty，表示该iterator的优先级，而且低优迭代器只会遍历低优任务，高优迭代器只会遍历高优任务

在consume函数中，通过解引用TaskIter得到了DemoTask*，这块逻辑如下，上文中说到DemoTask*存在了TaskNode的static_task_mem中，这里get_allocated_mem则是直接返回static_task_mem，因此便拿到了加到队列中的DemoTask*。

然后看下自增操作，首先判断当前节点是否遍历过，在示例中节点1的iterated为false，所以直接往下进入while循环，因为当前生成的是低优先级的iter，node也是低优先级，所以进入if，在第二个if中，iterated为false，peek_to_execute是判断当前节点状态是否为UNEXECUTED，因此也进入第二个if，将当前节点iterated置为true直接返回。注意上面TaskIter的构造函数会执行一次operator++，所以就会将节点1的iterated置为true

在Iter的析构中，会将从_head到_cur_node区间所有相同优先级节点设置为EXECUTED

然后回到_execute_tasks函数的_execute之后，head即节点1被执行结束了，head的next为null，cur_tail为null，所以cur_tail被置为了head。_execute结束后，生成的Iter被析构，如上所述，Iter析构会设置1的状态为EXECUTED。

然后执行_more_tasks，假设此时为t2，又入队了两个新的节点

此时old_head指向1，*new_tail为1，new_head指向1，desired为null，return_when_no_more为false，然后通过cas操作，如果_head还是指向1，说明队列中没有新加的节点，那么_head被置为null，返回false，这里使用acquire是和入队进行配对，保证看到对node的修改；在上图这个例子中，新加了2,3两个节点，此时_head指向3，所以new_head被设置为3

假设执行到此时为t3，又新加了两个节点

然后开始反转链表的new_head到old_head区间，*new_tail指向3，注意在反转前会判断new_head的next是否为UNCONNECTED，如上文所述，在将一个节点加入到链表的过程中有一段时间是断链的，这种情况下就调用sched_yield将执行权从当前bthread切换到其他bthread，直到链表链接起来