堆中的分配结果是否与堆栈中的分配结果相互依赖？

Question

让我们考虑一下这个代码：

static const size_t DATA_SIZE = 100000;

void log_msg(const char* msg)
{
  char msg_buffer[DATA_SIZE];
  // Do something...
}

int main()
{
  // Do something heap-memory consuming...

  unsigned char buffer = new unsigned char[DATA_SIZE];
  if(!buffer)
  {
    log_msg("Insufficient memory!");
    return 1;
  }

  // Go ahead...

  delete[] buffer;

  return 0;
}

现在，让我们想象一下，在堆中为缓冲区分配内存时，没有可用空间AND，同时，堆栈中有足够的可用空间。

我的问题很简单：如果堆栈中缓冲区的分配是错误的，那么堆栈中msg_buffer的分配是否总是错误的？

据我所知，堆栈是为每个线程分配的，堆是为进程分配的。那么，是否可以保证堆栈中内存分配的结果不会与堆中内存分配的结果相关联？当然，我不认为堆栈溢出本身。换句话说，为堆栈保留的内存实际上是完全为其保留的吗？或者在某些情况下，由于某种原因，在程序执行期间，这个保留可以缩小？

如果没有与平台无关的断言，那么我可以知道是否有针对Linux for x86体系结构的断言。

Answer 1

这是明确依赖于实现的。顺便说一句，堆栈和堆的概念在标准中并不存在，即使它们在现实世界的实现中很常见。

我还记得老式的MS/DOS系统，其中分配类型可能取决于内存模型。一些编译器在小型和中型模型中同时使用一个单一的段（SS）用于堆栈和堆，堆栈从一端生长，堆从另一端生长，但是在小型和大型模型中使用程序上方的内存分配（与堆栈无关）。

在前一种情况下，如果堆栈分配不可能，堆分配也不可能，但在后一种情况下，堆和堆栈分配可以独立地成功或失败。

在使用Linux等虚拟内存的现代操作系统中，通常会有一个固定大小的堆栈，并要求操作系统为堆提供新的空闲块。在这种情况下，堆栈和堆分配可以独立成功或失败