本文深入剖析Linux内核内存管理中slab_alloc_node的关键代码，探讨transaction id的重要性和barrier的作用。讲解了如何保证线程栈局部变量tid与内核数据的一致性，以及为何必须先写tid以防止并发问题导致的数据不一致。
内核per-cpu变量是没那么简单的一件事情，这和per-thread即thread local data完全是两个概念！！
核心代码片段
transaction id的重要作用
以及 L2521 注释
cmpxchg的每个CPU core上的每次操作都有唯一的tid来标识
准备工作 L2504-L2507
保证线程栈局部变量 tid 和 c是一致的，
可能不一致的原因：
- 当前线程thread1可能会被thread2抢占，而thread2恰好在当前CPU上执行了slab_alloc_node，那么s->cpu_slab->tid将被更新
- 当前线程thread1执行了L2505赋值tid之后，可能迁移到其他CPU上去执行， L2495-L2502的注释就是在说这事！！
最低0.47元/天 解锁文章
292
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
