Linux 内核 : Threading vs Process - task_struct vs thread_info

Question

我读到 Linux 不支持线程或轻量级进程的概念，它认为内核线程与任何其他进程一样。然而，这个原则并没有很准确地反射(reflect)在代码中。我们看到保存进程状态信息的 task_struct(如果错误请纠正我)以及附加到进程内核堆栈底部的 thread_info。

现在的问题是，当 linux 应该像任何其他进程一样解释线程时，为什么代码通过 thread_info 支持独立线程的概念？

请让我知道我在这里遗漏了什么——我是 linux 内核开发的新手。

Answer 1

Linux 中的线程被视为恰好共享某些资源的进程。每个线程都有自己的thread_info(如您所说，位于堆栈底部)和自己的task_struct。我可以想到将它们作为单独的结构进行维护的两个原因。

1. thread_info 依赖于架构。 task_struct 是通用的。
2. thread_info 削减了该进程的内核堆栈大小，因此它应该保持较小。 thread_info 被放置在堆栈的底部作为微优化，可以通过向下舍入堆栈大小来从当前堆栈指针计算其地址，从而节省 CPU 寄存器。