在C++中将调用堆栈扩展到磁盘
Extend call stack to disk in C++?
当涉及到大规模递归方法调用时,必须通过修改适当的编译器参数来扩展调用堆栈大小,以避免堆栈溢出。
让我们考虑编写一个可移植应用程序,其布局足够简单,因此其用户只需要拥有最少的技术知识,因此手动虚拟内存配置是不可能的。
运行大规模递归方法(显然是在幕后)可能会导致超过调用堆栈限制,尤其是在运行应用程序的计算机内存有限的情况下。
足够的闲聊:在内存(几乎)已满的情况下,是否可以手动将调用堆栈扩展到磁盘C++?
这可能几乎是不可能的。
使用协程库。这样,您就可以从堆中分配自己的堆栈。重构代码以跟踪它在调用堆栈中的深度,当它变得非常深时,创建一个新的协线程并切换到该同线程。当堆内存不足时,冻结旧协线程并释放其内存。当然,你最好确保将它们解冻到同一个地址 - 所以我建议你自己将他们的堆栈从你可以控制的自己的竞技场中分配出来。事实上,为协线程堆栈重用同一块内存并一次交换它们可能会更容易。
将算法重写为非递归当然更容易。
这可能是它工作的一个例子,或者它可能只是在意外中打印出正确的答案:
#include <stdio.h>
#include "libco.h"
//byuu's libco has been modified to use a provided stack; it's a simple mod, but needs to be done per platform
//x86.c:
////if(handle = (cothread_t)malloc(size)) {
//handle = (cothread_t)stack;
//here we're going to have a stack on disk and have one recursion's stack in RAM at a time
//I think it may be impossible to do this without a main thread controlling the coroutines, but I'm not sure.
#define STACKSIZE (32*1024)
char stack[STACKSIZE];
FILE* fpInfiniteStack;
cothread_t co_mothership;
#define RECURSING 0
#define EXITING 1
int disposition;
volatile int recurse_level;
int call_in_cothread( int (*entrypoint)(int), int arg);
int fibo_b(int n);
int fibo(int n)
{
if(n==0)
return 0;
else if(n==1)
return 1;
else {
int a = call_in_cothread(fibo,n-1);
int b = call_in_cothread(fibo_b,n-2);
return a+b;
}
}
int fibo_b(int n) { printf("fibo_bn"); return fibo(n); } //just to make sure we can call more than one function
long filesize;
void freeze()
{
fwrite(stack,1,STACKSIZE,fpInfiniteStack);
fflush(fpInfiniteStack);
filesize += STACKSIZE;
}
void unfreeze()
{
fseek(fpInfiniteStack,filesize-STACKSIZE,SEEK_SET);
int read = fread(stack,1,STACKSIZE,fpInfiniteStack);
filesize -= STACKSIZE;
fseek(fpInfiniteStack,filesize,SEEK_SET);
}
struct
{
int (*proc)(int);
int arg;
} thunk, todo;
void cothunk()
{
thunk.arg = thunk.proc(thunk.arg);
disposition = EXITING;
co_switch(co_mothership);
}
int call_in_cothread(int (*proc)(int), int arg)
{
if(co_active() != co_mothership)
{
todo.proc = proc;
todo.arg = arg;
disposition = RECURSING;
co_switch(co_mothership);
//we land here after unfreezing. the work we wanted to do has already been done.
return thunk.arg;
}
NEXT_RECURSE:
thunk.proc = proc;
thunk.arg = arg;
cothread_t co = co_create(stack,STACKSIZE,cothunk);
recurse_level++;
NEXT_EXIT:
co_switch(co);
if(disposition == RECURSING)
{
freeze();
proc = todo.proc;
arg = todo.arg;
goto NEXT_RECURSE;
}
else
{
recurse_level--;
unfreeze();
if(recurse_level==0)
return thunk.arg; //return from initial level of recurstion
goto NEXT_EXIT;
}
return -666; //this should not be possible
}
int main(int argc, char**argv)
{
fpInfiniteStack = fopen("infinite.stack","w+b");
co_mothership = co_active();
printf("result: %dn",call_in_cothread(fibo,10));
}
现在,您只需要检测系统中有多少内存,有多少内存可用,调用堆栈有多大以及调用堆栈何时耗尽,以便您知道何时部署无限堆栈。对于一个系统来说,这不是一件容易的事情,更不用说便携地做到这一点了。最好了解堆栈的实际使用方式,而不是与之抗争。
可行的。您需要一些汇编来操作堆栈指针,因为没有标准化的方法可以直接从C++访问它(据我所知)。到达那里后,您可以指向内存页面并负责交换内存。已经有图书馆为您做这件事。
另一方面,如果系统提供商认为分页内存或其他虚拟内存技术在平台上不起作用/不值得,他们可能有很好的理由(很可能它会非常慢)。尝试使解决方案在没有递归的情况下工作,或更改它以使递归适合可用的内容。即使是效率较低的实现也会比磁盘分页递归更快。
- static_assert在宏中,但也可以扩展到可以用作函数参数的东西
- 使用c++后,将堆栈恢复到以前的状态
- 如何在C++中定义扩展到条件语句的宏?
- 使用 Pybind11 将C++扩展到 Python
- "__cplusplus"宏扩展到什么?
- 将矢量的数据扩展到指定大小(插值)
- 从一个堆栈移动到另一个堆
- 如何将模板参数包扩展到一系列模板化参数
- AVX2 根据条件将连续元素扩展到稀疏向量?(如AVX512 VP扩展)
- 符号将11位扩展到32位
- 以编程方式将终端扩展到特定大小
- 将RCPP函数扩展到任何类型的输入向量
- C 将参数包扩展到数组元组
- 将参数包扩展到具有折叠表达式的lambda -GCC与Clang
- 我如何获得Qlabel以扩展到全宽度
- c++hdf5:如何设计易于扩展到新的复合数据类型的程序
- 将堆栈传递到功能
- 将 std::list 扩展到 cylic list
- 如何将宏值扩展到宽字符串
- 在C++中将调用堆栈扩展到磁盘