Какие зависимости у Longjmp в основном стеке? ⇐ C++

[Anonymous]

Следующий код пытается создать простой стек -коратину. Он выделяет кадр стека в пространстве кучи, установив регистр RSP, а затем вызывая функцию. После этого он выходит из Coroutine через Longjmp. Однако использование Longjmp в кадре Coroutine (функция CORO_TEST) вызовет сбой, независимо от того, находится ли SETJMP в основном стеке или в стеке COROUTINE. < /P>
это экранинг отладки отладки.

Код: Выделить всё

Before calling SET_RSP

,
[*]

Код: Выделить всё

Before calling coro_test

,
[*]

Код: Выделить всё

Before calling longjmp

,
After calling longjmp< /code>. < /li>
< /ul>
Вот информация о сбое, предоставленная компилятором:
Thread 1 Полученный сигнал Sigsegv, ошибка сегментации.
0x00007ffb431c64a7 в ntdll! Компилятор-GCC 14.2.0 x86_64-W64-Mingw32. < /p>
#include
#include
#include
#include
#include
#include

struct coroutine_context
{
std::jmp_buf exit;

std::size_t stack_memory_size = 0;
std::unique_ptr stack_memory;
std::function coroutine_body;

int value_thoroughfare = 0;
};

#define SET_RSP(new_rsp) \
asm volatile ( \
"mov %0, %%rsp" \
: \
: "r" (new_rsp) \
: "memory" \
)

std::uintptr_t get_stack_base(const coroutine_context& context)
{
const static bool towards_address_LSB = []() -> bool
{
volatile int a;
volatile int b;
return &a > &b;
}();

if(towards_address_LSB)
return (reinterpret_cast(context.stack_memory.get() + context.stack_memory_size) & (~0xF));
else
return (reinterpret_cast(context.stack_memory.get()) & (~0xF)) + 0x10;
}

#if 0
std::jmp_buf coro_jmp_buf;

void coro_test(coroutine_context& context)
{
if(setjmp(coro_jmp_buf) == 0)
// Note: Even if the position where setjmp is called is within a coroutine, longjmp will crash after being called.
std::longjmp(coro_jmp_buf, 1);

context.value_thoroughfare = 114514;
std::longjmp(context.exit, 1);
}
#else
void coro_test(coroutine_context& context)
{
context.value_thoroughfare = 114514;
std::longjmp(context.exit, 1); // The program crashes here.
}
#endif

void create_coroutine_stack_frame(coroutine_context& context)
{
if(setjmp(context.exit))
return;

SET_RSP(get_stack_base(context));
coro_test(context);
}

int main()
{
coroutine_context context;

context.stack_memory_size = 1024 * 16;
context.stack_memory = std::make_unique(1024 * 16);
context.coroutine_body = coro_test;

create_coroutine_stack_frame(context);
std::cout
Теоретически говоря, Setjmp сохраняет только все регистры, в то время как Longjmp только восстанавливает значения всех регистров, сохраненных SetJMP, и не влияет на пространство стека. Пока стек остается нетронутым, Longjmp может прыгать на любую позицию. Однако в этом сценарии, после вызова SET_RSP, все последующие операции стека выполняются в новом стеке, не влияя на основной стек. Но исполнение Longjmp все еще вызывает аварию. Что еще более странно, так это то, что использование Longjmp для прыжков в кораку также вызывает аварию. Если это не имеет особой зависимости от основного стека. Пожалуйста, предложите всеобъемлющую теорию для учета обоих случаев.


Подробнее здесь: https://stackoverflow.com/questions/797 ... main-stack