为何Linux的mutex_waiter结构体创建于内核栈？相关内核栈疑问

核心结论 #

• 每个线程（包括进程的主线程）都拥有独立的内核栈，不存在跨线程/进程共享的情况，内核栈也不是分配在内核堆上的。
• 所有线程的内核栈都映射到全局内核虚拟地址空间，内核态下可以直接访问任意线程内核栈的虚拟地址，因此能把不同栈上的mutex_waiter节点链接成列表。

详细解释 #

1. 内核栈的独立性 #

Linux中，每个线程（无论是用户态线程还是内核线程）都会被分配一块独立的内存区域作为内核栈（x86架构下通常是8KB或16KB）。这块内存是线程私有的：

• 线程切换时，CPU的栈指针（%rsp/%esp）会切换到当前线程的内核栈地址；
• 线程退出时，对应的内核栈会被释放回收。

2. 内核虚拟地址空间的全局可见性 #

用户态进程有独立的虚拟地址空间，但进入内核态后，所有线程共享同一个内核虚拟地址空间：

• 每个线程的内核栈会被映射到内核虚拟地址空间的固定区域（比如x86_64上，内核栈通常位于THREAD_SIZE对齐的地址范围）；
• 内核中的代码可以直接通过虚拟地址访问任意线程的内核栈内存，不需要考虑地址空间隔离——因为内核态下没有地址空间切换的限制。

3. mutex_waiter节点的链接逻辑 #

当线程调用mutex_lock陷入等待时，会在自己的内核栈上创建mutex_waiter结构体（作为局部变量），然后执行以下操作：

1. 初始化mutex_waiter中的链表节点（list_head结构）；
2. 通过原子操作将该节点添加到互斥锁的wait_list链表尾部；
3. 调用调度器进入睡眠状态。

因为mutex_waiter的虚拟地址在内核地址空间是全局可达的，所以互斥锁的wait_list链表可以顺利把不同线程栈上的节点串起来。当持有锁的线程释放锁时，内核会遍历wait_list，找到下一个等待线程，通过其内核栈上的mutex_waiter节点唤醒它，并把锁的所有权转移过去。

补充源码参考方向 #

如果你想从源码层面验证，可以重点关注以下几个部分：

• struct mutex_waiter的定义：位于include/linux/mutex.h；
• 互斥锁等待队列的添加逻辑：mutex_lock调用链最终会走到__mutex_lock_slowpath，其中包含mutex_wait函数，负责创建并添加mutex_waiter节点；
• 内核栈的分配：线程创建时通过alloc_thread_stack_node等函数完成，栈的地址范围可以通过current->stack查看（current是指向当前线程task_struct的宏）。

内容的提问来源于stack exchange，提问作者Yijue Xu