thread_info问题

embeddedlwp

ULK3(中文) P91 上说：“如果thread_union结构长度是8K(2^13字节)，则内核屏蔽掉esp的底13位有效位就可以获得thread_info结构的基地址；而如果thread_union结构长度是4K，内核需要屏蔽esp的低12位有效位”从图中看，这个是8K的，屏蔽掉低12位就可以得到thread_info结构的基地址。与书上不一样阿，还是我理解有问题，请指点！

jwwzhh

你仔细看一下，图中它是屏蔽掉13位的。
0x015fbfff & (~(1<<13))=0x015fbfff & (~(1fff))=0x015fbfff  & 0xffffe000=0x015fa000

jwwzhh

楼主，你对内核研究的比较深厚。我现在也在研究内核，我是直接看源代码的，有空大家可以交流交流。

embeddedlwp

回复 2# jwwzhh


    呵呵，偶新手！ 那个esp是指向栈顶的，即0x015fa878，书上也是这么说的！

jwwzhh

是的，esp是指向栈顶的，这里的值是0x015fa878，注意esp的值是堆栈指针，它随着函数的调用会改变的，现在刚好是0x015fa878，比如，由于函数返回，堆栈退出，0x015fbXXX处了，这时，如果你用4K对齐就发现出错了，必须是8K对齐了。

embeddedlwp

回复 5# jwwzhh


    这个图是进程的内核栈，图上标的应该是物理地址，如果将图上4个数改一下，0x015fafff,0x015fa000,0x015f9878,0x015f9000。0x015f9878屏蔽低13位0x015f8000，请指教！

asuka2001

回复 1# embeddedlwp

屏蔽12位就可以得到thread_union的地址只是个巧合而已。

图上因为栈向下增长的比较多，栈比较满，已经让esp与thread_union的地址再一个页内了，所以你4KB对齐肯定可以得到thread_union的地址。不过你自己试试，这个时候进行8kb对齐同样能获得thread_union的地址。

当栈比较空的时候，esp与thread_union可以不在一个页内，你肯定得8kb对齐才行。所以，4KB对齐只是特殊情况，你得采用普遍情况下的8KB对齐才行。

embeddedlwp

回复 7# asuka2001


    那么这个8KB的情况，书上应该分两种情况讨论了，如果esp与thread_info在一个页框，如果不在一个页框。否则6楼例举的数据无法成立，嘿嘿！

asuka2001

回复 8# embeddedlwp

内核在分配内核栈时肯定是有要求的，如果thread_union是8KB大小，那么应该会让它在8KB边界上对齐。。。所以你的举例应该不存在。0x015f9000起始的页不满足8KB对齐的要求，内核不会分配这个页和下一页作为thread_union。

embeddedlwp

回复 9# asuka2001


    多谢！