Linux内核中的current_thread_info（）内联函数？

Question

我了解到 thread_info 存储在堆栈的底部。 在查看内核源代码时，我试图了解如何在 linux 内核中获取当前的 thread_info？
下面的源码是current_stack_pointer的13bits masking。

这是我无法得到的。 我不明白 thread_info 的位置发生了变化。 为什么是当前栈指针而不是栈的开始？

请帮助我理解这段代码

/* * 如何在 C 中获取当前堆栈指针 */ 注册 unsigned long current_stack_pointer asm ("sp"); /* * 如何从 C 中获取线程信息结构体 */ 静态内联结构 thread_info *current_thread_info(void) __attribute_const__; 静态内联结构 thread_info *current_thread_info(void) { 返回（结构线程信息*） (current_stack_pointer & ~(THREAD_SIZE - 1)); }

Answer 1

为什么是当前栈指针而不是栈首？

您始终可以从平台特定的堆栈指针获取当前堆栈指针 注册，但你不能轻易找到堆栈的开始 - 它不在那里。

为此，您可以限制线程堆栈在内存中的位置：堆栈在内存中始终按其大小保持对齐，并且其大小始终是 2 的幂。这样，如果堆栈大小为 2^n，则将较低的 n 归零会为您提供堆栈的开始。

在现代 Linux 堆栈中通常为 8 KiB，并且始终以 8 KiB 对齐（其地址的低 13 位始终为 0）。将当前堆栈指针的低 13 位清零即可开始堆栈。

这正是表达式current_stack_pointer & ~(THREAD_SIZE - 1) 所做的：查找当前堆栈的开始。这并不意味着struct thread_info 会在内存中移动——它不会。即使堆栈指针发生变化，将低位清零也会在线程中为您提供相同的值。这就是为什么它也被标记为__attribute_const__，它扩展为__attribute__((const))，并告诉GCC这个函数总是返回相同的值，因此可以省略对该函数的多次调用。

---

PS：随着堆栈向下增长，“当前堆栈的开始”是指最低地址。