Зачем звонить в Longjmp в стеке без мании, заставляет программу сбой? ⇐ C++

[Anonymous]

Следующий код пытается создать простой стек -коратину. Он выделяет кадр стека в пространстве кучи, установив регистр RSP, а затем вызывая функцию. После этого он выходит из Coroutine через Longjmp. Тем не менее, использование Longjmp в кадре COROUTINE (функция CORO_TEST) вызовет сбой, независимо от того, находится ли SETJMP в основном стеке или в стеке COROUTIN Регистры, сохраненные SetJmp. Следовательно, они могут быть использованы для переключения кадров стека в коратиках. Эта точка неверна? Если это неправильно, пожалуйста, укажите его. x86_64-w64-mingw32.#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

Подробнее здесь: https://stackoverflow.com/questions/797 ... m-to-crash