非抢占式RCU实现(二)，解释：为什么 RCU_NEXT_SIZE 宏值是4？

参考：2.6.34

一个很奇怪的问题。

没有查找到为什么 RCU_NEXT_SIZE的值为4的原因（包括Documentation)，主要是在rcu_state中定义了一个四级的list，感到很有意思。

我给出自己的解释。

还是看下代码吧，容易解释：

=========================================================

引入nxtlist与 RCU_NEXT_RCU_DONE_TAIL

static void rcu_do_batch(struct rcu_state *rsp, struct rcu_data *rdp)
|---->if(!cpu_has_callbacks_ready_to_invoke(rdp))
|-----      return
|-----看下cpu_has_callbacks_ready_to_invoke的实现
|-----      |---- return &rdp->nxtlist !=
|-----      |-----       rdp->nxttail[RCU_DONE_TAIL];
|-----......
|----rdp->nxtlist = *rdp->nxttail[RCU_DONE_TAIL];
|-----......

　　从rcu_do_batch的实现可以看出，首先rcu_do_batch在 RCU_SOFTIRQ的软中断是一定会被执行的，只是在入口处判定是否需要实质性地操作链表，如果 &rdp->nxtlist != rdp->nxttail[RCU_DONE_TAIL] 成立则不会继续运行，即该次软中断在rcu_do_batch中是不会执行实质性内容的（但是千万不要认为在该次软中断中，没有操作链表上的函数就没有执行关键任务,rcu_progress_gp_end, rcu_check_quiescent_state都在软中断被执行了）。

在rcu_data结构体中引入
nxtlist与 RCU_NEXT_RCU_DONE_TAIL的目的很清楚：
nxtlist保存待处理的链表头，而*nxttail[RCU_NEXT_RCU_DONE_TAIL]中还保存着下次本核结束某个grace period时需要操作
的链表的头，如果两者相等，则进入rcu_do_batch后将立即退出。

=========================================================

=========================================================

引入RCU_NEXT_TAIL

static __call_rcu(struct rcu_head *head, void (*func)(struct rcu_head *rcu),
struct rcu_state *rsp)
|----......
|----*rdp->nxttail[RCU_NEXT_TAIL] = head;
|----rdp->nxttail[RCU_NEXT_TAIL] = &head->next;
|----......

作用：缓存！（单链表，存储最后可插入节点的位置）

=========================================================

=========================================================

引入RCU_NEXT_READY_TAIL和RCU_NEXT_TAIL
这两个很容易混淆。

static void __rcu_process_callbacks(struct rcu_state *rsp, struct rcu_data *rdp)
|----......
|----rcu_check_quiescent_state(rsp, rdp);
|----......
|
|通过了quiescent state，调用rcu_report_qs_rdp
|----rcu_report_qs_rdp(rdp->cpu, rsp, rdp, rdp->passed_quiesc_completed)
|----......
|----rdp->nxttail[RCU_NEXT_READY_TAIL] =
|----     rdp->nxttail[RCU_NEXT_TAIL]

通过了rcu_check_quiecent_state()中的检查，知道该核通过了quiescent state，因此设置rdp->nxttail[RCU_NEXT_READY_TAIL] = rdp->nxttail[RCU_NEXT_TAIL],而RCU_NEXT_TAIL是每次添加链表的缓存地址，因此可以判定RCU_NEXT_READY_TAIL是存储该核下次通过grace period时需被调用的链表头的地址（有点不妥，见下文）（为什么是这样？虽然该核已经上报通过了quiescent state，但是该次grace period的运行结束是由最后一个通过quiescent state的所决定的，如果仍有其它核自开启该次grace period后没有通过quiescent state，那么只能返回，以后添加的的链表元数自然也就只能在下次grace period中被调用）。

不禁会问：RCU_NEXT_TAIL有什么用？
先说明：本核上rcu_data中挂接的链表元素，只有两种情况可被处理
（1）超时：

if(ULONG_CMP_LT(rsp->jiffies_force_qs), jiffies)
force_quiescent_state(rsp, 1);

（2）该核结束了由某个核开启的grace period：

rcu_node检测到该核是最后一个上报通过quiescent state的核.

描述个场景：A核开启了grace period，B核在系统初始化后上挂了好几个链表节点，A、C、D核先后通过了quiescent state，B核最后通过quiescent state，则B核是最终结束该grace period的核，B核最终将在rcu_do_batch()中处理链表。

问题：在于B核应该执行链表上的RCU_DONE_TAIL至RCU_NEXT_READY_TAIL的所有任务吗？
回答：不能。

原因：B核尽管在rcu_report_qs_rdp中执行了rdp->nxttail[RCU_NEXT_READY_TAIL] = rdp->nxttail[RCU_NEXT_TAIL],但是我们显然的看到由于该grace period并由非B核开启，因此我们无法判断在B核添加链表时其它核是否通过了quiescent state，如果其它核已经通过了quiescent state，对于此后在B核上挂接的链表，如果在该grace period被B核终止后即被调用处理显然是错的。

如何解决：引入RCU_WAIT_TAIL

B核终止了一个非本身开启的grace period，而后：

rcu_report_qs_rnp(unsigned long mask, struct rcu_state *rsp,
struct rcu_node *rnp, unsigned long flags)
|----......
|----rcu_report_qs_rsp(rsp, flags);
|----......
|----rcu_start_gp(rsp, flags);
|    |----......
|    |----rcu_start_gp_per_cpu(rsp, rnp, rdp);
|    |    |----_rcu_process_gp_end(rsp, rnp, rdp);
|    |    |    |----......
|    |    |    |----rdp->nxttail[RCU_DONE_TAIL] =
|    |    |    |       rdp->nxttail[RCU_WAIT_TAIL];
|    |    |    |----rdp->nxttail[RCU_WAIT_TAIL] =
|    |    |    |       rdp->nxttail[RCU_NEXT_READY_TAIL];
|    |    |    |----rdp->nxttail[RCU_NEXT_READY_TAIL] =
|    |    |    |       rdp->nxttail[RCU_NEXT_TAIL];
|    |    |    |----.......
|    |    |----......
|    |----......
|----.......
|----......

　　可以看出在rcu_process_per_cpu中置：rdp->nxttail[RCU_DONE_TAIL] = rdp->nxttail[RCU_WAIT_TAIL]，而非rdp->nxttail[RCU_NEXT_READY_TAIL]。

　　个人认为，这样做可以防止——某个核终止了并非由该核开启的grace period，而且该核在grace period时间段内在自己的链表中的添加了链表元素——在该次rcu_do_batch中，这些链表元素却被处理了。

=========================================================

关注TAIL指针的重点，在于：

（1）主动开启grace period

（2）检测到有新的grace period，但是本核缺没有被动的开启grace period

（3）检测grace period是否结束，及处理

（4）向rcu_node上报本核已发生quiescent state

在这4点处将推动TAIL指针的变化。

记住一点：某个核开启了grace period，但并不一定是该核来结束grace period，可能是自己，也可能是其它核。