Golang+CGO使用ucontext不同栈时崩溃异常问题求助

为什么会触发morestack？ #

• Go运行时对线程栈有严格的归属管理，线程启动时的栈会被Go runtime标记为合法栈空间，但堆分配的栈不在Go的栈管理体系内，Go runtime无法识别它。
• 空指针访问触发SIGSEGV后，Go的信号处理逻辑会接管该信号。在进入runtime.sigpanic前，它会检查当前执行栈是否为Go管理的合法栈。当发现是堆分配的陌生栈时，Go会误判为当前栈空间不足，试图调用morestack_noctxt扩展栈空间。
• 但堆栈不是Go可控的栈结构，morestack_noctxt无法完成扩栈操作，直接触发SIGTRAP陷阱信号。而纯C程序没有Go这套信号处理逻辑，只会触发标准SIGSEGV；用线程栈时，Go能识别这是合法栈，不会触发扩栈流程，因此仅产生SIGSEGV。

修复方案（仅得到SIGSEGV） #

• 优先使用线程栈：如果业务场景允许，直接给ucontext使用线程栈，完全符合Go的栈管理规则，异常时只会触发SIGSEGV。
• 在C层拦截SIGSEGV：在ucontext绑定的C函数开头，用sigaction将SIGSEGV的处理函数注册为C默认处理函数（SIG_DFL），这样空指针触发的SIGSEGV会直接由C的默认逻辑处理，不会进入Go的信号处理链，也就不会触发morestack_noctxt。若后续需要恢复Go的信号处理，可在函数退出前重新注册。
• 用C的异常捕获终止进程：在ucontext的执行逻辑中，用setjmp/longjmp提前捕获异常场景，一旦检测到空指针访问（或直接在信号处理函数中）调用exit()终止进程，不让Go runtime有介入的机会。

内容的提问来源于stack exchange，提问作者zzkcode