heap.inc 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338
  1. {
  2. $Id$
  3. This file is part of the Free Pascal run time library.
  4. Copyright (c) 1999-2000 by the Free Pascal development team.
  5. functions for heap management in the data segment
  6. See the file COPYING.FPC, included in this distribution,
  7. for details about the copyright.
  8. This program is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  11. **********************************************************************}
  12. {****************************************************************************}
  13. { Reuse bigger blocks instead of allocating a new block at freelist/heapptr.
  14. the tried bigger blocks are always multiple sizes of the current block }
  15. {$define REUSEBIGGER}
  16. { Allocate small blocks at heapptr instead of walking the freelist }
  17. { define SMALLATHEAPPTR}
  18. { Try to find the best matching block in general freelist }
  19. { define BESTMATCH}
  20. { Concat free blocks when placing big blocks in the mainlist }
  21. {$define CONCATFREE}
  22. { DEBUG: Dump info when the heap needs to grow }
  23. { define DUMPGROW}
  24. { DEBUG: Test the FreeList on correctness }
  25. {$ifdef SYSTEMDEBUG}
  26. {$define TestFreeLists}
  27. {$endif SYSTEMDEBUG}
  28. const
  29. blocksize = 16; { at least size of freerecord }
  30. blockshr = 4; { shr value for blocksize=2^blockshr}
  31. maxblocksize = 512+blocksize; { 1024+8 needed for heaprecord }
  32. maxblock = maxblocksize div blocksize;
  33. maxreusebigger = 8; { max reuse bigger tries }
  34. usedmask = 1; { flag if the block is used or not }
  35. beforeheapendmask = 2; { flag if the block is just before a heapptr }
  36. sizemask = not(blocksize-1);
  37. {****************************************************************************}
  38. {$ifdef DUMPGROW}
  39. {$define DUMPBLOCKS}
  40. {$endif}
  41. { Forward defines }
  42. procedure SysHeapMutexInit;forward;
  43. procedure SysHeapMutexDone;forward;
  44. procedure SysHeapMutexLock;forward;
  45. procedure SysHeapMutexUnlock;forward;
  46. { Memory manager }
  47. const
  48. MemoryManager: TMemoryManager = (
  49. NeedLock: true;
  50. GetMem: @SysGetMem;
  51. FreeMem: @SysFreeMem;
  52. FreeMemSize: @SysFreeMemSize;
  53. AllocMem: @SysAllocMem;
  54. ReAllocMem: @SysReAllocMem;
  55. MemSize: @SysMemSize;
  56. MemAvail: @SysMemAvail;
  57. MaxAvail: @SysMaxAvail;
  58. HeapSize: @SysHeapSize;
  59. );
  60. MemoryMutexManager: TMemoryMutexManager = (
  61. MutexInit: @SysHeapMutexInit;
  62. MutexDone: @SysHeapMutexDone;
  63. MutexLock: @SysHeapMutexLock;
  64. MutexUnlock: @SysHeapMutexUnlock;
  65. );
  66. type
  67. ppfreerecord = ^pfreerecord;
  68. pfreerecord = ^tfreerecord;
  69. tfreerecord = record
  70. size : longint;
  71. next,
  72. prev : pfreerecord;
  73. end; { 12 bytes }
  74. pheaprecord = ^theaprecord;
  75. theaprecord = record
  76. { this should overlap with tfreerecord }
  77. size : longint;
  78. end; { 4 bytes }
  79. tfreelists = array[0..maxblock] of pfreerecord;
  80. {$ifdef SYSTEMDEBUG}
  81. tfreecount = array[0..maxblock] of dword;
  82. {$endif SYSTEMDEBUG}
  83. pfreelists = ^tfreelists;
  84. var
  85. internal_memavail : longint;
  86. internal_heapsize : longint;
  87. freelists : tfreelists;
  88. {$ifdef SYSTEMDEBUG}
  89. freecount : tfreecount;
  90. {$endif SYSTEMDEBUG}
  91. {$ifdef TestFreeLists}
  92. { this can be turned on by debugger }
  93. const
  94. test_each : boolean = false;
  95. {$endif TestFreeLists}
  96. {*****************************************************************************
  97. Memory Manager
  98. *****************************************************************************}
  99. procedure SetMemoryMutexManager(var MutexMgr: TMemoryMutexManager);
  100. begin
  101. { Release old mutexmanager, the default manager does nothing so
  102. calling this without initializing is safe }
  103. MemoryMutexManager.MutexDone;
  104. { Copy new mutexmanager }
  105. MemoryMutexManager:=MutexMgr;
  106. { Init new mutexmanager }
  107. MemoryMutexManager.MutexInit;
  108. end;
  109. procedure GetMemoryManager(var MemMgr:TMemoryManager);
  110. begin
  111. if IsMultiThread and MemoryManager.NeedLock then
  112. begin
  113. try
  114. MemoryMutexManager.MutexLock;
  115. MemMgr:=MemoryManager;
  116. finally
  117. MemoryMutexManager.MutexUnlock;
  118. end;
  119. end
  120. else
  121. begin
  122. MemMgr:=MemoryManager;
  123. end;
  124. end;
  125. procedure SetMemoryManager(const MemMgr:TMemoryManager);
  126. begin
  127. if IsMultiThread and MemoryManager.NeedLock then
  128. begin
  129. try
  130. MemoryMutexManager.MutexLock;
  131. MemoryManager:=MemMgr;
  132. finally
  133. MemoryMutexManager.MutexUnlock;
  134. end;
  135. end
  136. else
  137. begin
  138. MemoryManager:=MemMgr;
  139. end;
  140. end;
  141. function IsMemoryManagerSet:Boolean;
  142. begin
  143. if IsMultiThread and MemoryManager.NeedLock then
  144. begin
  145. try
  146. MemoryMutexManager.MutexLock;
  147. IsMemoryManagerSet:=(MemoryManager.GetMem<>@SysGetMem) or
  148. (MemoryManager.FreeMem<>@SysFreeMem);
  149. finally
  150. MemoryMutexManager.MutexUnlock;
  151. end;
  152. end
  153. else
  154. begin
  155. IsMemoryManagerSet:=(MemoryManager.GetMem<>@SysGetMem) or
  156. (MemoryManager.FreeMem<>@SysFreeMem);
  157. end;
  158. end;
  159. procedure GetMem(Var p:pointer;Size:Longint);
  160. begin
  161. if IsMultiThread and MemoryManager.NeedLock then
  162. begin
  163. try
  164. MemoryMutexManager.MutexLock;
  165. p:=MemoryManager.GetMem(Size);
  166. finally
  167. MemoryMutexManager.MutexUnlock;
  168. end;
  169. end
  170. else
  171. begin
  172. p:=MemoryManager.GetMem(Size);
  173. end;
  174. end;
  175. procedure GetMemory(Var p:pointer;Size:Longint);
  176. begin
  177. GetMem(p,size);
  178. end;
  179. procedure FreeMem(p:pointer;Size:Longint);
  180. begin
  181. if IsMultiThread and MemoryManager.NeedLock then
  182. begin
  183. try
  184. MemoryMutexManager.MutexLock;
  185. MemoryManager.FreeMemSize(p,Size);
  186. finally
  187. MemoryMutexManager.MutexUnlock;
  188. end;
  189. end
  190. else
  191. begin
  192. MemoryManager.FreeMemSize(p,Size);
  193. end;
  194. end;
  195. procedure FreeMemory(p:pointer;Size:Longint);
  196. begin
  197. FreeMem(p,size);
  198. end;
  199. function MaxAvail:Longint;
  200. begin
  201. if IsMultiThread and MemoryManager.NeedLock then
  202. begin
  203. try
  204. MemoryMutexManager.MutexLock;
  205. MaxAvail:=MemoryManager.MaxAvail();
  206. finally
  207. MemoryMutexManager.MutexUnlock;
  208. end;
  209. end
  210. else
  211. begin
  212. MaxAvail:=MemoryManager.MaxAvail();
  213. end;
  214. end;
  215. function MemAvail:Longint;
  216. begin
  217. if IsMultiThread and MemoryManager.NeedLock then
  218. begin
  219. try
  220. MemoryMutexManager.MutexLock;
  221. MemAvail:=MemoryManager.MemAvail();
  222. finally
  223. MemoryMutexManager.MutexUnlock;
  224. end;
  225. end
  226. else
  227. begin
  228. MemAvail:=MemoryManager.MemAvail();
  229. end;
  230. end;
  231. { FPC Additions }
  232. function HeapSize:Longint;
  233. begin
  234. if IsMultiThread and MemoryManager.NeedLock then
  235. begin
  236. try
  237. MemoryMutexManager.MutexLock;
  238. HeapSize:=MemoryManager.HeapSize();
  239. finally
  240. MemoryMutexManager.MutexUnlock;
  241. end;
  242. end
  243. else
  244. begin
  245. HeapSize:=MemoryManager.HeapSize();
  246. end;
  247. end;
  248. function MemSize(p:pointer):Longint;
  249. begin
  250. if IsMultiThread and MemoryManager.NeedLock then
  251. begin
  252. try
  253. MemoryMutexManager.MutexLock;
  254. MemSize:=MemoryManager.MemSize(p);
  255. finally
  256. MemoryMutexManager.MutexUnlock;
  257. end;
  258. end
  259. else
  260. begin
  261. MemSize:=MemoryManager.MemSize(p);
  262. end;
  263. end;
  264. { Delphi style }
  265. function FreeMem(p:pointer):Longint;
  266. begin
  267. if IsMultiThread and MemoryManager.NeedLock then
  268. begin
  269. try
  270. MemoryMutexManager.MutexLock;
  271. Freemem:=MemoryManager.FreeMem(p);
  272. finally
  273. MemoryMutexManager.MutexUnlock;
  274. end;
  275. end
  276. else
  277. begin
  278. Freemem:=MemoryManager.FreeMem(p);
  279. end;
  280. end;
  281. function FreeMemory(p:pointer):Longint;
  282. begin
  283. FreeMemory:=FreeMem(p);
  284. end;
  285. function GetMem(size:longint):pointer;
  286. begin
  287. if IsMultiThread and MemoryManager.NeedLock then
  288. begin
  289. try
  290. MemoryMutexManager.MutexLock;
  291. GetMem:=MemoryManager.GetMem(Size);
  292. finally
  293. MemoryMutexManager.MutexUnlock;
  294. end;
  295. end
  296. else
  297. begin
  298. GetMem:=MemoryManager.GetMem(Size);
  299. end;
  300. end;
  301. function GetMemory(size:longint):pointer;
  302. begin
  303. GetMemory:=Getmem(size);
  304. end;
  305. function AllocMem(Size:Longint):pointer;
  306. begin
  307. if IsMultiThread and MemoryManager.NeedLock then
  308. begin
  309. try
  310. MemoryMutexManager.MutexLock;
  311. AllocMem:=MemoryManager.AllocMem(size);
  312. finally
  313. MemoryMutexManager.MutexUnlock;
  314. end;
  315. end
  316. else
  317. begin
  318. AllocMem:=MemoryManager.AllocMem(size);
  319. end;
  320. end;
  321. function ReAllocMem(var p:pointer;Size:Longint):pointer;
  322. begin
  323. if IsMultiThread and MemoryManager.NeedLock then
  324. begin
  325. try
  326. MemoryMutexManager.MutexLock;
  327. ReAllocMem:=MemoryManager.ReAllocMem(p,size);
  328. finally
  329. MemoryMutexManager.MutexUnlock;
  330. end;
  331. end
  332. else
  333. begin
  334. ReAllocMem:=MemoryManager.ReAllocMem(p,size);
  335. end;
  336. end;
  337. function ReAllocMemory(var p:pointer;Size:Longint):pointer;
  338. begin
  339. ReAllocMemory:=ReAllocMem(p,size);
  340. end;
  341. {$ifdef ValueGetmem}
  342. { Needed for calls from Assembler }
  343. function fpc_getmem(size:longint):pointer;compilerproc;[public,alias:'FPC_GETMEM'];
  344. begin
  345. if IsMultiThread and MemoryManager.NeedLock then
  346. begin
  347. try
  348. MemoryMutexManager.MutexLock;
  349. fpc_GetMem:=MemoryManager.GetMem(size);
  350. finally
  351. MemoryMutexManager.MutexUnlock;
  352. end;
  353. end
  354. else
  355. begin
  356. fpc_GetMem:=MemoryManager.GetMem(size);
  357. end;
  358. end;
  359. {$else ValueGetmem}
  360. { Needed for calls from Assembler }
  361. procedure AsmGetMem(var p:pointer;size:longint);[public,alias:'FPC_GETMEM'];
  362. begin
  363. p:=MemoryManager.GetMem(size);
  364. end;
  365. {$endif ValueGetmem}
  366. {$ifdef ValueFreemem}
  367. procedure fpc_freemem(p:pointer);compilerproc;[public,alias:'FPC_FREEMEM'];
  368. begin
  369. if IsMultiThread and MemoryManager.NeedLock then
  370. begin
  371. try
  372. MemoryMutexManager.MutexLock;
  373. if p <> nil then
  374. MemoryManager.FreeMem(p);
  375. finally
  376. MemoryMutexManager.MutexUnlock;
  377. end;
  378. end
  379. else
  380. begin
  381. if p <> nil then
  382. MemoryManager.FreeMem(p);
  383. end;
  384. end;
  385. {$else ValueFreemem}
  386. procedure AsmFreeMem(var p:pointer);[public,alias:'FPC_FREEMEM'];
  387. begin
  388. if p <> nil then
  389. MemoryManager.FreeMem(p);
  390. end;
  391. {$endif ValueFreemem}
  392. {*****************************************************************************
  393. Heapsize,Memavail,MaxAvail
  394. *****************************************************************************}
  395. function SysHeapsize : longint;
  396. begin
  397. Sysheapsize:=internal_heapsize;
  398. end;
  399. function SysMemavail : longint;
  400. begin
  401. Sysmemavail:=internal_memavail;
  402. end;
  403. function SysMaxavail : longint;
  404. var
  405. hp : pfreerecord;
  406. begin
  407. Sysmaxavail:=heapend-heapptr;
  408. hp:=freelists[0];
  409. while assigned(hp) do
  410. begin
  411. if hp^.size>Sysmaxavail then
  412. Sysmaxavail:=hp^.size;
  413. hp:=hp^.next;
  414. end;
  415. end;
  416. {$ifdef DUMPBLOCKS}
  417. procedure DumpBlocks;
  418. var
  419. s,i,j : longint;
  420. hp : pfreerecord;
  421. begin
  422. for i:=1 to maxblock do
  423. begin
  424. hp:=freelists[i];
  425. j:=0;
  426. while assigned(hp) do
  427. begin
  428. inc(j);
  429. hp:=hp^.next;
  430. end;
  431. writeln('Block ',i*blocksize,': ',j);
  432. end;
  433. { freelist 0 }
  434. hp:=freelists[0];
  435. j:=0;
  436. s:=0;
  437. while assigned(hp) do
  438. begin
  439. inc(j);
  440. if hp^.size>s then
  441. s:=hp^.size;
  442. hp:=hp^.next;
  443. end;
  444. writeln('Main: ',j,' maxsize: ',s);
  445. end;
  446. {$endif}
  447. {$ifdef TestFreeLists}
  448. procedure TestFreeLists;
  449. var
  450. i,j : longint;
  451. hp : pfreerecord;
  452. begin
  453. for i:=0 to maxblock do
  454. begin
  455. j:=0;
  456. hp:=freelists[i];
  457. while assigned(hp) do
  458. begin
  459. inc(j);
  460. if (i>0) and ((hp^.size and sizemask) <> i * blocksize) then
  461. RunError(204);
  462. hp:=hp^.next;
  463. end;
  464. if j<>freecount[i] then
  465. RunError(204);
  466. end;
  467. end;
  468. {$endif TestFreeLists}
  469. {$ifdef CONCATFREE}
  470. {*****************************************************************************
  471. Try concat freerecords
  472. *****************************************************************************}
  473. procedure TryConcatFreeRecord(pcurr:pfreerecord);
  474. var
  475. hp : pfreerecord;
  476. pcurrsize,s1 : longint;
  477. begin
  478. pcurrsize:=pcurr^.size and sizemask;
  479. hp:=pcurr;
  480. repeat
  481. { block used or before a heapend ? }
  482. if (hp^.size and beforeheapendmask)<>0 then
  483. begin
  484. { Peter, why can't we add this one if free ?? }
  485. { It's already added in the previous iteration, we only go to the }
  486. { next heap record after this check (JM) }
  487. pcurr^.size:=pcurrsize or beforeheapendmask;
  488. break;
  489. end;
  490. { get next block }
  491. hp:=pfreerecord(pointer(hp)+(hp^.size and sizemask));
  492. { when we're at heapptr then we can stop and set heapptr to pcurr }
  493. if (hp=heapptr) then
  494. begin
  495. heapptr:=pcurr;
  496. { remove the block }
  497. if assigned(pcurr^.next) then
  498. pcurr^.next^.prev := pcurr^.prev;
  499. if assigned(pcurr^.prev) then
  500. pcurr^.prev^.next := pcurr^.next
  501. else
  502. freelists[0] := pcurr^.next;
  503. {$ifdef SYSTEMDEBUG}
  504. dec(freecount[0]);
  505. {$endif SYSTEMDEBUG}
  506. break;
  507. end;
  508. { block is used? then we stop and add the block to the freelist }
  509. if (hp^.size and usedmask)<>0 then
  510. begin
  511. pcurr^.size:=pcurrsize;
  512. break;
  513. end;
  514. { remove block from freelist and increase the size }
  515. s1:=hp^.size and sizemask;
  516. inc(pcurrsize,s1);
  517. s1:=s1 shr blockshr;
  518. if s1>maxblock then
  519. s1:=0;
  520. if assigned(hp^.next) then
  521. hp^.next^.prev:=hp^.prev;
  522. if assigned(hp^.prev) then
  523. hp^.prev^.next:=hp^.next
  524. else
  525. freelists[s1]:=hp^.next;
  526. {$ifdef SYSTEMDEBUG}
  527. dec(freecount[s1]);
  528. {$endif SYSTEMDEBUG}
  529. until false;
  530. end;
  531. {$endif CONCATFREE}
  532. {*****************************************************************************
  533. SysGetMem
  534. *****************************************************************************}
  535. function SysGetMem(size : longint):pointer;
  536. type
  537. heaperrorproc=function(size:longint):integer;
  538. var
  539. proc : heaperrorproc;
  540. pcurr : pfreerecord;
  541. again : boolean;
  542. s,s1,i,
  543. sizeleft : longint;
  544. {$ifdef BESTMATCH}
  545. pbest : pfreerecord;
  546. {$endif}
  547. begin
  548. { Something to allocate ? }
  549. if size<=0 then
  550. begin
  551. { give an error for < 0 }
  552. if size<0 then
  553. HandleError(204);
  554. { we always need to allocate something, using heapend is not possible,
  555. because heappend can be changed by growheap (PFV) }
  556. size:=1;
  557. end;
  558. { calc to multiply of 16 after adding the needed 8 bytes heaprecord }
  559. size:=(size+sizeof(theaprecord)+(blocksize-1)) and (not (blocksize-1));
  560. dec(internal_memavail,size);
  561. { try to find a block in one of the freelists per size }
  562. s:=size shr blockshr;
  563. if s<=maxblock then
  564. begin
  565. pcurr:=freelists[s];
  566. { correct size match ? }
  567. if assigned(pcurr) then
  568. begin
  569. { create the block we should return }
  570. sysgetmem:=pointer(pcurr)+sizeof(theaprecord);
  571. { fix size }
  572. pcurr^.size:=pcurr^.size or usedmask;
  573. { update freelist }
  574. freelists[s]:=pcurr^.next;
  575. {$ifdef SYSTEMDEBUG}
  576. dec(freecount[s]);
  577. {$endif SYSTEMDEBUG}
  578. if assigned(freelists[s]) then
  579. freelists[s]^.prev:=nil;
  580. {$ifdef TestFreeLists}
  581. if test_each then
  582. TestFreeLists;
  583. {$endif TestFreeLists}
  584. exit;
  585. end;
  586. {$ifdef SMALLATHEAPPTR}
  587. if heapend-heapptr>=size then
  588. begin
  589. sysgetmem:=heapptr;
  590. { set end flag if we do not have enough room to add
  591. another tfreerecord behind }
  592. if (heapptr+size+sizeof(tfreerecord)>=heapend) then
  593. pheaprecord(sysgetmem)^.size:=size or (usedmask or beforeheapendmask)
  594. else
  595. pheaprecord(sysgetmem)^.size:=size or usedmask;
  596. inc(sysgetmem,sizeof(theaprecord));
  597. inc(heapptr,size);
  598. {$ifdef TestFreeLists}
  599. if test_each then
  600. TestFreeLists;
  601. {$endif TestFreeLists}
  602. exit;
  603. end;
  604. {$endif}
  605. {$ifdef REUSEBIGGER}
  606. { try a bigger block }
  607. s1:=s+s;
  608. i:=0;
  609. while (s1<=maxblock) and (i<maxreusebigger) do
  610. begin
  611. pcurr:=freelists[s1];
  612. if assigned(pcurr) then
  613. begin
  614. s:=s1;
  615. break;
  616. end;
  617. inc(s1);
  618. inc(i);
  619. end;
  620. {$endif}
  621. end
  622. else
  623. pcurr:=nil;
  624. { not found, then check the main freelist for the first match }
  625. if not(assigned(pcurr)) then
  626. begin
  627. s:=0;
  628. {$ifdef BESTMATCH}
  629. pbest:=nil;
  630. {$endif}
  631. pcurr:=freelists[0];
  632. while assigned(pcurr) do
  633. begin
  634. {$ifdef BESTMATCH}
  635. if pcurr^.size=size then
  636. break
  637. else
  638. begin
  639. if (pcurr^.size>size) then
  640. begin
  641. if (not assigned(pbest)) or
  642. (pcurr^.size<pbest^.size) then
  643. pbest:=pcurr;
  644. end
  645. end;
  646. {$else BESTMATCH}
  647. {$ifdef CONCATFREE}
  648. TryConcatFreeRecord(pcurr);
  649. if (pcurr <> heapptr) then
  650. begin
  651. if pcurr^.size>=size then
  652. break;
  653. end
  654. else
  655. begin
  656. pcurr := nil;
  657. break;
  658. end;
  659. {$else CONCATFREE}
  660. if pcurr^.size>=size then
  661. break;
  662. {$endif CONCATFREE}
  663. {$endif BESTMATCH}
  664. pcurr:=pcurr^.next;
  665. end;
  666. {$ifdef BESTMATCH}
  667. if not assigned(pcurr) then
  668. pcurr:=pbest;
  669. {$endif}
  670. end;
  671. { have we found a block, then get it and free up the other left part,
  672. if no blocks are found then allocated at the heapptr or grow the heap }
  673. if assigned(pcurr) then
  674. begin
  675. { get pointer of the block we should return }
  676. sysgetmem:=pointer(pcurr);
  677. { remove the current block from the freelist }
  678. if assigned(pcurr^.next) then
  679. pcurr^.next^.prev:=pcurr^.prev;
  680. if assigned(pcurr^.prev) then
  681. pcurr^.prev^.next:=pcurr^.next
  682. else
  683. freelists[s]:=pcurr^.next;
  684. {$ifdef SYSTEMDEBUG}
  685. dec(freecount[s]);
  686. {$endif SYSTEMDEBUG}
  687. { create the left over freelist block, if at least 16 bytes are free }
  688. sizeleft:=pcurr^.size-size;
  689. if sizeleft>=sizeof(tfreerecord) then
  690. begin
  691. pcurr:=pfreerecord(pointer(pcurr)+size);
  692. { inherit the beforeheapendmask }
  693. pcurr^.size:=sizeleft or (pheaprecord(sysgetmem)^.size and beforeheapendmask);
  694. { insert the block in the freelist }
  695. pcurr^.prev:=nil;
  696. s1:=sizeleft shr blockshr;
  697. if s1>maxblock then
  698. s1:=0;
  699. pcurr^.next:=freelists[s1];
  700. if assigned(freelists[s1]) then
  701. freelists[s1]^.prev:=pcurr;
  702. freelists[s1]:=pcurr;
  703. {$ifdef SYSTEMDEBUG}
  704. inc(freecount[s1]);
  705. {$endif SYSTEMDEBUG}
  706. { create the block we need to return }
  707. pheaprecord(sysgetmem)^.size:=size or usedmask;
  708. end
  709. else
  710. begin
  711. { create the block we need to return }
  712. pheaprecord(sysgetmem)^.size:=size or usedmask or (pheaprecord(sysgetmem)^.size and beforeheapendmask);
  713. end;
  714. inc(sysgetmem,sizeof(theaprecord));
  715. {$ifdef TestFreeLists}
  716. if test_each then
  717. TestFreeLists;
  718. {$endif TestFreeLists}
  719. exit;
  720. end;
  721. { Lastly, the top of the heap is checked, to see if there is }
  722. { still memory available. }
  723. repeat
  724. again:=false;
  725. if heapend-heapptr>=size then
  726. begin
  727. sysgetmem:=heapptr;
  728. if (heapptr+size+sizeof(tfreerecord)>=heapend) then
  729. pheaprecord(sysgetmem)^.size:=size or (usedmask or beforeheapendmask)
  730. else
  731. pheaprecord(sysgetmem)^.size:=size or usedmask;
  732. inc(sysgetmem,sizeof(theaprecord));
  733. inc(heapptr,size);
  734. {$ifdef TestFreeLists}
  735. if test_each then
  736. TestFreeLists;
  737. {$endif TestFreeLists}
  738. exit;
  739. end;
  740. { Call the heaperror proc }
  741. if assigned(heaperror) then
  742. begin
  743. proc:=heaperrorproc(heaperror);
  744. case proc(size) of
  745. 0 : HandleError(203);
  746. 1 : sysgetmem:=nil;
  747. 2 : again:=true;
  748. end;
  749. end
  750. else
  751. HandleError(203);
  752. until not again;
  753. {$ifdef TestFreeLists}
  754. if test_each then
  755. TestFreeLists;
  756. {$endif TestFreeLists}
  757. end;
  758. {*****************************************************************************
  759. SysFreeMem
  760. *****************************************************************************}
  761. Function SysFreeMem(p : pointer):Longint;
  762. var
  763. pcurrsize,s : longint;
  764. pcurr : pfreerecord;
  765. begin
  766. if p=nil then
  767. HandleError(204);
  768. { fix p to point to the heaprecord }
  769. pcurr:=pfreerecord(pointer(p)-sizeof(theaprecord));
  770. pcurrsize:=pcurr^.size and sizemask;
  771. inc(internal_memavail,pcurrsize);
  772. { insert the block in it's freelist }
  773. pcurr^.size:=pcurr^.size and (not usedmask);
  774. pcurr^.prev:=nil;
  775. s:=pcurrsize shr blockshr;
  776. if s>maxblock then
  777. s:=0;
  778. pcurr^.next:=freelists[s];
  779. if assigned(pcurr^.next) then
  780. pcurr^.next^.prev:=pcurr;
  781. freelists[s]:=pcurr;
  782. {$ifdef SYSTEMDEBUG}
  783. inc(freecount[s]);
  784. {$endif SYSTEMDEBUG}
  785. SysFreeMem:=pcurrsize;
  786. {$ifdef TestFreeLists}
  787. if test_each then
  788. TestFreeLists;
  789. {$endif TestFreeLists}
  790. end;
  791. {*****************************************************************************
  792. SysFreeMemSize
  793. *****************************************************************************}
  794. Function SysFreeMemSize(p : pointer;size : longint):longint;
  795. var
  796. pcurrsize,s : longint;
  797. pcurr : pfreerecord;
  798. begin
  799. SysFreeMemSize:=0;
  800. if size<=0 then
  801. begin
  802. if size<0 then
  803. HandleError(204);
  804. exit;
  805. end;
  806. if p=nil then
  807. HandleError(204);
  808. { fix p to point to the heaprecord }
  809. pcurr:=pfreerecord(pointer(p)-sizeof(theaprecord));
  810. pcurrsize:=pcurr^.size and sizemask;
  811. inc(internal_memavail,pcurrsize);
  812. { size check }
  813. size:=(size+sizeof(theaprecord)+(blocksize-1)) and (not (blocksize-1));
  814. if size<>pcurrsize then
  815. HandleError(204);
  816. { insert the block in it's freelist }
  817. pcurr^.size:=pcurr^.size and (not usedmask);
  818. pcurr^.prev:=nil;
  819. { set the return values }
  820. s:=pcurrsize shr blockshr;
  821. if s>maxblock then
  822. s:=0;
  823. pcurr^.next:=freelists[s];
  824. if assigned(pcurr^.next) then
  825. pcurr^.next^.prev:=pcurr;
  826. freelists[s]:=pcurr;
  827. {$ifdef SYSTEMDEBUG}
  828. inc(freecount[s]);
  829. {$endif SYSTEMDEBUG}
  830. SysFreeMemSize:=pcurrsize;
  831. {$ifdef TestFreeLists}
  832. if test_each then
  833. TestFreeLists;
  834. {$endif TestFreeLists}
  835. end;
  836. {*****************************************************************************
  837. SysMemSize
  838. *****************************************************************************}
  839. function SysMemSize(p:pointer):longint;
  840. begin
  841. SysMemSize:=(pheaprecord(pointer(p)-sizeof(theaprecord))^.size and sizemask)-sizeof(theaprecord);
  842. end;
  843. {*****************************************************************************
  844. SysAllocMem
  845. *****************************************************************************}
  846. function SysAllocMem(size : longint):pointer;
  847. begin
  848. sysallocmem:=MemoryManager.GetMem(size);
  849. if sysallocmem<>nil then
  850. FillChar(sysallocmem^,size,0);
  851. end;
  852. {*****************************************************************************
  853. SysResizeMem
  854. *****************************************************************************}
  855. function SysTryResizeMem(var p:pointer;size : longint):boolean;
  856. var
  857. oldsize,
  858. currsize,
  859. foundsize,
  860. sizeleft,
  861. s : longint;
  862. wasbeforeheapend : boolean;
  863. hp,
  864. pnew,
  865. pcurr : pfreerecord;
  866. begin
  867. { fix needed size }
  868. size:=(size+sizeof(theaprecord)+(blocksize-1)) and (not (blocksize-1));
  869. { fix p to point to the heaprecord }
  870. pcurr:=pfreerecord(pointer(p)-sizeof(theaprecord));
  871. currsize:=pcurr^.size and sizemask;
  872. oldsize:=currsize;
  873. wasbeforeheapend:=(pcurr^.size and beforeheapendmask)<>0;
  874. { is the allocated block still correct? }
  875. if currsize=size then
  876. begin
  877. SysTryResizeMem:=true;
  878. {$ifdef TestFreeLists}
  879. if test_each then
  880. TestFreeLists;
  881. {$endif TestFreeLists}
  882. exit;
  883. end;
  884. { do we need to allocate more memory ? }
  885. if size>currsize then
  886. begin
  887. { the size is bigger than the previous size, we need to allocated more mem.
  888. We first check if the blocks after the current block are free. If not we
  889. simply call getmem/freemem to get the new block }
  890. foundsize:=0;
  891. hp:=pcurr;
  892. repeat
  893. inc(foundsize,hp^.size and sizemask);
  894. { block used or before a heapptr ? }
  895. if (hp^.size and beforeheapendmask)<>0 then
  896. begin
  897. wasbeforeheapend:=true;
  898. break;
  899. end;
  900. { get next block }
  901. hp:=pfreerecord(pointer(hp)+(hp^.size and sizemask));
  902. { when we're at heapptr then we can stop }
  903. if (hp=heapptr) then
  904. begin
  905. inc(foundsize,heapend-heapptr);
  906. break;
  907. end;
  908. if (hp^.size and usedmask)<>0 then
  909. break;
  910. until (foundsize>=size);
  911. { found enough free blocks? }
  912. if foundsize>=size then
  913. begin
  914. { we walk the list again and remove all blocks }
  915. foundsize:=pcurr^.size and sizemask;
  916. hp:=pcurr;
  917. repeat
  918. { get next block }
  919. hp:=pfreerecord(pointer(hp)+(hp^.size and sizemask));
  920. { when we're at heapptr then we can increase it, if there is enough
  921. room is already checked }
  922. if (hp=heapptr) then
  923. begin
  924. inc(heapptr,size-foundsize);
  925. foundsize:=size;
  926. if (heapend-heapptr)<sizeof(tfreerecord) then
  927. wasbeforeheapend:=true;
  928. break;
  929. end;
  930. s:=hp^.size and sizemask;
  931. inc(foundsize,s);
  932. { remove block from freelist }
  933. s:=s shr blockshr;
  934. if s>maxblock then
  935. s:=0;
  936. if assigned(hp^.next) then
  937. hp^.next^.prev:=hp^.prev;
  938. if assigned(hp^.prev) then
  939. hp^.prev^.next:=hp^.next
  940. else
  941. freelists[s]:=hp^.next;
  942. {$ifdef SYSTEMDEBUG}
  943. dec(freecount[s]);
  944. {$endif SYSTEMDEBUG}
  945. until (foundsize>=size);
  946. if wasbeforeheapend then
  947. pcurr^.size:=foundsize or usedmask or beforeheapendmask
  948. else
  949. pcurr^.size:=foundsize or usedmask;
  950. end
  951. else
  952. begin
  953. { we need to call getmem/move/freemem }
  954. SysTryResizeMem:=false;
  955. {$ifdef TestFreeLists}
  956. if test_each then
  957. TestFreeLists;
  958. {$endif TestFreeLists}
  959. exit;
  960. end;
  961. currsize:=pcurr^.size and sizemask;
  962. end;
  963. { is the size smaller then we can adjust the block to that size and insert
  964. the other part into the freelist }
  965. if size<currsize then
  966. begin
  967. { create the left over freelist block, if at least 16 bytes are free }
  968. sizeleft:=currsize-size;
  969. if sizeleft>sizeof(tfreerecord) then
  970. begin
  971. pnew:=pfreerecord(pointer(pcurr)+size);
  972. pnew^.size:=sizeleft or (pcurr^.size and beforeheapendmask);
  973. { insert the block in the freelist }
  974. pnew^.prev:=nil;
  975. s:=sizeleft shr blockshr;
  976. if s>maxblock then
  977. s:=0;
  978. pnew^.next:=freelists[s];
  979. if assigned(freelists[s]) then
  980. freelists[s]^.prev:=pnew;
  981. freelists[s]:=pnew;
  982. {$ifdef SYSTEMDEBUG}
  983. inc(freecount[s]);
  984. {$endif SYSTEMDEBUG}
  985. { fix the size of the current block and leave }
  986. pcurr^.size:=size or usedmask;
  987. end
  988. else
  989. begin
  990. { fix the size of the current block and leave }
  991. pcurr^.size:=size or usedmask or (pcurr^.size and beforeheapendmask);
  992. end;
  993. end;
  994. dec(internal_memavail,size-oldsize);
  995. SysTryResizeMem:=true;
  996. {$ifdef TestFreeLists}
  997. if test_each then
  998. TestFreeLists;
  999. {$endif TestFreeLists}
  1000. end;
  1001. {*****************************************************************************
  1002. SysResizeMem
  1003. *****************************************************************************}
  1004. function SysReAllocMem(var p:pointer;size : longint):pointer;
  1005. var
  1006. oldsize : longint;
  1007. p2 : pointer;
  1008. begin
  1009. { Free block? }
  1010. if size=0 then
  1011. begin
  1012. if p<>nil then
  1013. begin
  1014. MemoryManager.FreeMem(p);
  1015. p:=nil;
  1016. end;
  1017. end
  1018. else
  1019. { Allocate a new block? }
  1020. if p=nil then
  1021. begin
  1022. p:=MemoryManager.GetMem(size);
  1023. end
  1024. else
  1025. { Resize block }
  1026. if not SysTryResizeMem(p,size) then
  1027. begin
  1028. oldsize:=MemoryManager.MemSize(p);
  1029. p2:=MemoryManager.GetMem(size);
  1030. if p2<>nil then
  1031. Move(p^,p2^,oldsize);
  1032. MemoryManager.FreeMem(p);
  1033. p:=p2;
  1034. end;
  1035. SysReAllocMem:=p;
  1036. end;
  1037. {*****************************************************************************
  1038. Mark/Release
  1039. *****************************************************************************}
  1040. procedure release(var p : pointer);
  1041. begin
  1042. end;
  1043. procedure mark(var p : pointer);
  1044. begin
  1045. end;
  1046. {*****************************************************************************
  1047. Grow Heap
  1048. *****************************************************************************}
  1049. function growheap(size : SizeInt) : integer;
  1050. var
  1051. sizeleft,s1 : longword;
  1052. NewPos : pointer;
  1053. pcurr : pfreerecord;
  1054. begin
  1055. {$ifdef DUMPGROW}
  1056. writeln('growheap(',size,') allocating ',(size+$ffff) and $ffff0000);
  1057. DumpBlocks;
  1058. {$endif}
  1059. { Allocate by 64K size }
  1060. size:=(size+$ffff) and $ffff0000;
  1061. { first try 256K (default) }
  1062. if size<=GrowHeapSize1 then
  1063. begin
  1064. NewPos:=Sbrk(GrowHeapSize1);
  1065. if NewPos<>nil then
  1066. size:=GrowHeapSize1;
  1067. end
  1068. else
  1069. { second try 1024K (default) }
  1070. if size<=GrowHeapSize2 then
  1071. begin
  1072. NewPos:=Sbrk(GrowHeapSize2);
  1073. if NewPos<>nil then
  1074. size:=GrowHeapSize2;
  1075. end
  1076. { else allocate the needed bytes }
  1077. else
  1078. NewPos:=SBrk(size);
  1079. { try again }
  1080. if NewPos=nil then
  1081. begin
  1082. NewPos:=Sbrk(size);
  1083. if NewPos=nil then
  1084. begin
  1085. if ReturnNilIfGrowHeapFails then
  1086. GrowHeap:=1
  1087. else
  1088. GrowHeap:=0;
  1089. Exit;
  1090. end;
  1091. end;
  1092. { increase heapend or add to freelist }
  1093. if heapend=newpos then
  1094. begin
  1095. heapend:=newpos+size;
  1096. end
  1097. else
  1098. begin
  1099. { create freelist entry for old heapptr-heapend }
  1100. sizeleft:=heapend-heapptr;
  1101. if sizeleft>=sizeof(tfreerecord) then
  1102. begin
  1103. pcurr:=pfreerecord(heapptr);
  1104. pcurr^.size:=sizeleft or beforeheapendmask;
  1105. { insert the block in the freelist }
  1106. s1:=sizeleft shr blockshr;
  1107. if s1>maxblock then
  1108. s1:=0;
  1109. pcurr^.next:=freelists[s1];
  1110. pcurr^.prev:=nil;
  1111. if assigned(freelists[s1]) then
  1112. freelists[s1]^.prev:=pcurr;
  1113. freelists[s1]:=pcurr;
  1114. {$ifdef SYSTEMDEBUG}
  1115. inc(freecount[s1]);
  1116. {$endif SYSTEMDEBUG}
  1117. end;
  1118. { now set the new heapptr,heapend to the new block }
  1119. heapptr:=newpos;
  1120. heapend:=newpos+size;
  1121. end;
  1122. { set the total new heap size }
  1123. inc(internal_memavail,size);
  1124. inc(internal_heapsize,size);
  1125. { try again }
  1126. GrowHeap:=2;
  1127. {$ifdef TestFreeLists}
  1128. TestFreeLists;
  1129. {$endif TestFreeLists}
  1130. end;
  1131. {*****************************************************************************
  1132. MemoryMutexManager default hooks
  1133. *****************************************************************************}
  1134. procedure SysHeapMutexInit;
  1135. begin
  1136. { nothing todo }
  1137. end;
  1138. procedure SysHeapMutexDone;
  1139. begin
  1140. { nothing todo }
  1141. end;
  1142. procedure SysHeapMutexLock;
  1143. begin
  1144. { give an runtime error. the program is running multithreaded without
  1145. any heap protection. this will result in unpredictable errors so
  1146. stopping here with an error is more safe (PFV) }
  1147. runerror(244);
  1148. end;
  1149. procedure SysHeapMutexUnLock;
  1150. begin
  1151. { see SysHeapMutexLock for comment }
  1152. runerror(244);
  1153. end;
  1154. {*****************************************************************************
  1155. InitHeap
  1156. *****************************************************************************}
  1157. { This function will initialize the Heap manager and need to be called from
  1158. the initialization of the system unit }
  1159. procedure InitHeap;
  1160. begin
  1161. FillChar(FreeLists,sizeof(TFreeLists),0);
  1162. {$ifdef SYSTEMDEBUG}
  1163. FillChar(FreeCount,sizeof(TFreeCount),0);
  1164. {$endif SYSTEMDEBUG}
  1165. internal_heapsize:=GetHeapSize;
  1166. internal_memavail:=internal_heapsize;
  1167. HeapOrg:=GetHeapStart;
  1168. HeapPtr:=HeapOrg;
  1169. HeapEnd:=HeapOrg+internal_memavail;
  1170. HeapError:=@GrowHeap;
  1171. end;
  1172. {
  1173. $Log$
  1174. Revision 1.24 2003-10-02 14:03:24 marco
  1175. * *memORY overloads
  1176. Revision 1.23 2003/09/28 12:43:48 peter
  1177. * fixed wrong check when allocation of a block > 1mb failed
  1178. Revision 1.22 2003/09/27 11:52:35 peter
  1179. * sbrk returns pointer
  1180. Revision 1.21 2003/05/23 14:53:48 peter
  1181. * check newpos < 0 instead of = -1
  1182. Revision 1.20 2003/05/01 08:05:23 florian
  1183. * started to make the rtl 64 bit save by introducing SizeInt and SizeUInt (similar to size_t of C)
  1184. Revision 1.19 2002/11/01 17:38:04 peter
  1185. * fix setmemorymutexmanager to call mutexdone on the already
  1186. installed manager instead of the passed manager
  1187. Revision 1.18 2002/10/30 20:39:13 peter
  1188. * MemoryManager record has a field NeedLock if the wrapper functions
  1189. need to provide locking for multithreaded programs
  1190. Revision 1.17 2002/10/30 19:54:19 peter
  1191. * remove wrong lock from SysMemSize, MemSize() does the locking
  1192. already.
  1193. Revision 1.16 2002/10/14 19:39:17 peter
  1194. * threads unit added for thread support
  1195. Revision 1.15 2002/09/07 15:07:45 peter
  1196. * old logs removed and tabs fixed
  1197. Revision 1.14 2002/06/17 08:33:04 jonas
  1198. * heap manager now fragments the heap much less
  1199. Revision 1.13 2002/04/21 18:56:59 peter
  1200. * fpc_freemem and fpc_getmem compilerproc
  1201. Revision 1.12 2002/02/10 15:33:45 carl
  1202. * fixed some missing IsMultiThreaded variables
  1203. Revision 1.11 2002/01/02 13:43:09 jonas
  1204. * fix for web bug 1727 from Peter (corrected)
  1205. }