Nothing Is Secret

从_chkstk说起，谈谈用户栈的管理

上周在XP系统上测试一个驱动的时候，发现驱动加载不上，“net start”命令只是给出一个无意义的错误代码，驱动的DriverEntry()入口程序还没有得到机会运行。

初步怀疑是引入函数的问题，用WDK工具Depends.exe查看了一下驱动文件，果然是由于_chkstk函数无法解析所导致。

_chkstk是个微软C编译器的辅助库函数，MSDN上对其介绍十分简略：

_chkstk Routine is a helper routine for the C compiler. For x86 compilers, _chkstk Routine is called when the local variables exceed 4096 bytes; for x64 compilers it is 8K.

当编译器察觉到局部变量太大超过限值时（X86系统限值是4K，X64t系统上是8K）, 编译器会自动插入_chkstk这个函数以保证栈空间所使用页面在内存中。

问题是发现了，但要查出来究竟在哪个函数中还是要费些心思的。从用户层移植过来不少代码，基本锁定问题出在其中，但如果一个函数一个函数寻找实在是个不讨巧的笨办法，也不符合程序人的一贯风格，便用IDA反编译驱动sys文件，于汇编代码中搜索_chkstk字串，直接锁定出了问题函数。此函数所使用的一个结构体中定义了超大数组，对栈的超常使用在内核中是相当危险的。

解决办法很简单，直接将此结构的定义放在一个从内存分配的结构中即可。问题虽已解决，但对于DDK中有关_chkstk的描述，及其相关的疑问一直让我觉得困扰，比如，为什么X86上是4K，而AMD64架构上可以是8K。

这两天终于有了时间，可以彻底地了结这个疑问了。

要想解决这个问题，还要先从用户栈的分配开始。以ReactOS代码为例，当线程创建时，CreateThread()会调用BasepCreateStack()来创建用户栈，具体可以参见ReactOS源码：
~/ReactOS/lib/kernel32/misc/utils.c。

BasepCreateStack()函数主要做三件事：

  1. 1，分配栈空间所需的虚拟内存，大小为Stack Reserve Size
  2. 2，根据Stack Commit Size锁定内存页面，如果Stack Commit Size小于Stack Reserve Size的话，需要增加一个Page，这个额外申请的Page用作Guard Page之用。
  3. 3，将栈底部的Page设定为Guard Page。

当用户栈被用尽时，会访问到栈底部的Guard Page。而对Guard Page的任何访问都会导致Page Fault的发生。Page Fault处理函数MmAccessFault()可以分析出此次Page Fault是由Guard Page导致，便会默认由用户栈处理程序MiCheckForUserStackOverflow()来处理。如果用户栈并没有溢出的话，即Stack Commit Size小于Stack Reserve Size的情况，MiCheckForUserStackOverflow()会自动向下扩展栈空间，扩展大小为GUARD_PAGE_SIZE。 GUARD_PAGE_SIZE针对不同的CPU架构有不同的定义：
X64:  #define GUARD_PAGE_SIZE   (PAGE_SIZE * 2)
X86:  #define GUARD_PAGE_SIZE   PAGE_SIZE

这里便解释了为什么X86系统上的限制是4K(即PAGE_SIZE)，而X64上却为8K的原因。

说到此处，该是解答_chkstk()倒底是干什么的时候了。Visual Studio中有_chkstk的源码，以x86为例：

输入参数eax是所需堆栈大小（字节）
labelP  _chkstk,       PUBLIC

        push    ecx                          ; save ecx
        cmp     eax,_PAGESIZE_     ; more than one page requested?
        lea     ecx,[esp] + 8           ;   compute new stack pointer in ecx
                                                   ;   correct for return address and
                                                   ;   saved ecx
        jb      short lastpage           ; no

;------------

probepages:
        sub     ecx,_PAGESIZE_          ; yes, move down a page
        sub     eax,_PAGESIZE_          ; adjust request and...

        test    dword ptr [ecx],eax     ; ...probe it  (如果是guard page，刚会导致page fault，最终用户栈
                                                        ;  将向下扩展一个页面)

        cmp     eax,_PAGESIZE_          ; more than one page requested?
        jae     short probepages          ; no

lastpage:
        sub     ecx,eax                  ; move stack down by eax
        mov     eax,esp                 ; save current tos and do a...

        test    dword ptr [ecx],eax     ; ...probe in case a page was crossed
                                                        ;  调用函数将要访问的堆栈底部 ，如果此页面为guard page，同
                                                        ;  样会导致用户栈的向下延伸

        mov     esp,ecx                        ; set the new stack pointer
                                                        ; 向下更改栈指针，其上直到原ESP的栈空间为调用函数局部变量

        mov     ecx,dword ptr [eax]     ; recover ecx
        mov     eax,dword ptr [eax + 4] ; recover return address
                                                            ; 将返回地址(调用函数中)放入eax

        push    eax                     ; prepare return address
                                              ; 将返回地址(调用函数中)放入当前栈中，准备返回

                                              ; ...probe in case a page was crossed
        ret

        end

