Linux内核中WRITE_ONCE与READ_ONCE相关技术问题咨询
嘿，刚好对Linux内核里的WRITE_ONCE/READ_ONCE这套宏有点熟，来逐个给你唠明白这些问题：
1. 能否有人讲解Linux内核中WRITE_ONCE和READ_ONCE的使用方法？
简单说，这俩宏是用来阻止编译器对单个读写操作做优化的，内核里主要用在无锁同步、中断上下文访问共享变量这类场景里。
平时编译器会自作聪明：比如你多次读同一个未被修改的变量，它可能会把第一次读到的值存在寄存器里，后面直接用寄存器的值，不去内存重读；或者连续两次写同一个变量，它可能直接合并成最后一次写，跳过中间的操作。但在多线程/多CPU环境下，这种优化会出大问题——比如其他CPU修改了共享变量，你的代码却还在读寄存器里的旧值；或者你想发送一个“状态变更”的信号写操作，被编译器优化没了，其他线程根本看不到。
使用方法特别直接：
- 写操作：
WRITE_ONCE(变量名, 要写入的值);
比如你要给一个共享标志位设1，确保这次写一定会被执行且不被合并：WRITE_ONCE(shared_running, 1); - 读操作：
变量 = READ_ONCE(共享变量名);
比如你要读一个可能被其他CPU修改的计数器，确保每次读都是从内存拿最新值：current_count = READ_ONCE(global_counter);
核心原则：只要你访问的是没有被锁（spinlock/mutex等）保护的共享变量，或者需要确保单次读写操作的“可见性”时，就该用上这俩宏。
2. WRITE_ONCE内部使用volatile限定符，请问原因是什么？
volatile在这里的作用就是给编译器“刹车”——告诉它：这个变量的读写不能被优化，必须老老实实每次都去内存操作，不能缓存到寄存器里，也不能合并、重排读写顺序。
WRITE_ONCE的核心目的是保证“这一次写操作是独立且必须执行的”，如果没有volatile，编译器完全可能把多次连续的WRITE_ONCE合并成一次，或者把写操作延迟到后面执行，甚至在某些情况下直接优化掉（比如它觉得这个变量后续没被用到）。
举个例子：如果你写了WRITE_ONCE(flag, 1); do_something(); WRITE_ONCE(flag, 0);，没有volatile的话，编译器可能会觉得这两次写可以合并，直接只保留最后一次写0，那前面的flag=1就相当于没执行，其他线程根本看不到这个状态变更。
不过要注意：volatile只管编译器层面的优化，不管CPU层面的指令重排或者缓存一致性——这些得靠内存屏障（比如smp_mb()）来配合，但WRITE_ONCE先把编译器的干扰给排除了。
3. WRITE_ONCE和READ_ONCE是如何解决缓存一致性问题的？
先澄清一下：这俩宏本身不直接解决缓存一致性，缓存一致性是CPU硬件通过MESI（或者类似的）协议来保证的。但它们的作用是让硬件的缓存一致性机制能正常发挥作用。
为啥这么说？因为如果编译器把读操作优化成了寄存器缓存，那即使其他CPU修改了内存里的变量，你的代码还在读寄存器里的旧值，CPU的缓存一致性协议再厉害也没用——因为你根本没去读内存。同样，如果编译器把写操作合并或者延迟了，那这个写操作根本没被发到内存里，其他CPU的缓存自然不会收到更新通知。
READ_ONCE强制每次读都从内存（或者说CPU缓存）获取最新值，让CPU的缓存一致性协议能把其他CPU修改后的最新值同步过来；WRITE_ONCE强制写操作立即发送到内存，触发CPU的缓存失效机制，让其他CPU的对应缓存行失效，下次读的时候就会去拿最新值。
简单说：它们是在编译器层面“打通”了程序和硬件缓存之间的通道，不让编译器的优化挡住硬件的缓存一致性机制。
4. *(volatile __u8_alias_t *) p与(volatile __u8_alias_t *) *p二者之间有何区别？
这俩完全是两种不同的操作，咱拆解来看：
第一个：*(volatile __u8_alias_t *) p
步骤是：
- 把指针
p转换成volatile __u8_alias_t *类型（也就是指向volatile字节类型的指针）； - 解引用这个转换后的指针，也就是读取/写入
p指向的内存地址的内容，操作的是内存数据。
内核里__u8_alias_t是用来解决“严格别名规则”问题的——C语言默认不允许用不同类型的指针访问同一块内存，用这个类型做别名转换，编译器就不会报错，同时volatile确保读写不被优化。比如你想把一个int类型的变量按字节访问，就可以这么写：
int val = 0x12345678; // 读取val的第一个字节（0x78） uint8_t byte = *(volatile __u8_alias_t *)&val;
第二个：(volatile __u8_alias_t *) *p
步骤是：
- 先解引用指针
p，得到p指向的内存里存储的数值； - 把这个数值转换成
volatile __u8_alias_t *类型的指针，也就是把这个数值当作一个内存地址，生成一个指向该地址的指针。
举个例子：如果p是int *类型，指向的内存里存的是0x80001234，那这个表达式的结果就是一个指向0x80001234这个地址的volatile __u8_alias_t *指针，操作的是把数据当作地址来用。
简单总结：第一个是“用字节指针访问p指向的内存”，第二个是“把p指向的数据当作字节指针的地址”，用途完全不同。
内容的提问来源于stack exchange，提问作者Sai
