linux内核同步机制-RCU(4)

gnr_123

于 2021-03-21 20:11:03 发布

阅读量208

点赞数

分类专栏： linux 文章标签：内核 linux 同步分布式一致性协议

本文链接：https://blog.csdn.net/gnr_123/article/details/115054801

版权

本文深入探讨Linux内核的RCU同步机制，重点在于RCU的订阅发布模型，即rcu_assign_pointer和rcu_dereference函数。文章分析了为何在并发环境下，简单的指针赋值可能引发数据不一致问题，讨论了编译器优化、CPU指令乱序以及内存模型对数据可见性的影响，并介绍了内核中如何通过内存屏障来确保数据一致性。

摘要由CSDN通过智能技术生成

上一篇文章我们搞清楚了CPU如何检测QS状态，如何上报QS状态，GP状态机管理，也就知道GP何时结束，进而知道了旧数据内存是何时被回收的，这次我们来看RCU的订阅发布机制。

所谓的订阅和发布在API上的体现是rcu_assign_pointer和rcu_dereference，从接口的名字上可以看出，订阅和发布实际上指的的是指针赋值和解引用，也就是新的数据对于reader的可见性。在C语言里指针赋值用等号就可以实现，为什么要大费周章的用两个函数包装起来呢？我们先来看一段代码。

struct data{
    int a;
    int b;
}

//gloabl 
struct data *p;
int x；
int y;

//updater code @ cpu0
struct data *new = malloc();
new->a = x;
new->b = y;
p=new;

//reader code @ cpu1
struct data *rd;
rcu_read_lock()
rd = p;
data_processing(rd);
rcu_read_unlock();

这个段代码有问题吗？

updater的代码段隐含的要求a=0和b=1的赋值必须在p=new之前完成，否则在读写并发的情况下，reader就有可能读到未完成赋值的数据。

那什么情况下会出现这种p=new先于a和b的赋值执行呢？

第一种可以想