如何保护RCU读卡器部分免于抢占？

Question

（来自LWN上的一篇文章）

 1 rcu_read_lock();
 2 list_for_each_entry_rcu(p, head, list) {
 3   do_something_with(p->a, p->b, p->c);
 4 }
 5 rcu_read_unlock();

RCU更新操作将执行synchronize_rcu（）以断言每个CPU切换上下文，因此每个RCU读取器已完成它的工作。 但RCU必须依靠读者不被抢先一步。 事实上，LWN接着说：

虽然这种简单的方法适用于在RCU读取端关键部分禁用抢占的内核，换句话说，对于非CONFIG_PREEMPT和CONFIG_PREEMPT内核，它不适用于CONFIG_PREEMPT_RT实时（-rt）内核。

我理解对于非CONFIG_PREEMPT内核禁用抢占，但为什么CONFIG_PREEMPT内核也可以呢？

Answer 1

在CONFIG_PREEMPT内核上没问题，因为在任务被抢占之前需要注意完成rcu read critical部分。 调度程序检查当前任务是否在rcu读取临界区中，如果是，则增强其优先级以使其完成临界区。 有关详细信息，请参阅此文章： http ： //lwn.net/Articles/220677/

Answer 2

我们需要RCU用于CONFIG_PREEMPT内核。 如果没有先发制人或阻止，那么我们就不会在同步混乱中。 RCU实现有两种类型：

1) Non-preemptible RCU implementation
2) Preemptible RCU implementation

当在一个CPU上调用synchronize_rcu（）而其他CPU在RCU读取端关键部分内时，则同步_rcu（）保证阻塞，直到所有其他CPU退出其关键部分。 类似地，如果在一个CPU上调用call_rcu（）而其他CPU在RCU读取端关键部分内，则调用相应的RCU回调，直到所有其他CPU退出其关键部分。

在不可抢占的RCU实现中，在RCU读取端关键部分中阻塞是非法的。 在CONFIG_PREEMPT内核构建中的可抢占RCU实现（PREEMPT_RCU）中，RCU读取端关键部分可能被抢占，但显式阻塞是非法的。 最后，在实时（带有-rt补丁集）内核构建的可抢占RCU实现中，RCU读取端关键部分可能被抢占并且它们也可能阻塞，但仅在获取受优先级继承影响的自旋锁时。