我的问题的起源实际上源于想要在支持用户提供堆栈的 Windows 上提供 pthreads 的实现。具体来说，pthread_attr_setstack 应该做一些有意义的事情。我的实际要求比这要复杂一些，但这足以满足本文的目的。

没有公共(public) Win API 可以在 Fiber 或 Thread API 中提供堆栈。我四处寻找偷偷摸摸的后门、变通办法和黑客，没有任何进展。事实上，我查看了 winpthread 源代码以获得灵感，它忽略了提供给 pthread_attr_setstack 的任何堆栈。

相反，我尝试了以下“解决方案”以查看它是否可行。我使用 ConvertThreadToFiber、CreateFiberEx 和 SwitchToFiber 的常规组合创建了一个 Fiber。在 CreateFiberEx 中，我提供了最小堆栈大小。然后在纤程的入口点为堆栈分配内存，适当更改 TIB 字段:“Stack Base”和“Stack Limit”(参见此处:http://en.wikipedia.org/wiki/Win32_Thread_Information_Block)，然后将 ESP 设置为堆栈的高地址。

(在实际情况下，我会设置比这更好的堆栈并更改 EIP，以便此步骤的行为更像 posix 函数 swapcontext，但你明白了)。

如果我在这个不同的堆栈上进行任何操作系统调用，那么我就完蛋了(例如 printf 死了)。然而这对我来说不是问题。我可以确保我永远不会在我的自定义堆栈上进行 sure 调用(因此我说我的实际要求有点复杂)。除了...我需要异常(exception)才能工作。而他们没有!具体来说，如果我尝试在修改后的堆栈上抛出并捕获异常，那么我会得到一个断言

Unhandled exception at 0xXXXXXXXX ....

所以我的(模糊的)问题是，是否有人对异常和自定义堆栈如何不能很好地协同工作有任何见解？我很欣赏这完全不受支持并且可以愉快地除了零响应或“走开”。事实上，我几乎已经决定我需要一个不同的解决方案，尽管这涉及妥协，但我很可能会使用一个。但是，好奇心战胜了我，所以我想知道为什么这行不通。

在相关说明中，我想知道 Cygwin 如何为 ucontext 处理这个问题。来源在这里http://szupervigyor.ddsi.hu/source/in/openjdk-6-6b18-1.8.13/cacao-0.99.4/src/vm/jit/i386/cygwin/ucontext.c使用GetThreadContext/SetThreadContext实现ucontext。但是，从实验中我发现，当从新上下文中抛出异常时，这也会失败。事实上，SetThreadContext 调用甚至不会更新 TIB block !

编辑(基于@avakar 的回答)

下面的代码与您的代码非常相似，演示了同样的失败。不同之处在于我不启动第二个线程挂起而是挂起它然后尝试更改上下文。当在 foo 中命中 try-catch block 时，这段代码展示了我所描述的错误。也许这根本不合法。一件值得注意的事情是，在这种情况下，TIB 的 ExceptionList 成员在调用 modifyThreadContext 时是一个有效指针，而在您的示例中它是 -1。手动编辑它没有帮助。

如我对您的回答的评论中所述。这不是我所需要的。我想从我当前所在的线程切换上下文。但是，SetThreadContext 的文档警告不要在事件线程上调用它。所以我猜如果下面的代码不起作用那么我就没有机会让它在单个线程上工作。

namespace
{
HANDLE ghSemaphore = 0;

void foo()
{
    try
    {
        throw 6;
    }
    catch(...){}

    ExitThread(0);
}

void modifyThreadContext(HANDLE thread)
{
    typedef NTSTATUS WINAPI NtQueryInformationThread_t(HANDLE ThreadHandle, DWORD ThreadInformationClass, PVOID ThreadInformation, ULONG ThreadInformationLength, PULONG ReturnLength);

    HMODULE hNtdll = LoadLibraryW(L"ntdll.dll");
    auto NtQueryInformationThread = (NtQueryInformationThread_t *)GetProcAddress(hNtdll, "NtQueryInformationThread");

    DWORD stackSize = 1024 * 1024;
    void * mystack = VirtualAlloc(0, stackSize, MEM_COMMIT, PAGE_READWRITE);

    DWORD threadInfo[7];
    NtQueryInformationThread(thread, 0, threadInfo, sizeof threadInfo, 0);

    NT_TIB * tib = (NT_TIB *)threadInfo[1];

    CONTEXT ctx = {};
    ctx.ContextFlags = CONTEXT_ALL;
    GetThreadContext(thread, &ctx);

    ctx.Esp = (DWORD)mystack + stackSize - ((DWORD)tib->StackBase - ctx.Esp);
    ctx.Eip = (DWORD)&foo;
    tib->StackBase = (PVOID)((DWORD)mystack + stackSize);
    tib->StackLimit = (PVOID)((DWORD)mystack);
    SetThreadContext(thread, &ctx);
}

DWORD CALLBACK threadMain(LPVOID)
{
    ReleaseSemaphore(ghSemaphore, 1, NULL);
    while (1)
        Sleep(10000);
    // Never gets here
    return 1;
}
} // namespace

int main()
{
    ghSemaphore = CreateSemaphore(NULL, 0, 1, NULL);
    HANDLE th = CreateThread(0, 0, threadMain, 0, 0, 0);

    while (WaitForSingleObject(ghSemaphore, INFINITE) != WAIT_OBJECT_0);

    SuspendThread(th);

    modifyThreadContext(th);
    ResumeThread(th);

    while (WaitForSingleObject(th, 10) != WAIT_OBJECT_0);

    return 0;
}

最佳答案

异常和 printf 都对我有用，我不明白为什么它们不应该。如果您发布代码，我们可以尝试查明发生了什么。

#include <windows.h>
#include <stdio.h>

DWORD CALLBACK ThreadProc(LPVOID)
{
    try
    {
        throw 1;
    }
    catch (int i)
    {
        printf("%d\n", i);
    }
    return 0;
}

typedef NTSTATUS WINAPI NtQueryInformationThread_t(HANDLE ThreadHandle, DWORD ThreadInformationClass, PVOID ThreadInformation, ULONG ThreadInformationLength, PULONG ReturnLength);

int main()
{
    HMODULE hNtdll = LoadLibraryW(L"ntdll.dll");
    auto NtQueryInformationThread = (NtQueryInformationThread_t *)GetProcAddress(hNtdll, "NtQueryInformationThread");

    DWORD stackSize = 1024 * 1024;
    void * mystack = VirtualAlloc(0, stackSize, MEM_COMMIT, PAGE_READWRITE);

    DWORD dwThreadId;
    HANDLE hThread = CreateThread(0, 0, &ThreadProc, 0, CREATE_SUSPENDED, &dwThreadId);

    DWORD threadInfo[7];
    NtQueryInformationThread(hThread, 0, threadInfo, sizeof threadInfo, 0);

    NT_TIB * tib = (NT_TIB *)threadInfo[1];

    CONTEXT ctx = {};
    ctx.ContextFlags = CONTEXT_ALL;
    GetThreadContext(hThread, &ctx);

    ctx.Esp = (DWORD)mystack + stackSize - ((DWORD)tib->StackBase - ctx.Esp);
    tib->StackBase = (PVOID)((DWORD)mystack + stackSize);
    tib->StackLimit = (PVOID)((DWORD)mystack);
    SetThreadContext(hThread, &ctx);

    ResumeThread(hThread);
    WaitForSingleObject(hThread, INFINITE);
}

关于c++ - 在 Windows、TIB 和异常上修改堆栈，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/30725276/