_chkstk()的主要作用是保证栈向下连续的生长。如果没有_chkstk()，当局部变量太多并超过guard page下沿时，若再有压栈操作，将会导致Access violation错误。因为此时堆栈内存页面无效，压栈直接将导致page fault的发生，而page fault处理程序因不能识别此fault的发生原因从而不能做出正确判断和有效处理。

相对用户层，内核程序的处理则相当简单，就如Win7内核中_chkstk实际上就是个空函数。其原因就是内核线程的栈空间是固定的。其取值针对X86及X64架构亦有所不同：
X64： #define KERNEL_STACK_SIZE 0x6000   /* 6个内存页面 */
X86： #define KERNEL_STACK_SIZE 12288    /* 3个内存页面 */

内核中栈资源非常紧缺，并驱动程序的编写有较高的要求，特别是有递归的情况下，一定要注意嵌套的层数，否则很容易收到M$发来的蓝屏。

Windows内核中其实还有一种大堆栈机制，以确保一些对堆栈较高消耗的特殊情况能够得到满足，但这部分完全是黑箱，对用户不可见，不是常见情况，此处不再多述。

参考资料：
1, http://support.microsoft.com/kb/100775/en
2, http://msdn.microsoft.com/en-us/library/ms648426(v=vs.85).aspx
3, http://www.reactos.org  ReactOS源码

