c++ - 休眠/重启线程

Question

我正在寻找一种重新启动线程的方法，无论是从该线程的上下文内部还是从线程外部，可能是从另一个进程中。 (这些选项中的任何一个都可以。)我知道使整个进程休眠的困难，而且我很确定线程也会遇到同样的困难。但是，我还是要问，希望有人有一些见解。

我的目标是暂停、保存到文件并从其确切的上下文重新启动正在运行的线程，而不修改该线程的代码，或者更确切地说，只修改一小部分 - 即，我不能去编写序列化函数在整个代码中。主要代码块必须是未修改的，并且不会有任何全局/系统句柄(文件句柄、套接字、互斥量等)。不需要保存像 CPU 寄存器这样的低级细节；但基本上应该保存堆、堆栈和程序计数器，以及使线程从其保存点逻辑上正确地再次运行所需的任何其他内容。无论是否保存，程序的结果状态应该没有什么不同。

这是针对高可靠性软件的调试程序；目标是使用各种输入脚本运行软件模拟，并能够暂停正在运行的模拟，然后稍后重新启动 - 或者将 sim 移动到分支点，保存它，制作大量拷贝，然后进一步运行从共同的起点模拟。这就是为什么不能修改主程序的原因。

主线程语言是 C++，应该可以在 Windows 和 Linux 上运行，但是如果有办法只在一个系统上执行此操作，那也是可以接受的。

提前致谢。

Answer 1

我想你问的比你想象的要复杂得多。我不太熟悉 Windows 编程，但以下是您在 Linux 中会遇到的一些困难。

保存的线程只能从最初生成线程的根进程中恢复，否则动态库将被破坏。因为这种保存到磁盘本质上是没有意义的。原因是动态库每次加载时都加载到不同的地址。解决这个问题的唯一方法是完全控制动态链接，这是一个不小的壮举。这是可能的，但非常可怕。

挂起的线程将在堆中有变量。您需要能够找到线程“拥有”的所有全局变量。无法确定堆中任何一 block 的“拥有”状态。将来可能会使用 C++0x 的垃圾收集 ABI。您不能假设整个堆栈都属于要暂停的线程。主线程在创建线程时使用堆。因此，在反序列化暂停的线程时清除堆会破坏主线程。

您需要解决全局变量的问题。而不仅仅是在线程中创建的全局变量。全局(或静态)可以并且经常在动态库中创建。

程序的资源不仅仅是内存。您有文件句柄、网络套接字、数据库连接等。文件句柄只是一个数字。如果没有打开文件的进程的上下文，序列化其内存是完全没有意义的。

说了这么多。我不认为核心问题是不可能的，只是你应该考虑一个不同的方法。

无论如何，要尝试实现这一点，要暂停的线程需要处于已知状态。我想象要停止的线程会调用一个库函数，这意味着停止进程以便它可以恢复。

我认为 linux 系统调用 fork 是你的 friend 。 Fork 完美地复制了一个过程。让系统运行到所需的点和叉。一个 fork 等待 fork 其他人。第二个分支运行一组输入。

一旦完成，第一个 fork 就可以再次使用。同样，第二个分支可以运行另一组输入。

无限继续。