Мне захотелось написать свой stack walker. Его я-то написал, но столкнулся с проблемой внедрения возможности считывать регистры стека из другого потока. Моя примерная реализация:
...
if (thrd) {
CONTEXT ctx;
ctx.ContextFlags = CONTEXT_INTEGER;
GetThreadContext(thrd, &ctx);
rbp = ctx.Rbp;
} else {
register uintptr_t _rbp asm("rbp");
rbp = _rbp + 0x480; // добавление
}
...
Если считываем из другого потока, то выделяем место под контекст, а потом считываем. Но только после добавления этого кода все тесты слетели и перестали работать: трассировка просто не выводилась, а они были для текущего потока (т.е. я просто прогнал старые тесты с thrd == 0
). В итоге я пришёл к выводу, что MinGW в прологе функции, которая устанавливает регистры, генерирует след. код:
pushq %rbp
subq $1296, %rsp
leaq 128(%rsp), %rbp
Ожидалось такое:
pushq %rbp
movq %rsp, %rbp
subq ..., %rsp
Он зачем-то приписывает 3-ю строчку, хотя не должен, и RBP получается искажённым. В коде я добавил к его рабочей копии 0x480
, и всё вернулось на круги своя.
3-я строчка возникает только при выделении памяти в стеке под CONTEXT
, в противном случае добавление не требуется.
Я думал, что это какая-то очередная оптимизация или что-то типа того. Вот с какими опциями я компилировал:
-g -shared -fPIC -mwindows -march=x86-64
Включал-выключал -g
— ничего не меняется. Как избавиться от этого leaq
?
#include <windows.h>
#include <stdio.h>
void f() {
CONTEXT a;
CONTEXT b;
register uintptr_t rbp asm("rbp");
printf("rbp: %p *rbp: %p\n", rbp, *(void **)rbp);
}
int main() {
f();
}
Вот вам такой же пример: комментируете строчки с выделением памяти в стеке под контексты, и получаете разный вывод.
Только если закомментить оба контекста *rbp
будет находится в районе стека, в остальных случаях он равен какому-то мусору.
Вывод
rbp: 000000000061FDF0 *rbp: 000000000061FE20 // закомменчены оба
rbp: 000000000061F980 *rbp: 0000000000702520 // закомменчен 1
rbp: 000000000061F4B0 *rbp: 0000000000060000 // ни один не закомменчен
Вопросы с просьбами помочь с отладкой
- я не прошу помочь с отладкой, я прошу помочь с причиной, как мне кажется, неправильного поведения компилятора. я привёл пример, в котором описано, при каких условиях компилятор так себя ведёт. я не прошу помочь с отладкой: я сам уже узнал, в чём проблема (в общем случае, скорее всего, корнем проблемы является большое выделение памяти в стеке). я спрашиваю, как эту проблему решить.