C-堆栈管理问题

Question

C Runtime以及操作系统内核一般如何处理自己的堆栈。

Answer 1

以 Linux kernel的stack是固定大小的，只有 4k（一个 page 大小），而且在栈的顶端还要维护线程本身的bookkeeper数据，所以能用于返回地址、临时变量、参数的stack不到4k。编程时要注意不要栈溢出。Kernel stack不能被交换出物理内存，因为虚拟内存交换依靠 page fault，而处理 page fault 要用到 kernel stack。Kernel的heap和一般的user space head 没什么太大区别。不过 kernel 不是用一个单一的 heap，而是为每种需要动态分配的数据结构单独开一个 cache。另外kernel的cache是不会被交换的。整个kernel用到的cache都是固定好的页表。Solaris等kernel没有这个限制，它们的kernel mem是swappable的，不过这个特性被 Linux 社区认为价值不大。