123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338 |
- {
- $Id$
- This file is part of the Free Pascal run time library.
- Copyright (c) 1999-2000 by the Free Pascal development team.
- functions for heap management in the data segment
- See the file COPYING.FPC, included in this distribution,
- for details about the copyright.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
- **********************************************************************}
- {****************************************************************************}
- { Reuse bigger blocks instead of allocating a new block at freelist/heapptr.
- the tried bigger blocks are always multiple sizes of the current block }
- {$define REUSEBIGGER}
- { Allocate small blocks at heapptr instead of walking the freelist }
- { define SMALLATHEAPPTR}
- { Try to find the best matching block in general freelist }
- { define BESTMATCH}
- { Concat free blocks when placing big blocks in the mainlist }
- {$define CONCATFREE}
- { DEBUG: Dump info when the heap needs to grow }
- { define DUMPGROW}
- { DEBUG: Test the FreeList on correctness }
- {$ifdef SYSTEMDEBUG}
- {$define TestFreeLists}
- {$endif SYSTEMDEBUG}
- const
- blocksize = 16; { at least size of freerecord }
- blockshr = 4; { shr value for blocksize=2^blockshr}
- maxblocksize = 512+blocksize; { 1024+8 needed for heaprecord }
- maxblock = maxblocksize div blocksize;
- maxreusebigger = 8; { max reuse bigger tries }
- usedmask = 1; { flag if the block is used or not }
- beforeheapendmask = 2; { flag if the block is just before a heapptr }
- sizemask = not(blocksize-1);
- {****************************************************************************}
- {$ifdef DUMPGROW}
- {$define DUMPBLOCKS}
- {$endif}
- { Forward defines }
- procedure SysHeapMutexInit;forward;
- procedure SysHeapMutexDone;forward;
- procedure SysHeapMutexLock;forward;
- procedure SysHeapMutexUnlock;forward;
- { Memory manager }
- const
- MemoryManager: TMemoryManager = (
- NeedLock: true;
- GetMem: @SysGetMem;
- FreeMem: @SysFreeMem;
- FreeMemSize: @SysFreeMemSize;
- AllocMem: @SysAllocMem;
- ReAllocMem: @SysReAllocMem;
- MemSize: @SysMemSize;
- MemAvail: @SysMemAvail;
- MaxAvail: @SysMaxAvail;
- HeapSize: @SysHeapSize;
- );
- MemoryMutexManager: TMemoryMutexManager = (
- MutexInit: @SysHeapMutexInit;
- MutexDone: @SysHeapMutexDone;
- MutexLock: @SysHeapMutexLock;
- MutexUnlock: @SysHeapMutexUnlock;
- );
- type
- ppfreerecord = ^pfreerecord;
- pfreerecord = ^tfreerecord;
- tfreerecord = record
- size : longint;
- next,
- prev : pfreerecord;
- end; { 12 bytes }
- pheaprecord = ^theaprecord;
- theaprecord = record
- { this should overlap with tfreerecord }
- size : longint;
- end; { 4 bytes }
- tfreelists = array[0..maxblock] of pfreerecord;
- {$ifdef SYSTEMDEBUG}
- tfreecount = array[0..maxblock] of dword;
- {$endif SYSTEMDEBUG}
- pfreelists = ^tfreelists;
- var
- internal_memavail : longint;
- internal_heapsize : longint;
- freelists : tfreelists;
- {$ifdef SYSTEMDEBUG}
- freecount : tfreecount;
- {$endif SYSTEMDEBUG}
- {$ifdef TestFreeLists}
- { this can be turned on by debugger }
- const
- test_each : boolean = false;
- {$endif TestFreeLists}
- {*****************************************************************************
- Memory Manager
- *****************************************************************************}
- procedure SetMemoryMutexManager(var MutexMgr: TMemoryMutexManager);
- begin
- { Release old mutexmanager, the default manager does nothing so
- calling this without initializing is safe }
- MemoryMutexManager.MutexDone;
- { Copy new mutexmanager }
- MemoryMutexManager:=MutexMgr;
- { Init new mutexmanager }
- MemoryMutexManager.MutexInit;
- end;
- procedure GetMemoryManager(var MemMgr:TMemoryManager);
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- MemMgr:=MemoryManager;
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- MemMgr:=MemoryManager;
- end;
- end;
- procedure SetMemoryManager(const MemMgr:TMemoryManager);
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- MemoryManager:=MemMgr;
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- MemoryManager:=MemMgr;
- end;
- end;
- function IsMemoryManagerSet:Boolean;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- IsMemoryManagerSet:=(MemoryManager.GetMem<>@SysGetMem) or
- (MemoryManager.FreeMem<>@SysFreeMem);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- IsMemoryManagerSet:=(MemoryManager.GetMem<>@SysGetMem) or
- (MemoryManager.FreeMem<>@SysFreeMem);
- end;
- end;
- procedure GetMem(Var p:pointer;Size:Longint);
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- p:=MemoryManager.GetMem(Size);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- p:=MemoryManager.GetMem(Size);
- end;
- end;
- procedure GetMemory(Var p:pointer;Size:Longint);
- begin
- GetMem(p,size);
- end;
- procedure FreeMem(p:pointer;Size:Longint);
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- MemoryManager.FreeMemSize(p,Size);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- MemoryManager.FreeMemSize(p,Size);
- end;
- end;
- procedure FreeMemory(p:pointer;Size:Longint);
- begin
- FreeMem(p,size);
- end;
- function MaxAvail:Longint;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- MaxAvail:=MemoryManager.MaxAvail();
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- MaxAvail:=MemoryManager.MaxAvail();
- end;
- end;
- function MemAvail:Longint;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- MemAvail:=MemoryManager.MemAvail();
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- MemAvail:=MemoryManager.MemAvail();
- end;
- end;
- { FPC Additions }
- function HeapSize:Longint;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- HeapSize:=MemoryManager.HeapSize();
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- HeapSize:=MemoryManager.HeapSize();
- end;
- end;
- function MemSize(p:pointer):Longint;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- MemSize:=MemoryManager.MemSize(p);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- MemSize:=MemoryManager.MemSize(p);
- end;
- end;
- { Delphi style }
- function FreeMem(p:pointer):Longint;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- Freemem:=MemoryManager.FreeMem(p);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- Freemem:=MemoryManager.FreeMem(p);
- end;
- end;
- function FreeMemory(p:pointer):Longint;
- begin
- FreeMemory:=FreeMem(p);
- end;
- function GetMem(size:longint):pointer;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- GetMem:=MemoryManager.GetMem(Size);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- GetMem:=MemoryManager.GetMem(Size);
- end;
- end;
- function GetMemory(size:longint):pointer;
- begin
- GetMemory:=Getmem(size);
- end;
- function AllocMem(Size:Longint):pointer;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- AllocMem:=MemoryManager.AllocMem(size);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- AllocMem:=MemoryManager.AllocMem(size);
- end;
- end;
- function ReAllocMem(var p:pointer;Size:Longint):pointer;
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- ReAllocMem:=MemoryManager.ReAllocMem(p,size);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- ReAllocMem:=MemoryManager.ReAllocMem(p,size);
- end;
- end;
- function ReAllocMemory(var p:pointer;Size:Longint):pointer;
- begin
- ReAllocMemory:=ReAllocMem(p,size);
- end;
- {$ifdef ValueGetmem}
- { Needed for calls from Assembler }
- function fpc_getmem(size:longint):pointer;compilerproc;[public,alias:'FPC_GETMEM'];
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- fpc_GetMem:=MemoryManager.GetMem(size);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- fpc_GetMem:=MemoryManager.GetMem(size);
- end;
- end;
- {$else ValueGetmem}
- { Needed for calls from Assembler }
- procedure AsmGetMem(var p:pointer;size:longint);[public,alias:'FPC_GETMEM'];
- begin
- p:=MemoryManager.GetMem(size);
- end;
- {$endif ValueGetmem}
- {$ifdef ValueFreemem}
- procedure fpc_freemem(p:pointer);compilerproc;[public,alias:'FPC_FREEMEM'];
- begin
- if IsMultiThread and MemoryManager.NeedLock then
- begin
- try
- MemoryMutexManager.MutexLock;
- if p <> nil then
- MemoryManager.FreeMem(p);
- finally
- MemoryMutexManager.MutexUnlock;
- end;
- end
- else
- begin
- if p <> nil then
- MemoryManager.FreeMem(p);
- end;
- end;
- {$else ValueFreemem}
- procedure AsmFreeMem(var p:pointer);[public,alias:'FPC_FREEMEM'];
- begin
- if p <> nil then
- MemoryManager.FreeMem(p);
- end;
- {$endif ValueFreemem}
- {*****************************************************************************
- Heapsize,Memavail,MaxAvail
- *****************************************************************************}
- function SysHeapsize : longint;
- begin
- Sysheapsize:=internal_heapsize;
- end;
- function SysMemavail : longint;
- begin
- Sysmemavail:=internal_memavail;
- end;
- function SysMaxavail : longint;
- var
- hp : pfreerecord;
- begin
- Sysmaxavail:=heapend-heapptr;
- hp:=freelists[0];
- while assigned(hp) do
- begin
- if hp^.size>Sysmaxavail then
- Sysmaxavail:=hp^.size;
- hp:=hp^.next;
- end;
- end;
- {$ifdef DUMPBLOCKS}
- procedure DumpBlocks;
- var
- s,i,j : longint;
- hp : pfreerecord;
- begin
- for i:=1 to maxblock do
- begin
- hp:=freelists[i];
- j:=0;
- while assigned(hp) do
- begin
- inc(j);
- hp:=hp^.next;
- end;
- writeln('Block ',i*blocksize,': ',j);
- end;
- { freelist 0 }
- hp:=freelists[0];
- j:=0;
- s:=0;
- while assigned(hp) do
- begin
- inc(j);
- if hp^.size>s then
- s:=hp^.size;
- hp:=hp^.next;
- end;
- writeln('Main: ',j,' maxsize: ',s);
- end;
- {$endif}
- {$ifdef TestFreeLists}
- procedure TestFreeLists;
- var
- i,j : longint;
- hp : pfreerecord;
- begin
- for i:=0 to maxblock do
- begin
- j:=0;
- hp:=freelists[i];
- while assigned(hp) do
- begin
- inc(j);
- if (i>0) and ((hp^.size and sizemask) <> i * blocksize) then
- RunError(204);
- hp:=hp^.next;
- end;
- if j<>freecount[i] then
- RunError(204);
- end;
- end;
- {$endif TestFreeLists}
- {$ifdef CONCATFREE}
- {*****************************************************************************
- Try concat freerecords
- *****************************************************************************}
- procedure TryConcatFreeRecord(pcurr:pfreerecord);
- var
- hp : pfreerecord;
- pcurrsize,s1 : longint;
- begin
- pcurrsize:=pcurr^.size and sizemask;
- hp:=pcurr;
- repeat
- { block used or before a heapend ? }
- if (hp^.size and beforeheapendmask)<>0 then
- begin
- { Peter, why can't we add this one if free ?? }
- { It's already added in the previous iteration, we only go to the }
- { next heap record after this check (JM) }
- pcurr^.size:=pcurrsize or beforeheapendmask;
- break;
- end;
- { get next block }
- hp:=pfreerecord(pointer(hp)+(hp^.size and sizemask));
- { when we're at heapptr then we can stop and set heapptr to pcurr }
- if (hp=heapptr) then
- begin
- heapptr:=pcurr;
- { remove the block }
- if assigned(pcurr^.next) then
- pcurr^.next^.prev := pcurr^.prev;
- if assigned(pcurr^.prev) then
- pcurr^.prev^.next := pcurr^.next
- else
- freelists[0] := pcurr^.next;
- {$ifdef SYSTEMDEBUG}
- dec(freecount[0]);
- {$endif SYSTEMDEBUG}
- break;
- end;
- { block is used? then we stop and add the block to the freelist }
- if (hp^.size and usedmask)<>0 then
- begin
- pcurr^.size:=pcurrsize;
- break;
- end;
- { remove block from freelist and increase the size }
- s1:=hp^.size and sizemask;
- inc(pcurrsize,s1);
- s1:=s1 shr blockshr;
- if s1>maxblock then
- s1:=0;
- if assigned(hp^.next) then
- hp^.next^.prev:=hp^.prev;
- if assigned(hp^.prev) then
- hp^.prev^.next:=hp^.next
- else
- freelists[s1]:=hp^.next;
- {$ifdef SYSTEMDEBUG}
- dec(freecount[s1]);
- {$endif SYSTEMDEBUG}
- until false;
- end;
- {$endif CONCATFREE}
- {*****************************************************************************
- SysGetMem
- *****************************************************************************}
- function SysGetMem(size : longint):pointer;
- type
- heaperrorproc=function(size:longint):integer;
- var
- proc : heaperrorproc;
- pcurr : pfreerecord;
- again : boolean;
- s,s1,i,
- sizeleft : longint;
- {$ifdef BESTMATCH}
- pbest : pfreerecord;
- {$endif}
- begin
- { Something to allocate ? }
- if size<=0 then
- begin
- { give an error for < 0 }
- if size<0 then
- HandleError(204);
- { we always need to allocate something, using heapend is not possible,
- because heappend can be changed by growheap (PFV) }
- size:=1;
- end;
- { calc to multiply of 16 after adding the needed 8 bytes heaprecord }
- size:=(size+sizeof(theaprecord)+(blocksize-1)) and (not (blocksize-1));
- dec(internal_memavail,size);
- { try to find a block in one of the freelists per size }
- s:=size shr blockshr;
- if s<=maxblock then
- begin
- pcurr:=freelists[s];
- { correct size match ? }
- if assigned(pcurr) then
- begin
- { create the block we should return }
- sysgetmem:=pointer(pcurr)+sizeof(theaprecord);
- { fix size }
- pcurr^.size:=pcurr^.size or usedmask;
- { update freelist }
- freelists[s]:=pcurr^.next;
- {$ifdef SYSTEMDEBUG}
- dec(freecount[s]);
- {$endif SYSTEMDEBUG}
- if assigned(freelists[s]) then
- freelists[s]^.prev:=nil;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- exit;
- end;
- {$ifdef SMALLATHEAPPTR}
- if heapend-heapptr>=size then
- begin
- sysgetmem:=heapptr;
- { set end flag if we do not have enough room to add
- another tfreerecord behind }
- if (heapptr+size+sizeof(tfreerecord)>=heapend) then
- pheaprecord(sysgetmem)^.size:=size or (usedmask or beforeheapendmask)
- else
- pheaprecord(sysgetmem)^.size:=size or usedmask;
- inc(sysgetmem,sizeof(theaprecord));
- inc(heapptr,size);
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- exit;
- end;
- {$endif}
- {$ifdef REUSEBIGGER}
- { try a bigger block }
- s1:=s+s;
- i:=0;
- while (s1<=maxblock) and (i<maxreusebigger) do
- begin
- pcurr:=freelists[s1];
- if assigned(pcurr) then
- begin
- s:=s1;
- break;
- end;
- inc(s1);
- inc(i);
- end;
- {$endif}
- end
- else
- pcurr:=nil;
- { not found, then check the main freelist for the first match }
- if not(assigned(pcurr)) then
- begin
- s:=0;
- {$ifdef BESTMATCH}
- pbest:=nil;
- {$endif}
- pcurr:=freelists[0];
- while assigned(pcurr) do
- begin
- {$ifdef BESTMATCH}
- if pcurr^.size=size then
- break
- else
- begin
- if (pcurr^.size>size) then
- begin
- if (not assigned(pbest)) or
- (pcurr^.size<pbest^.size) then
- pbest:=pcurr;
- end
- end;
- {$else BESTMATCH}
- {$ifdef CONCATFREE}
- TryConcatFreeRecord(pcurr);
- if (pcurr <> heapptr) then
- begin
- if pcurr^.size>=size then
- break;
- end
- else
- begin
- pcurr := nil;
- break;
- end;
- {$else CONCATFREE}
- if pcurr^.size>=size then
- break;
- {$endif CONCATFREE}
- {$endif BESTMATCH}
- pcurr:=pcurr^.next;
- end;
- {$ifdef BESTMATCH}
- if not assigned(pcurr) then
- pcurr:=pbest;
- {$endif}
- end;
- { have we found a block, then get it and free up the other left part,
- if no blocks are found then allocated at the heapptr or grow the heap }
- if assigned(pcurr) then
- begin
- { get pointer of the block we should return }
- sysgetmem:=pointer(pcurr);
- { remove the current block from the freelist }
- if assigned(pcurr^.next) then
- pcurr^.next^.prev:=pcurr^.prev;
- if assigned(pcurr^.prev) then
- pcurr^.prev^.next:=pcurr^.next
- else
- freelists[s]:=pcurr^.next;
- {$ifdef SYSTEMDEBUG}
- dec(freecount[s]);
- {$endif SYSTEMDEBUG}
- { create the left over freelist block, if at least 16 bytes are free }
- sizeleft:=pcurr^.size-size;
- if sizeleft>=sizeof(tfreerecord) then
- begin
- pcurr:=pfreerecord(pointer(pcurr)+size);
- { inherit the beforeheapendmask }
- pcurr^.size:=sizeleft or (pheaprecord(sysgetmem)^.size and beforeheapendmask);
- { insert the block in the freelist }
- pcurr^.prev:=nil;
- s1:=sizeleft shr blockshr;
- if s1>maxblock then
- s1:=0;
- pcurr^.next:=freelists[s1];
- if assigned(freelists[s1]) then
- freelists[s1]^.prev:=pcurr;
- freelists[s1]:=pcurr;
- {$ifdef SYSTEMDEBUG}
- inc(freecount[s1]);
- {$endif SYSTEMDEBUG}
- { create the block we need to return }
- pheaprecord(sysgetmem)^.size:=size or usedmask;
- end
- else
- begin
- { create the block we need to return }
- pheaprecord(sysgetmem)^.size:=size or usedmask or (pheaprecord(sysgetmem)^.size and beforeheapendmask);
- end;
- inc(sysgetmem,sizeof(theaprecord));
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- exit;
- end;
- { Lastly, the top of the heap is checked, to see if there is }
- { still memory available. }
- repeat
- again:=false;
- if heapend-heapptr>=size then
- begin
- sysgetmem:=heapptr;
- if (heapptr+size+sizeof(tfreerecord)>=heapend) then
- pheaprecord(sysgetmem)^.size:=size or (usedmask or beforeheapendmask)
- else
- pheaprecord(sysgetmem)^.size:=size or usedmask;
- inc(sysgetmem,sizeof(theaprecord));
- inc(heapptr,size);
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- exit;
- end;
- { Call the heaperror proc }
- if assigned(heaperror) then
- begin
- proc:=heaperrorproc(heaperror);
- case proc(size) of
- 0 : HandleError(203);
- 1 : sysgetmem:=nil;
- 2 : again:=true;
- end;
- end
- else
- HandleError(203);
- until not again;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- end;
- {*****************************************************************************
- SysFreeMem
- *****************************************************************************}
- Function SysFreeMem(p : pointer):Longint;
- var
- pcurrsize,s : longint;
- pcurr : pfreerecord;
- begin
- if p=nil then
- HandleError(204);
- { fix p to point to the heaprecord }
- pcurr:=pfreerecord(pointer(p)-sizeof(theaprecord));
- pcurrsize:=pcurr^.size and sizemask;
- inc(internal_memavail,pcurrsize);
- { insert the block in it's freelist }
- pcurr^.size:=pcurr^.size and (not usedmask);
- pcurr^.prev:=nil;
- s:=pcurrsize shr blockshr;
- if s>maxblock then
- s:=0;
- pcurr^.next:=freelists[s];
- if assigned(pcurr^.next) then
- pcurr^.next^.prev:=pcurr;
- freelists[s]:=pcurr;
- {$ifdef SYSTEMDEBUG}
- inc(freecount[s]);
- {$endif SYSTEMDEBUG}
- SysFreeMem:=pcurrsize;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- end;
- {*****************************************************************************
- SysFreeMemSize
- *****************************************************************************}
- Function SysFreeMemSize(p : pointer;size : longint):longint;
- var
- pcurrsize,s : longint;
- pcurr : pfreerecord;
- begin
- SysFreeMemSize:=0;
- if size<=0 then
- begin
- if size<0 then
- HandleError(204);
- exit;
- end;
- if p=nil then
- HandleError(204);
- { fix p to point to the heaprecord }
- pcurr:=pfreerecord(pointer(p)-sizeof(theaprecord));
- pcurrsize:=pcurr^.size and sizemask;
- inc(internal_memavail,pcurrsize);
- { size check }
- size:=(size+sizeof(theaprecord)+(blocksize-1)) and (not (blocksize-1));
- if size<>pcurrsize then
- HandleError(204);
- { insert the block in it's freelist }
- pcurr^.size:=pcurr^.size and (not usedmask);
- pcurr^.prev:=nil;
- { set the return values }
- s:=pcurrsize shr blockshr;
- if s>maxblock then
- s:=0;
- pcurr^.next:=freelists[s];
- if assigned(pcurr^.next) then
- pcurr^.next^.prev:=pcurr;
- freelists[s]:=pcurr;
- {$ifdef SYSTEMDEBUG}
- inc(freecount[s]);
- {$endif SYSTEMDEBUG}
- SysFreeMemSize:=pcurrsize;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- end;
- {*****************************************************************************
- SysMemSize
- *****************************************************************************}
- function SysMemSize(p:pointer):longint;
- begin
- SysMemSize:=(pheaprecord(pointer(p)-sizeof(theaprecord))^.size and sizemask)-sizeof(theaprecord);
- end;
- {*****************************************************************************
- SysAllocMem
- *****************************************************************************}
- function SysAllocMem(size : longint):pointer;
- begin
- sysallocmem:=MemoryManager.GetMem(size);
- if sysallocmem<>nil then
- FillChar(sysallocmem^,size,0);
- end;
- {*****************************************************************************
- SysResizeMem
- *****************************************************************************}
- function SysTryResizeMem(var p:pointer;size : longint):boolean;
- var
- oldsize,
- currsize,
- foundsize,
- sizeleft,
- s : longint;
- wasbeforeheapend : boolean;
- hp,
- pnew,
- pcurr : pfreerecord;
- begin
- { fix needed size }
- size:=(size+sizeof(theaprecord)+(blocksize-1)) and (not (blocksize-1));
- { fix p to point to the heaprecord }
- pcurr:=pfreerecord(pointer(p)-sizeof(theaprecord));
- currsize:=pcurr^.size and sizemask;
- oldsize:=currsize;
- wasbeforeheapend:=(pcurr^.size and beforeheapendmask)<>0;
- { is the allocated block still correct? }
- if currsize=size then
- begin
- SysTryResizeMem:=true;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- exit;
- end;
- { do we need to allocate more memory ? }
- if size>currsize then
- begin
- { the size is bigger than the previous size, we need to allocated more mem.
- We first check if the blocks after the current block are free. If not we
- simply call getmem/freemem to get the new block }
- foundsize:=0;
- hp:=pcurr;
- repeat
- inc(foundsize,hp^.size and sizemask);
- { block used or before a heapptr ? }
- if (hp^.size and beforeheapendmask)<>0 then
- begin
- wasbeforeheapend:=true;
- break;
- end;
- { get next block }
- hp:=pfreerecord(pointer(hp)+(hp^.size and sizemask));
- { when we're at heapptr then we can stop }
- if (hp=heapptr) then
- begin
- inc(foundsize,heapend-heapptr);
- break;
- end;
- if (hp^.size and usedmask)<>0 then
- break;
- until (foundsize>=size);
- { found enough free blocks? }
- if foundsize>=size then
- begin
- { we walk the list again and remove all blocks }
- foundsize:=pcurr^.size and sizemask;
- hp:=pcurr;
- repeat
- { get next block }
- hp:=pfreerecord(pointer(hp)+(hp^.size and sizemask));
- { when we're at heapptr then we can increase it, if there is enough
- room is already checked }
- if (hp=heapptr) then
- begin
- inc(heapptr,size-foundsize);
- foundsize:=size;
- if (heapend-heapptr)<sizeof(tfreerecord) then
- wasbeforeheapend:=true;
- break;
- end;
- s:=hp^.size and sizemask;
- inc(foundsize,s);
- { remove block from freelist }
- s:=s shr blockshr;
- if s>maxblock then
- s:=0;
- if assigned(hp^.next) then
- hp^.next^.prev:=hp^.prev;
- if assigned(hp^.prev) then
- hp^.prev^.next:=hp^.next
- else
- freelists[s]:=hp^.next;
- {$ifdef SYSTEMDEBUG}
- dec(freecount[s]);
- {$endif SYSTEMDEBUG}
- until (foundsize>=size);
- if wasbeforeheapend then
- pcurr^.size:=foundsize or usedmask or beforeheapendmask
- else
- pcurr^.size:=foundsize or usedmask;
- end
- else
- begin
- { we need to call getmem/move/freemem }
- SysTryResizeMem:=false;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- exit;
- end;
- currsize:=pcurr^.size and sizemask;
- end;
- { is the size smaller then we can adjust the block to that size and insert
- the other part into the freelist }
- if size<currsize then
- begin
- { create the left over freelist block, if at least 16 bytes are free }
- sizeleft:=currsize-size;
- if sizeleft>sizeof(tfreerecord) then
- begin
- pnew:=pfreerecord(pointer(pcurr)+size);
- pnew^.size:=sizeleft or (pcurr^.size and beforeheapendmask);
- { insert the block in the freelist }
- pnew^.prev:=nil;
- s:=sizeleft shr blockshr;
- if s>maxblock then
- s:=0;
- pnew^.next:=freelists[s];
- if assigned(freelists[s]) then
- freelists[s]^.prev:=pnew;
- freelists[s]:=pnew;
- {$ifdef SYSTEMDEBUG}
- inc(freecount[s]);
- {$endif SYSTEMDEBUG}
- { fix the size of the current block and leave }
- pcurr^.size:=size or usedmask;
- end
- else
- begin
- { fix the size of the current block and leave }
- pcurr^.size:=size or usedmask or (pcurr^.size and beforeheapendmask);
- end;
- end;
- dec(internal_memavail,size-oldsize);
- SysTryResizeMem:=true;
- {$ifdef TestFreeLists}
- if test_each then
- TestFreeLists;
- {$endif TestFreeLists}
- end;
- {*****************************************************************************
- SysResizeMem
- *****************************************************************************}
- function SysReAllocMem(var p:pointer;size : longint):pointer;
- var
- oldsize : longint;
- p2 : pointer;
- begin
- { Free block? }
- if size=0 then
- begin
- if p<>nil then
- begin
- MemoryManager.FreeMem(p);
- p:=nil;
- end;
- end
- else
- { Allocate a new block? }
- if p=nil then
- begin
- p:=MemoryManager.GetMem(size);
- end
- else
- { Resize block }
- if not SysTryResizeMem(p,size) then
- begin
- oldsize:=MemoryManager.MemSize(p);
- p2:=MemoryManager.GetMem(size);
- if p2<>nil then
- Move(p^,p2^,oldsize);
- MemoryManager.FreeMem(p);
- p:=p2;
- end;
- SysReAllocMem:=p;
- end;
- {*****************************************************************************
- Mark/Release
- *****************************************************************************}
- procedure release(var p : pointer);
- begin
- end;
- procedure mark(var p : pointer);
- begin
- end;
- {*****************************************************************************
- Grow Heap
- *****************************************************************************}
- function growheap(size : SizeInt) : integer;
- var
- sizeleft,s1 : longword;
- NewPos : pointer;
- pcurr : pfreerecord;
- begin
- {$ifdef DUMPGROW}
- writeln('growheap(',size,') allocating ',(size+$ffff) and $ffff0000);
- DumpBlocks;
- {$endif}
- { Allocate by 64K size }
- size:=(size+$ffff) and $ffff0000;
- { first try 256K (default) }
- if size<=GrowHeapSize1 then
- begin
- NewPos:=Sbrk(GrowHeapSize1);
- if NewPos<>nil then
- size:=GrowHeapSize1;
- end
- else
- { second try 1024K (default) }
- if size<=GrowHeapSize2 then
- begin
- NewPos:=Sbrk(GrowHeapSize2);
- if NewPos<>nil then
- size:=GrowHeapSize2;
- end
- { else allocate the needed bytes }
- else
- NewPos:=SBrk(size);
- { try again }
- if NewPos=nil then
- begin
- NewPos:=Sbrk(size);
- if NewPos=nil then
- begin
- if ReturnNilIfGrowHeapFails then
- GrowHeap:=1
- else
- GrowHeap:=0;
- Exit;
- end;
- end;
- { increase heapend or add to freelist }
- if heapend=newpos then
- begin
- heapend:=newpos+size;
- end
- else
- begin
- { create freelist entry for old heapptr-heapend }
- sizeleft:=heapend-heapptr;
- if sizeleft>=sizeof(tfreerecord) then
- begin
- pcurr:=pfreerecord(heapptr);
- pcurr^.size:=sizeleft or beforeheapendmask;
- { insert the block in the freelist }
- s1:=sizeleft shr blockshr;
- if s1>maxblock then
- s1:=0;
- pcurr^.next:=freelists[s1];
- pcurr^.prev:=nil;
- if assigned(freelists[s1]) then
- freelists[s1]^.prev:=pcurr;
- freelists[s1]:=pcurr;
- {$ifdef SYSTEMDEBUG}
- inc(freecount[s1]);
- {$endif SYSTEMDEBUG}
- end;
- { now set the new heapptr,heapend to the new block }
- heapptr:=newpos;
- heapend:=newpos+size;
- end;
- { set the total new heap size }
- inc(internal_memavail,size);
- inc(internal_heapsize,size);
- { try again }
- GrowHeap:=2;
- {$ifdef TestFreeLists}
- TestFreeLists;
- {$endif TestFreeLists}
- end;
- {*****************************************************************************
- MemoryMutexManager default hooks
- *****************************************************************************}
- procedure SysHeapMutexInit;
- begin
- { nothing todo }
- end;
- procedure SysHeapMutexDone;
- begin
- { nothing todo }
- end;
- procedure SysHeapMutexLock;
- begin
- { give an runtime error. the program is running multithreaded without
- any heap protection. this will result in unpredictable errors so
- stopping here with an error is more safe (PFV) }
- runerror(244);
- end;
- procedure SysHeapMutexUnLock;
- begin
- { see SysHeapMutexLock for comment }
- runerror(244);
- end;
- {*****************************************************************************
- InitHeap
- *****************************************************************************}
- { This function will initialize the Heap manager and need to be called from
- the initialization of the system unit }
- procedure InitHeap;
- begin
- FillChar(FreeLists,sizeof(TFreeLists),0);
- {$ifdef SYSTEMDEBUG}
- FillChar(FreeCount,sizeof(TFreeCount),0);
- {$endif SYSTEMDEBUG}
- internal_heapsize:=GetHeapSize;
- internal_memavail:=internal_heapsize;
- HeapOrg:=GetHeapStart;
- HeapPtr:=HeapOrg;
- HeapEnd:=HeapOrg+internal_memavail;
- HeapError:=@GrowHeap;
- end;
- {
- $Log$
- Revision 1.24 2003-10-02 14:03:24 marco
- * *memORY overloads
- Revision 1.23 2003/09/28 12:43:48 peter
- * fixed wrong check when allocation of a block > 1mb failed
- Revision 1.22 2003/09/27 11:52:35 peter
- * sbrk returns pointer
- Revision 1.21 2003/05/23 14:53:48 peter
- * check newpos < 0 instead of = -1
- Revision 1.20 2003/05/01 08:05:23 florian
- * started to make the rtl 64 bit save by introducing SizeInt and SizeUInt (similar to size_t of C)
- Revision 1.19 2002/11/01 17:38:04 peter
- * fix setmemorymutexmanager to call mutexdone on the already
- installed manager instead of the passed manager
- Revision 1.18 2002/10/30 20:39:13 peter
- * MemoryManager record has a field NeedLock if the wrapper functions
- need to provide locking for multithreaded programs
- Revision 1.17 2002/10/30 19:54:19 peter
- * remove wrong lock from SysMemSize, MemSize() does the locking
- already.
- Revision 1.16 2002/10/14 19:39:17 peter
- * threads unit added for thread support
- Revision 1.15 2002/09/07 15:07:45 peter
- * old logs removed and tabs fixed
- Revision 1.14 2002/06/17 08:33:04 jonas
- * heap manager now fragments the heap much less
- Revision 1.13 2002/04/21 18:56:59 peter
- * fpc_freemem and fpc_getmem compilerproc
- Revision 1.12 2002/02/10 15:33:45 carl
- * fixed some missing IsMultiThreaded variables
- Revision 1.11 2002/01/02 13:43:09 jonas
- * fix for web bug 1727 from Peter (corrected)
- }
|