16,239 条评论

  4. 1C-Bitrix: Управление сайтом — редакция Стандарт — это мощная платформа для создания и управления корпоративными сайтами. Переходите по запросу 1С Битрикс Стандарт. Подходит для компаний, которым нужен функциональный сайт с каталогом, формами, SEO-инструментами и удобной системой администрирования. Решение обеспечивает высокую безопасность, производительность и гибкость масштабирования бизнеса в интернете.

  5. 1C-Bitrix: Управление сайтом — редакция Стандарт — это мощная платформа для создания и управления корпоративными сайтами. Переходите по запросу лицензия Битрикс Стандарт цена. Подходит для компаний, которым нужен функциональный сайт с каталогом, формами, SEO-инструментами и удобной системой администрирования. Решение обеспечивает высокую безопасность, производительность и гибкость масштабирования бизнеса в интернете.

  8. A fascinating discussion is worth comment. I believe that you need to write more about this topic, it may not be a taboo subject but usually folks don’t talk about such topics. To the next! Kind regards!!

  9. Санитарные системы https://bio-ecopro.ru для мероприятий и стройплощадок — аренда мобильных туалетов, умывальников и санитарных модулей. Доставка, обслуживание и вывоз. Надежные решения для фестивалей, концертов, стройки и массовых событий.

  10. Проверенные адвокаты Москвы https://isk1.ru квалифицированная юридическая помощь и защита в суде. Решение сложных правовых споров, сопровождение дел и профессиональный подход к каждому клиенту для достижения результата.

  11. Менопауза и перименопауза https://menopower.ru симптомы, приливы и гормональные изменения. Полезные советы для женщин 45+, рекомендации по здоровью, образу жизни и управлению финансами для комфортного прохождения этого периода.

  12. Компания DARKLUM https://darklum.ru/catalogue предлагает широкий ассортимент светодиодных светильников различного назначения для коммерческих и жилых помещений как внутреннего, так и уличного освещения. В каталоге представлено более 5 000 моделей различных форм-факторов, среди которых Вы без труда сможете выбрать оптимальный вариант.

  13. Промокод Пятёрочка доставка http://reporter63.ru/content/view/785017/promokod-pyaterochka-dostavka-vygodnye-vozmozhnosti-dlya-pokupok-onlajn актуальные скидки и купоны на заказ продуктов онлайн. Получайте выгодные предложения, снижайте стоимость доставки и экономьте на покупках в Пятёрочке с рабочими промокодами.

  14. Битрикс: Управление сайтом Малый Бизнес — функциональная редакция CMS для создания интернет-магазинов и коммерческих проектов. Переходите по запросу 1С Битрикс управление сайтом Малый Бизнес купить. Система включает каталог товаров, корзину, онлайн-оплаты, маркетинговые инструменты и интеграцию с 1С. Решение подходит для компаний, которым нужен надежный и масштабируемый сайт с возможностью расширения функционала через модули и интеграции.

  15. PUPIL OF FATE MOTORS https://auto.ae/pupiloffatemotors автосалон премиум авто в Дубае. Продажа роскошных автомобилей, эксклюзивные модели и индивидуальный подбор. Помогаем выбрать, оформить и доставить авто с гарантией качества и высоким уровнем сервиса.

  16. Эко-бытовая химия http://reporter63.ru/content/view/784903/himiya-dlya-uborki-sekrety-effektivnosti-i-bezopasnosti в Санкт-Петербурге — средства для уборки без вредных компонентов. Эффективная очистка, безопасность для здоровья и окружающей среды. Широкий ассортимент и доставка по городу.

  19. Modern ground fault sensor monitor the condition of electrical networks and protect equipment. They offer rapid fault detection, high accuracy, and reliability for industrial applications.

  20. PUPIL OF FATE MOTORS https://auto.ae/pupiloffatemotors автосалон премиум авто в Дубае. Продажа роскошных автомобилей, эксклюзивные модели и индивидуальный подбор. Помогаем выбрать, оформить и доставить авто с гарантией качества и высоким уровнем сервиса.

  21. Эко-бытовая химия http://reporter63.ru/content/view/784903/himiya-dlya-uborki-sekrety-effektivnosti-i-bezopasnosti в Санкт-Петербурге — средства для уборки без вредных компонентов. Эффективная очистка, безопасность для здоровья и окружающей среды. Широкий ассортимент и доставка по городу.

  23. Купить стройматериалы https://stroyrostov161.ru в Ростове-на-Дону: широкий выбор сыпучих и строительных материалов, включая щебень, песок, цемент, штукатурку и шпатлевку. Быстрая доставка и доступные цены для вашего объекта.

  24. Заборы под ключ https://dachnie-zabory.ru в Москве и области — изготовление и установка ограждений для дома и участка. Профнастил, штакетник, сетка рабица и 3D заборы. Замер, доставка и монтаж с гарантией качества и соблюдением сроков.

  25. Modern ground fault sensor monitor the condition of electrical networks and protect equipment. They offer rapid fault detection, high accuracy, and reliability for industrial applications.

  26. Наткнулся на интересный материал про SEO — там его называют искусством и наукой видимости. Автор рассказывает про техническую оптимизацию, контент и линкбилдинг. Есть мысли про будущие тренды. Рекомендую: https://loveloveme.ru/seo-prodvizhenie-sajta-iskusstvo-i-nauka-vidimosti-v-cifrovom-mire/

  27. I pay a visit every day a few websites and information sites to read articles or reviews, however this webpage offers quality based posts.

  28. Битрикс: Управление сайтом Малый Бизнес — функциональная редакция CMS для создания интернет-магазинов и коммерческих проектов. Переходите по запросу Битрикс Малый Бизнес что входит. Система включает каталог товаров, корзину, онлайн-оплаты, маркетинговые инструменты и интеграцию с 1С. Решение подходит для компаний, которым нужен надежный и масштабируемый сайт с возможностью расширения функционала через модули и интеграции.

  29. Битрикс: Управление сайтом Малый Бизнес — функциональная редакция CMS для создания интернет-магазинов и коммерческих проектов. Переходите по запросу cms 1С Битрикс Малый Бизнес. Система включает каталог товаров, корзину, онлайн-оплаты, маркетинговые инструменты и интеграцию с 1С. Решение подходит для компаний, которым нужен надежный и масштабируемый сайт с возможностью расширения функционала через модули и интеграции.

  30. It’s hard to find well-informed people for this topic, however, you sound like you know what you’re talking about! Thanks

  31. I have learn a few good stuff here. Definitely value bookmarking for revisiting. I surprise how a lot effort you set to make this sort of wonderful informative website.

  39. An outstanding share! I have just forwarded this onto a co-worker who has been doing a little homework
    on this. And he in fact ordered me lunch simply because I discovered it for him…
    lol. So let me reword this…. Thanks for the meal!!
    But yeah, thanks for spending the time to talk about this subject
    here on your web page.

  40. I used to be recommended this blog through my cousin. I am now not positive whether or not this submit is written by means of him as no one else realize such detailed about my difficulty. You are wonderful! Thank you!

  41. Hey there I am so happy I found your site, I really found
    you by error, while I was searching on Yahoo for something
    else, Anyways I am here now and would just
    like to say thanks a lot for a fantastic post and a all round exciting
    blog (I also love the theme/design), I don’t have time to look over it all
    at the moment but I have saved it and also added your RSS feeds, so when I have
    time I will be back to read a great deal more, Please do keep
    up the excellent work.

  42. Heya i am for the first time here. I came across this board and I find It truly useful & it helped me out a lot. I hope to give something back and aid others like you helped me.

  43. Продвижение сообщества или страницы во ВКонтакте с помощью привлечения подписчиков. Услуга помогает быстро увеличить аудиторию, повысить активность и доверие к группе или профилю. Переходите по запросу подписчики в контакте. Возможна накрутка живых и заинтересованных пользователей, что улучшает видимость сообщества, помогает быстрее развивать бренд, проекты и продажи. Подходит для групп, пабликов и личных страниц.

  50. Продвижение сообщества или страницы во ВКонтакте с помощью привлечения подписчиков. Услуга помогает быстро увеличить аудиторию, повысить активность и доверие к группе или профилю. Переходите по запросу живые подписчики вконтакте. Возможна накрутка живых и заинтересованных пользователей, что улучшает видимость сообщества, помогает быстрее развивать бренд, проекты и продажи. Подходит для групп, пабликов и личных страниц.

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注