Warum wird die Speicherauslastung meines Programms nach dem Freigeben von Speicher nicht wieder normal?

Question

betrachten die Anwendung nächste Probe

program TestMemory; 


{$APPTYPE CONSOLE} 

uses 
    PsAPI, 
    Windows, 
    SysUtils; 

function GetUsedMemoryFastMem: cardinal; 
var 
    st: TMemoryManagerState; 
    sb: TSmallBlockTypeState; 
begin 
    GetMemoryManagerState(st); 
    result := st.TotalAllocatedMediumBlockSize + st.TotalAllocatedLargeBlockSize; 
    for sb in st.SmallBlockTypeStates do 
    begin 
     result := result + sb.UseableBlockSize * sb.AllocatedBlockCount; 
    end; 
end; 

function GetUsedMemoryWindows: longint; 
var 
    ProcessMemoryCounters: TProcessMemoryCounters; 
begin 
    Result:=0; 
    ProcessMemoryCounters.cb := SizeOf(TProcessMemoryCounters); 
    if GetProcessMemoryInfo(GetCurrentProcess(), @ProcessMemoryCounters, ProcessMemoryCounters.cb) then 
    Result:= ProcessMemoryCounters.WorkingSetSize 
    else 
    RaiseLastOSError; 
end; 

procedure Test; 
const 
    Size = 1024*1024; 
var 
    P : Pointer; 
begin 
    GetMem(P,Size); 

     Writeln('Inside'); 
     Writeln('FastMem '+FormatFloat('#,', GetUsedMemoryFastMem)); 
     Writeln('Windows '+FormatFloat('#,', GetUsedMemoryWindows)); 
     Writeln(''); 

    FreeMem(P); 
end; 

begin 
     Writeln('Before'); 
     Writeln('FastMem '+FormatFloat('#,', GetUsedMemoryFastMem)); 
     Writeln('Windows '+FormatFloat('#,', GetUsedMemoryWindows)); 
     Writeln(''); 

     Test; 

     Writeln('After'); 
     Writeln('FastMem '+FormatFloat('#,', GetUsedMemoryFastMem)); 
     Writeln('Windows '+FormatFloat('#,', GetUsedMemoryWindows)); 
     Writeln(''); 
     Readln; 
end. 

die von der App zurückgegebenen Ergebnisse sind

Before 
FastMem 1.844 
Windows 3.633.152 

Inside 
FastMem 1.050.612 
Windows 3.637.248 

After 
FastMem 2.036 
Windows 3.633.152 

Ich möchte wissen, warum die Ergebnisse der Speichernutzung unterschiedlich sind in der Before und After:

Answer 1

Jeder Speichermanager (einschließlich FastMM) verursacht einen gewissen Overhead, sonst hätte Delphi nur die Windows-Speicherverwaltung verwenden können.

Der Unterschied, den Sie beobachten, ist der Overhead:

• Strukturen, die FastMM zur Verfolgung von Speichernutzung zu halten,
• Stücke des Speichers, der FastMM noch nicht in die Windows-Speicherverwaltung zurückkehrte ähnliche Speicher zu optimieren Zuweisungen in der Zukunft.

Answer 2

Weil der Speichermanager im Hintergrund clevere Dinge erledigt, um die Leistung zu beschleunigen.

Answer 3

Wie funktioniert es getmem/malloc/free?

Heap Allocator - Wie von malloc verwendet ...

1) ordnet intern große Brocken (in der Regel bis zu 64 KB 1Megabyte) Arbeitsspeicher und dann Unter teilt die Stücke bis Sie die 100byte und 200byte Objekte zu geben und Zeichenfolgen im Programm. Wenn Sie Speicher freigeben, geschieht dies nur an der Stelle, an der sie im internen Puffer zugewiesen wurde, oder der Block wird dann als frei markiert. NICHTS TATSÄCHLICH!

2) Sie können sich also den HEAP als eine Liste großer Speicherbereiche vorstellen, und alle Objekte in Ihrem Programm sind nur kleine Teile dieser Blöcke.

3) Die großen internen Speicherbereiche werden nur freigegeben, wenn alle Objekte in ihnen freigegeben wurden. Der übliche Fall ist, dass beim Freigeben eines Objekts tatsächlich nichts passiert, bis einige Bits als verfügbar markiert werden.

Das ist eine ziemlich naive Beschreibung des Heap-Systems, aber die meisten Heaps funktionieren in ähnlicher Weise, aber viel mehr Optimierung als das. Aber Ihre Frage ist, warum geht die Erinnerung nicht unter und die Antwort ist, weil nichts wirklich befreit wird. Die internen Speicherseiten werden für den nächsten Aufruf von "neu" oder "malloc" etc ... beibehalten

PICTURE IT

INSIDE HEAP IST EINE RIESIGE BLOCK 100Kb

You call "malloc(1000)" or "getmem(1000)" to get a 1K block of memory. 

Dann werden alle Das ist der Fall, wenn der 1K-Speicherblock aus dem 100kb-Speicherblock entnommen wird und 99K Speicher in diesem Block verfügbar sind. Wenn Sie weiterhin malloc oder getmem aufrufen, wird der größere Block weiter unterteilt, bis ein weiterer größerer Block benötigt wird.

Jeder kleine Speicherblock, der einem Aufruf von malloc oder getmem zugewiesen wird, erhält tatsächlich 16 oder 24 zusätzliche Bytes (abhängig vom Zuordner) zusätzlichen Speicher. Dieser Speicher ist Bits, die der Zuordner verwendet, um zu wissen, was zugeordnet ist und wo es auch zugeordnet ist.