Linux内核：当前的宏工作

Question

关于Linux内核中当前宏的工作（我指的是ARM体系结构）

当前宏的代码：

return (struct thread_info *)(sp & ~(THREAD_SIZE - 1));

这意味着struct thread_info位于堆栈的顶部？

这是来自linux Kernel开发的第3版：

struct thread_info位于堆栈的底部（对于向下增长的堆栈）和堆栈顶部（对于成长的堆栈）。

如何通过覆盖来阻止这个struct thread_info ？

Answer 1

THREAD_SIZE是一个幂为2的常量，它给出了为线程堆栈分配的内存量。

• 表达式~(THREAD_SIZE - 1)然后给出一个位掩码来删除实际的堆栈地址。 例如。 对于8 kB堆栈，它将是0xffffff00。

通过按位并使用堆栈指针值， 我们得到为堆栈分配的最低地址 。

堆栈指针对于获取线程信息很有用，因为每个线程总是有自己的堆栈。

Answer 2

它不受保护，不会被超限。

如果堆栈变得太大（堆栈溢出），它首先超出的是`struct thread_info，这很快会导致各种令人讨厌的失败。

因此在编写内核代码时，尽量使用尽可能少的堆栈空间，以避免溢出。

Answer 3

指向线程struct thread_info指针放在内存的底部，该内存是为线程的内核堆栈保留的。 （每个线程都需要自己的堆栈，因此保证堆栈指针的值对于每个线程都是唯一的。）

没有特殊的保护机制来防止覆盖此指针，除了内核代码不占用太多空间（并且中断被切换到它们自己的堆栈）这一事实。