如何说服内存管理器释放未使用的内存

Question

在最近的一篇文章中（我的程序永远不会释放内存。为什么？< /a> ) 我表明，当使用 FastMM 时，应用程序不会将大量内存释放回系统。 最近，我创建了一个人工测试程序，以确保问题不是内存问题，并且仅在 FastMM 中出现。

在这个程序中，我创建和销毁一个对象（与上一篇文章中使用的对象相同）500 次。

内存要求为（“私有工作集”）：

没有 FastMM
运行循环之前：1.2MB
运行循环后：2.1MB

使用 FastMM（积极调试模式）
运行循环之前：2.1MB
运行循环后：25MB

使用 FastMM（释放模式）
运行循环之前：1.8MB
运行循环后：3MB

如果我运行循环多次，内存需求不会增加。这意味着未释放的内存被重新使用，因此这不是内存泄漏（内存泄漏会在每次运行时增加几 KB/MB 的内存占用）。

---

我的问题是：

如何在 FastMM 中禁用此行为？有可能吗？我知道，如果我在没有 FastMM 或使用 FastMM 发布模式的情况下发布程序，它将“浪费”适量的 RAM。但是按需禁用此行为将帮助我（我们？）识别内存泄漏。实际上，在我的第一篇文章（请参阅链接）中，很多人建议我有泄漏。显然正是因为这种行为才造成了混乱。不，很明显没有泄漏。只是内存管理器拒绝释放大量内存。

它会释放额外的内存吗？什么时候？是什么触发了这个？程序员可以触发吗？例如，当我知道我已经完成了一项 RAM 密集型任务，并且用户可能有一段时间不会使用该程序（最小化它）时，我可以将 RAM 刷新回系统吗？当用户打开我的程序的多个实例时会发生什么？他们不会争夺内存吗？

Answer 1

实际上，您不应该将其视为“浪费”RAM。将其视为“缓存”未使用的 RAM。内存管理器出于某种原因保留未使用的内存而不是将其释放回操作系统，事实上您已经在问题中找到了这个原因。

您说您不断在循环中重新运行相同的操作。当您这样做时，它仍然具有可用的旧内存，并且可以立即分配它，而不必向 Windows 请求新的堆块。这是将“快速”置于“FastMM”中的技巧之一，如果不这样做，您会发现程序运行速度要慢得多。

您无需担心 FastMM 调试模式图。这仅用于调试，并且您不会发布针对 FullDebugMode 编译的程序。而“不使用 FastMM”和“使用 FastMM 发布模式”之间的差异约为 1 MB，这在现代硬件上可以忽略不计。只需额外增加 1 MB 的低成本，您就能获得巨大的性能提升。所以不用担心。

Answer 2

FastMM 快速的部分原因是它会分配大内存块并从中分割出较小的统一大小的块。如果块的任何部分正在使用，则任何部分都不能释放回操作系统。

欢迎您使用不同的内存管理器。一种方法是将所有分配直接路由到 VirtualAlloc< /a>.分配将被四舍五入以一次占据整个页面，因此如果您有大量小分配，您的程序可能会受到影响，但是当您调用 VirtualFree 时，您可以确信内存绝对不会'不再属于你的程序了。

另一种选择是将所有内容路由到操作系统堆。使用HeapAlloc。您甚至可以为您的程序启用低碎片堆（通过Windows Vista 中的默认设置），这将使操作系统采用与 FastMM 类似的策略，但它允许您使用 Microsoft 的一些调试和分析工具来跟踪程序随时间的内存使用情况。但请注意，在调用 HeapFree 后，某些指标可能仍将内存显示为属于您的程序。

此外，工作集是指当前物理RAM中的内存。您观察到数字上升并不意味着您的程序已经分配了更多内存。它可能只是意味着您的程序触及了它之前分配的一些内存，但尚未放入 RAM 中。在循环期间，您触及了该内存，并且操作系统尚未决定将其分页回磁盘。

Answer 3

我使用以下作为内存管理器。我这样做是因为它在线程争用情况下的性能比 FastMM 好得多，而 FastMM 实际上相当差。我知道像 Hoard 这样的可扩展管理器会更好，但这很适合我的需要。

unit msvcrtMM;

interface

implementation

type
  size_t = Cardinal;

const
  msvcrtDLL = 'msvcrt.dll';

function malloc(Size: size_t): Pointer; cdecl; external msvcrtDLL;
function realloc(P: Pointer; Size: size_t): Pointer; cdecl; external msvcrtDLL;
procedure free(P: Pointer); cdecl; external msvcrtDLL;

function GetMem(Size: Integer): Pointer;
begin
  Result := malloc(size);
end;

function FreeMem(P: Pointer): Integer;
begin
  free(P);
  Result := 0;
end;

function ReallocMem(P: Pointer; Size: Integer): Pointer;
begin
  Result := realloc(P, Size);
end;

function AllocMem(Size: Cardinal): Pointer;
begin
  Result := GetMem(Size);
  if Assigned(Result) then begin
    FillChar(Result^, Size, 0);
  end;
end;

function RegisterUnregisterExpectedMemoryLeak(P: Pointer): Boolean;
begin
  Result := False;
end;

const
  MemoryManager: TMemoryManagerEx = (
    GetMem: GetMem;
    FreeMem: FreeMem;
    ReallocMem: ReallocMem;
    AllocMem: AllocMem;
    RegisterExpectedMemoryLeak: RegisterUnregisterExpectedMemoryLeak;
    UnregisterExpectedMemoryLeak: RegisterUnregisterExpectedMemoryLeak
  );

initialization
  SetMemoryManager(MemoryManager);

end.

这不是您问题的答案，但它太长，无法放入评论中，您可能会发现针对此 MM 运行您的应用程序很有趣。我的猜测是它的执行方式与 FastMM 相同。

Answer 4

已解决

根据 Barry Kelly 的建议，FastaMM 将自动释放内存。
为了证实这一点，我创建了第二个分配大量 RAM 的程序。一旦Windows耗尽RAM，我的程序内存利用率就恢复到原来的值。

问题解决了。
谢谢，巴里。