malloc.h 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968
  1. /*
  2. This is a version (aka dlmalloc) of malloc/free/realloc written by
  3. Doug Lea and released to the public domain. Use, modify, and
  4. redistribute this code without permission or acknowledgement in any
  5. way you wish. Send questions, comments, complaints, performance
  6. data, etc to dl@cs.oswego.edu
  7. VERSION 2.7.2 Sat Aug 17 09:07:30 2002 Doug Lea (dl at gee)
  8. Note: There may be an updated version of this malloc obtainable at
  9. ftp://gee.cs.oswego.edu/pub/misc/malloc.c
  10. Check before installing!
  11. Hacked up for uClibc by Erik Andersen <andersen@codepoet.org>
  12. */
  13. #include <features.h>
  14. #include <stddef.h>
  15. #include <unistd.h>
  16. #include <errno.h>
  17. #include <string.h>
  18. #include <malloc.h>
  19. #include <stdlib.h>
  20. #include <sys/mman.h>
  21. libc_hidden_proto(mmap)
  22. libc_hidden_proto(sysconf)
  23. libc_hidden_proto(sbrk)
  24. libc_hidden_proto(abort)
  25. #ifdef __UCLIBC_HAS_THREADS__
  26. # include <pthread.h>
  27. extern pthread_mutex_t __malloc_lock;
  28. libc_hidden_proto(__malloc_lock)
  29. #endif
  30. #define LOCK __pthread_mutex_lock(&__malloc_lock)
  31. #define UNLOCK __pthread_mutex_unlock(&__malloc_lock)
  32. /*
  33. MALLOC_ALIGNMENT is the minimum alignment for malloc'ed chunks.
  34. It must be a power of two at least 2 * (sizeof(size_t)), even on machines
  35. for which smaller alignments would suffice. It may be defined as
  36. larger than this though. Note however that code and data structures
  37. are optimized for the case of 8-byte alignment.
  38. */
  39. #ifndef MALLOC_ALIGNMENT
  40. #define MALLOC_ALIGNMENT (2 * (sizeof(size_t)))
  41. #endif
  42. /* The corresponding bit mask value */
  43. #define MALLOC_ALIGN_MASK (MALLOC_ALIGNMENT - 1)
  44. /*
  45. TRIM_FASTBINS controls whether free() of a very small chunk can
  46. immediately lead to trimming. Setting to true (1) can reduce memory
  47. footprint, but will almost always slow down programs that use a lot
  48. of small chunks.
  49. Define this only if you are willing to give up some speed to more
  50. aggressively reduce system-level memory footprint when releasing
  51. memory in programs that use many small chunks. You can get
  52. essentially the same effect by setting MXFAST to 0, but this can
  53. lead to even greater slowdowns in programs using many small chunks.
  54. TRIM_FASTBINS is an in-between compile-time option, that disables
  55. only those chunks bordering topmost memory from being placed in
  56. fastbins.
  57. */
  58. #ifndef TRIM_FASTBINS
  59. #define TRIM_FASTBINS 0
  60. #endif
  61. /*
  62. MORECORE-related declarations. By default, rely on sbrk
  63. */
  64. /*
  65. MORECORE is the name of the routine to call to obtain more memory
  66. from the system. See below for general guidance on writing
  67. alternative MORECORE functions, as well as a version for WIN32 and a
  68. sample version for pre-OSX macos.
  69. */
  70. #ifndef MORECORE
  71. #define MORECORE sbrk
  72. #endif
  73. /*
  74. MORECORE_FAILURE is the value returned upon failure of MORECORE
  75. as well as mmap. Since it cannot be an otherwise valid memory address,
  76. and must reflect values of standard sys calls, you probably ought not
  77. try to redefine it.
  78. */
  79. #ifndef MORECORE_FAILURE
  80. #define MORECORE_FAILURE (-1)
  81. #endif
  82. /*
  83. If MORECORE_CONTIGUOUS is true, take advantage of fact that
  84. consecutive calls to MORECORE with positive arguments always return
  85. contiguous increasing addresses. This is true of unix sbrk. Even
  86. if not defined, when regions happen to be contiguous, malloc will
  87. permit allocations spanning regions obtained from different
  88. calls. But defining this when applicable enables some stronger
  89. consistency checks and space efficiencies.
  90. */
  91. #ifndef MORECORE_CONTIGUOUS
  92. #define MORECORE_CONTIGUOUS 1
  93. #endif
  94. /*
  95. MMAP_AS_MORECORE_SIZE is the minimum mmap size argument to use if
  96. sbrk fails, and mmap is used as a backup (which is done only if
  97. HAVE_MMAP). The value must be a multiple of page size. This
  98. backup strategy generally applies only when systems have "holes" in
  99. address space, so sbrk cannot perform contiguous expansion, but
  100. there is still space available on system. On systems for which
  101. this is known to be useful (i.e. most linux kernels), this occurs
  102. only when programs allocate huge amounts of memory. Between this,
  103. and the fact that mmap regions tend to be limited, the size should
  104. be large, to avoid too many mmap calls and thus avoid running out
  105. of kernel resources.
  106. */
  107. #ifndef MMAP_AS_MORECORE_SIZE
  108. #define MMAP_AS_MORECORE_SIZE (1024 * 1024)
  109. #endif
  110. /*
  111. The system page size. To the extent possible, this malloc manages
  112. memory from the system in page-size units. Note that this value is
  113. cached during initialization into a field of malloc_state. So even
  114. if malloc_getpagesize is a function, it is only called once.
  115. The following mechanics for getpagesize were adapted from bsd/gnu
  116. getpagesize.h. If none of the system-probes here apply, a value of
  117. 4096 is used, which should be OK: If they don't apply, then using
  118. the actual value probably doesn't impact performance.
  119. */
  120. #ifndef malloc_getpagesize
  121. # include <unistd.h>
  122. # define malloc_getpagesize sysconf(_SC_PAGESIZE)
  123. #else /* just guess */
  124. # define malloc_getpagesize (4096)
  125. #endif
  126. /* mallopt tuning options */
  127. /*
  128. M_MXFAST is the maximum request size used for "fastbins", special bins
  129. that hold returned chunks without consolidating their spaces. This
  130. enables future requests for chunks of the same size to be handled
  131. very quickly, but can increase fragmentation, and thus increase the
  132. overall memory footprint of a program.
  133. This malloc manages fastbins very conservatively yet still
  134. efficiently, so fragmentation is rarely a problem for values less
  135. than or equal to the default. The maximum supported value of MXFAST
  136. is 80. You wouldn't want it any higher than this anyway. Fastbins
  137. are designed especially for use with many small structs, objects or
  138. strings -- the default handles structs/objects/arrays with sizes up
  139. to 16 4byte fields, or small strings representing words, tokens,
  140. etc. Using fastbins for larger objects normally worsens
  141. fragmentation without improving speed.
  142. M_MXFAST is set in REQUEST size units. It is internally used in
  143. chunksize units, which adds padding and alignment. You can reduce
  144. M_MXFAST to 0 to disable all use of fastbins. This causes the malloc
  145. algorithm to be a closer approximation of fifo-best-fit in all cases,
  146. not just for larger requests, but will generally cause it to be
  147. slower.
  148. */
  149. /* M_MXFAST is a standard SVID/XPG tuning option, usually listed in malloc.h */
  150. #ifndef M_MXFAST
  151. #define M_MXFAST 1
  152. #endif
  153. #ifndef DEFAULT_MXFAST
  154. #define DEFAULT_MXFAST 64
  155. #endif
  156. /*
  157. M_TRIM_THRESHOLD is the maximum amount of unused top-most memory
  158. to keep before releasing via malloc_trim in free().
  159. Automatic trimming is mainly useful in long-lived programs.
  160. Because trimming via sbrk can be slow on some systems, and can
  161. sometimes be wasteful (in cases where programs immediately
  162. afterward allocate more large chunks) the value should be high
  163. enough so that your overall system performance would improve by
  164. releasing this much memory.
  165. The trim threshold and the mmap control parameters (see below)
  166. can be traded off with one another. Trimming and mmapping are
  167. two different ways of releasing unused memory back to the
  168. system. Between these two, it is often possible to keep
  169. system-level demands of a long-lived program down to a bare
  170. minimum. For example, in one test suite of sessions measuring
  171. the XF86 X server on Linux, using a trim threshold of 128K and a
  172. mmap threshold of 192K led to near-minimal long term resource
  173. consumption.
  174. If you are using this malloc in a long-lived program, it should
  175. pay to experiment with these values. As a rough guide, you
  176. might set to a value close to the average size of a process
  177. (program) running on your system. Releasing this much memory
  178. would allow such a process to run in memory. Generally, it's
  179. worth it to tune for trimming rather tham memory mapping when a
  180. program undergoes phases where several large chunks are
  181. allocated and released in ways that can reuse each other's
  182. storage, perhaps mixed with phases where there are no such
  183. chunks at all. And in well-behaved long-lived programs,
  184. controlling release of large blocks via trimming versus mapping
  185. is usually faster.
  186. However, in most programs, these parameters serve mainly as
  187. protection against the system-level effects of carrying around
  188. massive amounts of unneeded memory. Since frequent calls to
  189. sbrk, mmap, and munmap otherwise degrade performance, the default
  190. parameters are set to relatively high values that serve only as
  191. safeguards.
  192. The trim value must be greater than page size to have any useful
  193. effect. To disable trimming completely, you can set to
  194. (unsigned long)(-1)
  195. Trim settings interact with fastbin (MXFAST) settings: Unless
  196. TRIM_FASTBINS is defined, automatic trimming never takes place upon
  197. freeing a chunk with size less than or equal to MXFAST. Trimming is
  198. instead delayed until subsequent freeing of larger chunks. However,
  199. you can still force an attempted trim by calling malloc_trim.
  200. Also, trimming is not generally possible in cases where
  201. the main arena is obtained via mmap.
  202. Note that the trick some people use of mallocing a huge space and
  203. then freeing it at program startup, in an attempt to reserve system
  204. memory, doesn't have the intended effect under automatic trimming,
  205. since that memory will immediately be returned to the system.
  206. */
  207. #define M_TRIM_THRESHOLD -1
  208. #ifndef DEFAULT_TRIM_THRESHOLD
  209. #define DEFAULT_TRIM_THRESHOLD (256 * 1024)
  210. #endif
  211. /*
  212. M_TOP_PAD is the amount of extra `padding' space to allocate or
  213. retain whenever sbrk is called. It is used in two ways internally:
  214. * When sbrk is called to extend the top of the arena to satisfy
  215. a new malloc request, this much padding is added to the sbrk
  216. request.
  217. * When malloc_trim is called automatically from free(),
  218. it is used as the `pad' argument.
  219. In both cases, the actual amount of padding is rounded
  220. so that the end of the arena is always a system page boundary.
  221. The main reason for using padding is to avoid calling sbrk so
  222. often. Having even a small pad greatly reduces the likelihood
  223. that nearly every malloc request during program start-up (or
  224. after trimming) will invoke sbrk, which needlessly wastes
  225. time.
  226. Automatic rounding-up to page-size units is normally sufficient
  227. to avoid measurable overhead, so the default is 0. However, in
  228. systems where sbrk is relatively slow, it can pay to increase
  229. this value, at the expense of carrying around more memory than
  230. the program needs.
  231. */
  232. #define M_TOP_PAD -2
  233. #ifndef DEFAULT_TOP_PAD
  234. #define DEFAULT_TOP_PAD (0)
  235. #endif
  236. /*
  237. M_MMAP_THRESHOLD is the request size threshold for using mmap()
  238. to service a request. Requests of at least this size that cannot
  239. be allocated using already-existing space will be serviced via mmap.
  240. (If enough normal freed space already exists it is used instead.)
  241. Using mmap segregates relatively large chunks of memory so that
  242. they can be individually obtained and released from the host
  243. system. A request serviced through mmap is never reused by any
  244. other request (at least not directly; the system may just so
  245. happen to remap successive requests to the same locations).
  246. Segregating space in this way has the benefits that:
  247. 1. Mmapped space can ALWAYS be individually released back
  248. to the system, which helps keep the system level memory
  249. demands of a long-lived program low.
  250. 2. Mapped memory can never become `locked' between
  251. other chunks, as can happen with normally allocated chunks, which
  252. means that even trimming via malloc_trim would not release them.
  253. 3. On some systems with "holes" in address spaces, mmap can obtain
  254. memory that sbrk cannot.
  255. However, it has the disadvantages that:
  256. 1. The space cannot be reclaimed, consolidated, and then
  257. used to service later requests, as happens with normal chunks.
  258. 2. It can lead to more wastage because of mmap page alignment
  259. requirements
  260. 3. It causes malloc performance to be more dependent on host
  261. system memory management support routines which may vary in
  262. implementation quality and may impose arbitrary
  263. limitations. Generally, servicing a request via normal
  264. malloc steps is faster than going through a system's mmap.
  265. The advantages of mmap nearly always outweigh disadvantages for
  266. "large" chunks, but the value of "large" varies across systems. The
  267. default is an empirically derived value that works well in most
  268. systems.
  269. */
  270. #define M_MMAP_THRESHOLD -3
  271. #ifndef DEFAULT_MMAP_THRESHOLD
  272. #define DEFAULT_MMAP_THRESHOLD (256 * 1024)
  273. #endif
  274. /*
  275. M_MMAP_MAX is the maximum number of requests to simultaneously
  276. service using mmap. This parameter exists because
  277. . Some systems have a limited number of internal tables for
  278. use by mmap, and using more than a few of them may degrade
  279. performance.
  280. The default is set to a value that serves only as a safeguard.
  281. Setting to 0 disables use of mmap for servicing large requests. If
  282. HAVE_MMAP is not set, the default value is 0, and attempts to set it
  283. to non-zero values in mallopt will fail.
  284. */
  285. #define M_MMAP_MAX -4
  286. #ifndef DEFAULT_MMAP_MAX
  287. #define DEFAULT_MMAP_MAX (65536)
  288. #endif
  289. /* ------------------ MMAP support ------------------ */
  290. #include <fcntl.h>
  291. #include <sys/mman.h>
  292. #if !defined(MAP_ANONYMOUS) && defined(MAP_ANON)
  293. #define MAP_ANONYMOUS MAP_ANON
  294. #endif
  295. #ifdef __ARCH_HAS_MMU__
  296. #define MMAP(addr, size, prot) \
  297. (mmap((addr), (size), (prot), MAP_PRIVATE|MAP_ANONYMOUS, 0, 0))
  298. #else
  299. #define MMAP(addr, size, prot) \
  300. (mmap((addr), (size), (prot), MAP_SHARED|MAP_ANONYMOUS, 0, 0))
  301. #endif
  302. /* ----------------------- Chunk representations ----------------------- */
  303. /*
  304. This struct declaration is misleading (but accurate and necessary).
  305. It declares a "view" into memory allowing access to necessary
  306. fields at known offsets from a given base. See explanation below.
  307. */
  308. struct malloc_chunk {
  309. size_t prev_size; /* Size of previous chunk (if free). */
  310. size_t size; /* Size in bytes, including overhead. */
  311. struct malloc_chunk* fd; /* double links -- used only if free. */
  312. struct malloc_chunk* bk;
  313. };
  314. typedef struct malloc_chunk* mchunkptr;
  315. /*
  316. malloc_chunk details:
  317. (The following includes lightly edited explanations by Colin Plumb.)
  318. Chunks of memory are maintained using a `boundary tag' method as
  319. described in e.g., Knuth or Standish. (See the paper by Paul
  320. Wilson ftp://ftp.cs.utexas.edu/pub/garbage/allocsrv.ps for a
  321. survey of such techniques.) Sizes of free chunks are stored both
  322. in the front of each chunk and at the end. This makes
  323. consolidating fragmented chunks into bigger chunks very fast. The
  324. size fields also hold bits representing whether chunks are free or
  325. in use.
  326. An allocated chunk looks like this:
  327. chunk-> +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  328. | Size of previous chunk, if allocated | |
  329. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  330. | Size of chunk, in bytes |P|
  331. mem-> +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  332. | User data starts here... .
  333. . .
  334. . (malloc_usable_space() bytes) .
  335. . |
  336. nextchunk-> +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  337. | Size of chunk |
  338. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  339. Where "chunk" is the front of the chunk for the purpose of most of
  340. the malloc code, but "mem" is the pointer that is returned to the
  341. user. "Nextchunk" is the beginning of the next contiguous chunk.
  342. Chunks always begin on even word boundries, so the mem portion
  343. (which is returned to the user) is also on an even word boundary, and
  344. thus at least double-word aligned.
  345. Free chunks are stored in circular doubly-linked lists, and look like this:
  346. chunk-> +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  347. | Size of previous chunk |
  348. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  349. `head:' | Size of chunk, in bytes |P|
  350. mem-> +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  351. | Forward pointer to next chunk in list |
  352. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  353. | Back pointer to previous chunk in list |
  354. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  355. | Unused space (may be 0 bytes long) .
  356. . .
  357. . |
  358. nextchunk-> +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  359. `foot:' | Size of chunk, in bytes |
  360. +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  361. The P (PREV_INUSE) bit, stored in the unused low-order bit of the
  362. chunk size (which is always a multiple of two words), is an in-use
  363. bit for the *previous* chunk. If that bit is *clear*, then the
  364. word before the current chunk size contains the previous chunk
  365. size, and can be used to find the front of the previous chunk.
  366. The very first chunk allocated always has this bit set,
  367. preventing access to non-existent (or non-owned) memory. If
  368. prev_inuse is set for any given chunk, then you CANNOT determine
  369. the size of the previous chunk, and might even get a memory
  370. addressing fault when trying to do so.
  371. Note that the `foot' of the current chunk is actually represented
  372. as the prev_size of the NEXT chunk. This makes it easier to
  373. deal with alignments etc but can be very confusing when trying
  374. to extend or adapt this code.
  375. The two exceptions to all this are
  376. 1. The special chunk `top' doesn't bother using the
  377. trailing size field since there is no next contiguous chunk
  378. that would have to index off it. After initialization, `top'
  379. is forced to always exist. If it would become less than
  380. MINSIZE bytes long, it is replenished.
  381. 2. Chunks allocated via mmap, which have the second-lowest-order
  382. bit (IS_MMAPPED) set in their size fields. Because they are
  383. allocated one-by-one, each must contain its own trailing size field.
  384. */
  385. /*
  386. ---------- Size and alignment checks and conversions ----------
  387. */
  388. /* conversion from malloc headers to user pointers, and back */
  389. #define chunk2mem(p) ((void*)((char*)(p) + 2*(sizeof(size_t))))
  390. #define mem2chunk(mem) ((mchunkptr)((char*)(mem) - 2*(sizeof(size_t))))
  391. /* The smallest possible chunk */
  392. #define MIN_CHUNK_SIZE (sizeof(struct malloc_chunk))
  393. /* The smallest size we can malloc is an aligned minimal chunk */
  394. #define MINSIZE \
  395. (unsigned long)(((MIN_CHUNK_SIZE+MALLOC_ALIGN_MASK) & ~MALLOC_ALIGN_MASK))
  396. /* Check if m has acceptable alignment */
  397. #define aligned_OK(m) (((unsigned long)((m)) & (MALLOC_ALIGN_MASK)) == 0)
  398. /* Check if a request is so large that it would wrap around zero when
  399. padded and aligned. To simplify some other code, the bound is made
  400. low enough so that adding MINSIZE will also not wrap around sero.
  401. */
  402. #define REQUEST_OUT_OF_RANGE(req) \
  403. ((unsigned long)(req) >= \
  404. (unsigned long)(size_t)(-2 * MINSIZE))
  405. /* pad request bytes into a usable size -- internal version */
  406. #define request2size(req) \
  407. (((req) + (sizeof(size_t)) + MALLOC_ALIGN_MASK < MINSIZE) ? \
  408. MINSIZE : \
  409. ((req) + (sizeof(size_t)) + MALLOC_ALIGN_MASK) & ~MALLOC_ALIGN_MASK)
  410. /* Same, except also perform argument check */
  411. #define checked_request2size(req, sz) \
  412. if (REQUEST_OUT_OF_RANGE(req)) { \
  413. errno = ENOMEM; \
  414. return 0; \
  415. } \
  416. (sz) = request2size(req);
  417. /*
  418. --------------- Physical chunk operations ---------------
  419. */
  420. /* size field is or'ed with PREV_INUSE when previous adjacent chunk in use */
  421. #define PREV_INUSE 0x1
  422. /* extract inuse bit of previous chunk */
  423. #define prev_inuse(p) ((p)->size & PREV_INUSE)
  424. /* size field is or'ed with IS_MMAPPED if the chunk was obtained with mmap() */
  425. #define IS_MMAPPED 0x2
  426. /* check for mmap()'ed chunk */
  427. #define chunk_is_mmapped(p) ((p)->size & IS_MMAPPED)
  428. /* Bits to mask off when extracting size
  429. Note: IS_MMAPPED is intentionally not masked off from size field in
  430. macros for which mmapped chunks should never be seen. This should
  431. cause helpful core dumps to occur if it is tried by accident by
  432. people extending or adapting this malloc.
  433. */
  434. #define SIZE_BITS (PREV_INUSE|IS_MMAPPED)
  435. /* Get size, ignoring use bits */
  436. #define chunksize(p) ((p)->size & ~(SIZE_BITS))
  437. /* Ptr to next physical malloc_chunk. */
  438. #define next_chunk(p) ((mchunkptr)( ((char*)(p)) + ((p)->size & ~PREV_INUSE) ))
  439. /* Ptr to previous physical malloc_chunk */
  440. #define prev_chunk(p) ((mchunkptr)( ((char*)(p)) - ((p)->prev_size) ))
  441. /* Treat space at ptr + offset as a chunk */
  442. #define chunk_at_offset(p, s) ((mchunkptr)(((char*)(p)) + (s)))
  443. /* extract p's inuse bit */
  444. #define inuse(p)\
  445. ((((mchunkptr)(((char*)(p))+((p)->size & ~PREV_INUSE)))->size) & PREV_INUSE)
  446. /* set/clear chunk as being inuse without otherwise disturbing */
  447. #define set_inuse(p)\
  448. ((mchunkptr)(((char*)(p)) + ((p)->size & ~PREV_INUSE)))->size |= PREV_INUSE
  449. #define clear_inuse(p)\
  450. ((mchunkptr)(((char*)(p)) + ((p)->size & ~PREV_INUSE)))->size &= ~(PREV_INUSE)
  451. /* check/set/clear inuse bits in known places */
  452. #define inuse_bit_at_offset(p, s)\
  453. (((mchunkptr)(((char*)(p)) + (s)))->size & PREV_INUSE)
  454. #define set_inuse_bit_at_offset(p, s)\
  455. (((mchunkptr)(((char*)(p)) + (s)))->size |= PREV_INUSE)
  456. #define clear_inuse_bit_at_offset(p, s)\
  457. (((mchunkptr)(((char*)(p)) + (s)))->size &= ~(PREV_INUSE))
  458. /* Set size at head, without disturbing its use bit */
  459. #define set_head_size(p, s) ((p)->size = (((p)->size & PREV_INUSE) | (s)))
  460. /* Set size/use field */
  461. #define set_head(p, s) ((p)->size = (s))
  462. /* Set size at footer (only when chunk is not in use) */
  463. #define set_foot(p, s) (((mchunkptr)((char*)(p) + (s)))->prev_size = (s))
  464. /* -------------------- Internal data structures -------------------- */
  465. /*
  466. Bins
  467. An array of bin headers for free chunks. Each bin is doubly
  468. linked. The bins are approximately proportionally (log) spaced.
  469. There are a lot of these bins (128). This may look excessive, but
  470. works very well in practice. Most bins hold sizes that are
  471. unusual as malloc request sizes, but are more usual for fragments
  472. and consolidated sets of chunks, which is what these bins hold, so
  473. they can be found quickly. All procedures maintain the invariant
  474. that no consolidated chunk physically borders another one, so each
  475. chunk in a list is known to be preceeded and followed by either
  476. inuse chunks or the ends of memory.
  477. Chunks in bins are kept in size order, with ties going to the
  478. approximately least recently used chunk. Ordering isn't needed
  479. for the small bins, which all contain the same-sized chunks, but
  480. facilitates best-fit allocation for larger chunks. These lists
  481. are just sequential. Keeping them in order almost never requires
  482. enough traversal to warrant using fancier ordered data
  483. structures.
  484. Chunks of the same size are linked with the most
  485. recently freed at the front, and allocations are taken from the
  486. back. This results in LRU (FIFO) allocation order, which tends
  487. to give each chunk an equal opportunity to be consolidated with
  488. adjacent freed chunks, resulting in larger free chunks and less
  489. fragmentation.
  490. To simplify use in double-linked lists, each bin header acts
  491. as a malloc_chunk. This avoids special-casing for headers.
  492. But to conserve space and improve locality, we allocate
  493. only the fd/bk pointers of bins, and then use repositioning tricks
  494. to treat these as the fields of a malloc_chunk*.
  495. */
  496. typedef struct malloc_chunk* mbinptr;
  497. /* addressing -- note that bin_at(0) does not exist */
  498. #define bin_at(m, i) ((mbinptr)((char*)&((m)->bins[(i)<<1]) - ((sizeof(size_t))<<1)))
  499. /* analog of ++bin */
  500. #define next_bin(b) ((mbinptr)((char*)(b) + (sizeof(mchunkptr)<<1)))
  501. /* Reminders about list directionality within bins */
  502. #define first(b) ((b)->fd)
  503. #define last(b) ((b)->bk)
  504. /* Take a chunk off a bin list */
  505. #define unlink(P, BK, FD) { \
  506. FD = P->fd; \
  507. BK = P->bk; \
  508. if (FD->bk != P || BK->fd != P) \
  509. abort(); \
  510. FD->bk = BK; \
  511. BK->fd = FD; \
  512. }
  513. /*
  514. Indexing
  515. Bins for sizes < 512 bytes contain chunks of all the same size, spaced
  516. 8 bytes apart. Larger bins are approximately logarithmically spaced:
  517. 64 bins of size 8
  518. 32 bins of size 64
  519. 16 bins of size 512
  520. 8 bins of size 4096
  521. 4 bins of size 32768
  522. 2 bins of size 262144
  523. 1 bin of size what's left
  524. The bins top out around 1MB because we expect to service large
  525. requests via mmap.
  526. */
  527. #define NBINS 96
  528. #define NSMALLBINS 32
  529. #define SMALLBIN_WIDTH 8
  530. #define MIN_LARGE_SIZE 256
  531. #define in_smallbin_range(sz) \
  532. ((unsigned long)(sz) < (unsigned long)MIN_LARGE_SIZE)
  533. #define smallbin_index(sz) (((unsigned)(sz)) >> 3)
  534. #define bin_index(sz) \
  535. ((in_smallbin_range(sz)) ? smallbin_index(sz) : __malloc_largebin_index(sz))
  536. /*
  537. FIRST_SORTED_BIN_SIZE is the chunk size corresponding to the
  538. first bin that is maintained in sorted order. This must
  539. be the smallest size corresponding to a given bin.
  540. Normally, this should be MIN_LARGE_SIZE. But you can weaken
  541. best fit guarantees to sometimes speed up malloc by increasing value.
  542. Doing this means that malloc may choose a chunk that is
  543. non-best-fitting by up to the width of the bin.
  544. Some useful cutoff values:
  545. 512 - all bins sorted
  546. 2560 - leaves bins <= 64 bytes wide unsorted
  547. 12288 - leaves bins <= 512 bytes wide unsorted
  548. 65536 - leaves bins <= 4096 bytes wide unsorted
  549. 262144 - leaves bins <= 32768 bytes wide unsorted
  550. -1 - no bins sorted (not recommended!)
  551. */
  552. #define FIRST_SORTED_BIN_SIZE MIN_LARGE_SIZE
  553. /* #define FIRST_SORTED_BIN_SIZE 65536 */
  554. /*
  555. Unsorted chunks
  556. All remainders from chunk splits, as well as all returned chunks,
  557. are first placed in the "unsorted" bin. They are then placed
  558. in regular bins after malloc gives them ONE chance to be used before
  559. binning. So, basically, the unsorted_chunks list acts as a queue,
  560. with chunks being placed on it in free (and __malloc_consolidate),
  561. and taken off (to be either used or placed in bins) in malloc.
  562. */
  563. /* The otherwise unindexable 1-bin is used to hold unsorted chunks. */
  564. #define unsorted_chunks(M) (bin_at(M, 1))
  565. /*
  566. Top
  567. The top-most available chunk (i.e., the one bordering the end of
  568. available memory) is treated specially. It is never included in
  569. any bin, is used only if no other chunk is available, and is
  570. released back to the system if it is very large (see
  571. M_TRIM_THRESHOLD). Because top initially
  572. points to its own bin with initial zero size, thus forcing
  573. extension on the first malloc request, we avoid having any special
  574. code in malloc to check whether it even exists yet. But we still
  575. need to do so when getting memory from system, so we make
  576. initial_top treat the bin as a legal but unusable chunk during the
  577. interval between initialization and the first call to
  578. __malloc_alloc. (This is somewhat delicate, since it relies on
  579. the 2 preceding words to be zero during this interval as well.)
  580. */
  581. /* Conveniently, the unsorted bin can be used as dummy top on first call */
  582. #define initial_top(M) (unsorted_chunks(M))
  583. /*
  584. Binmap
  585. To help compensate for the large number of bins, a one-level index
  586. structure is used for bin-by-bin searching. `binmap' is a
  587. bitvector recording whether bins are definitely empty so they can
  588. be skipped over during during traversals. The bits are NOT always
  589. cleared as soon as bins are empty, but instead only
  590. when they are noticed to be empty during traversal in malloc.
  591. */
  592. /* Conservatively use 32 bits per map word, even if on 64bit system */
  593. #define BINMAPSHIFT 5
  594. #define BITSPERMAP (1U << BINMAPSHIFT)
  595. #define BINMAPSIZE (NBINS / BITSPERMAP)
  596. #define idx2block(i) ((i) >> BINMAPSHIFT)
  597. #define idx2bit(i) ((1U << ((i) & ((1U << BINMAPSHIFT)-1))))
  598. #define mark_bin(m,i) ((m)->binmap[idx2block(i)] |= idx2bit(i))
  599. #define unmark_bin(m,i) ((m)->binmap[idx2block(i)] &= ~(idx2bit(i)))
  600. #define get_binmap(m,i) ((m)->binmap[idx2block(i)] & idx2bit(i))
  601. /*
  602. Fastbins
  603. An array of lists holding recently freed small chunks. Fastbins
  604. are not doubly linked. It is faster to single-link them, and
  605. since chunks are never removed from the middles of these lists,
  606. double linking is not necessary. Also, unlike regular bins, they
  607. are not even processed in FIFO order (they use faster LIFO) since
  608. ordering doesn't much matter in the transient contexts in which
  609. fastbins are normally used.
  610. Chunks in fastbins keep their inuse bit set, so they cannot
  611. be consolidated with other free chunks. __malloc_consolidate
  612. releases all chunks in fastbins and consolidates them with
  613. other free chunks.
  614. */
  615. typedef struct malloc_chunk* mfastbinptr;
  616. /* offset 2 to use otherwise unindexable first 2 bins */
  617. #define fastbin_index(sz) ((((unsigned int)(sz)) >> 3) - 2)
  618. /* The maximum fastbin request size we support */
  619. #define MAX_FAST_SIZE 80
  620. #define NFASTBINS (fastbin_index(request2size(MAX_FAST_SIZE))+1)
  621. /*
  622. FASTBIN_CONSOLIDATION_THRESHOLD is the size of a chunk in free()
  623. that triggers automatic consolidation of possibly-surrounding
  624. fastbin chunks. This is a heuristic, so the exact value should not
  625. matter too much. It is defined at half the default trim threshold as a
  626. compromise heuristic to only attempt consolidation if it is likely
  627. to lead to trimming. However, it is not dynamically tunable, since
  628. consolidation reduces fragmentation surrounding loarge chunks even
  629. if trimming is not used.
  630. */
  631. #define FASTBIN_CONSOLIDATION_THRESHOLD \
  632. ((unsigned long)(DEFAULT_TRIM_THRESHOLD) >> 1)
  633. /*
  634. Since the lowest 2 bits in max_fast don't matter in size comparisons,
  635. they are used as flags.
  636. */
  637. /*
  638. ANYCHUNKS_BIT held in max_fast indicates that there may be any
  639. freed chunks at all. It is set true when entering a chunk into any
  640. bin.
  641. */
  642. #define ANYCHUNKS_BIT (1U)
  643. #define have_anychunks(M) (((M)->max_fast & ANYCHUNKS_BIT))
  644. #define set_anychunks(M) ((M)->max_fast |= ANYCHUNKS_BIT)
  645. #define clear_anychunks(M) ((M)->max_fast &= ~ANYCHUNKS_BIT)
  646. /*
  647. FASTCHUNKS_BIT held in max_fast indicates that there are probably
  648. some fastbin chunks. It is set true on entering a chunk into any
  649. fastbin, and cleared only in __malloc_consolidate.
  650. */
  651. #define FASTCHUNKS_BIT (2U)
  652. #define have_fastchunks(M) (((M)->max_fast & FASTCHUNKS_BIT))
  653. #define set_fastchunks(M) ((M)->max_fast |= (FASTCHUNKS_BIT|ANYCHUNKS_BIT))
  654. #define clear_fastchunks(M) ((M)->max_fast &= ~(FASTCHUNKS_BIT))
  655. /* Set value of max_fast. Use impossibly small value if 0. */
  656. #define set_max_fast(M, s) \
  657. (M)->max_fast = (((s) == 0)? SMALLBIN_WIDTH: request2size(s)) | \
  658. ((M)->max_fast & (FASTCHUNKS_BIT|ANYCHUNKS_BIT))
  659. #define get_max_fast(M) \
  660. ((M)->max_fast & ~(FASTCHUNKS_BIT | ANYCHUNKS_BIT))
  661. /*
  662. morecore_properties is a status word holding dynamically discovered
  663. or controlled properties of the morecore function
  664. */
  665. #define MORECORE_CONTIGUOUS_BIT (1U)
  666. #define contiguous(M) \
  667. (((M)->morecore_properties & MORECORE_CONTIGUOUS_BIT))
  668. #define noncontiguous(M) \
  669. (((M)->morecore_properties & MORECORE_CONTIGUOUS_BIT) == 0)
  670. #define set_contiguous(M) \
  671. ((M)->morecore_properties |= MORECORE_CONTIGUOUS_BIT)
  672. #define set_noncontiguous(M) \
  673. ((M)->morecore_properties &= ~MORECORE_CONTIGUOUS_BIT)
  674. /*
  675. ----------- Internal state representation and initialization -----------
  676. */
  677. struct malloc_state {
  678. /* The maximum chunk size to be eligible for fastbin */
  679. size_t max_fast; /* low 2 bits used as flags */
  680. /* Fastbins */
  681. mfastbinptr fastbins[NFASTBINS];
  682. /* Base of the topmost chunk -- not otherwise kept in a bin */
  683. mchunkptr top;
  684. /* The remainder from the most recent split of a small request */
  685. mchunkptr last_remainder;
  686. /* Normal bins packed as described above */
  687. mchunkptr bins[NBINS * 2];
  688. /* Bitmap of bins. Trailing zero map handles cases of largest binned size */
  689. unsigned int binmap[BINMAPSIZE+1];
  690. /* Tunable parameters */
  691. unsigned long trim_threshold;
  692. size_t top_pad;
  693. size_t mmap_threshold;
  694. /* Memory map support */
  695. int n_mmaps;
  696. int n_mmaps_max;
  697. int max_n_mmaps;
  698. /* Cache malloc_getpagesize */
  699. unsigned int pagesize;
  700. /* Track properties of MORECORE */
  701. unsigned int morecore_properties;
  702. /* Statistics */
  703. size_t mmapped_mem;
  704. size_t sbrked_mem;
  705. size_t max_sbrked_mem;
  706. size_t max_mmapped_mem;
  707. size_t max_total_mem;
  708. };
  709. typedef struct malloc_state *mstate;
  710. /*
  711. There is exactly one instance of this struct in this malloc.
  712. If you are adapting this malloc in a way that does NOT use a static
  713. malloc_state, you MUST explicitly zero-fill it before using. This
  714. malloc relies on the property that malloc_state is initialized to
  715. all zeroes (as is true of C statics).
  716. */
  717. extern struct malloc_state __malloc_state; /* never directly referenced */
  718. /*
  719. All uses of av_ are via get_malloc_state().
  720. At most one "call" to get_malloc_state is made per invocation of
  721. the public versions of malloc and free, but other routines
  722. that in turn invoke malloc and/or free may call more then once.
  723. Also, it is called in check* routines if __MALLOC_DEBUGGING is set.
  724. */
  725. #define get_malloc_state() (&(__malloc_state))
  726. /* External internal utilities operating on mstates */
  727. void __malloc_consolidate(mstate) attribute_hidden;
  728. /* Debugging support */
  729. #if ! __MALLOC_DEBUGGING
  730. #define check_chunk(P)
  731. #define check_free_chunk(P)
  732. #define check_inuse_chunk(P)
  733. #define check_remalloced_chunk(P,N)
  734. #define check_malloced_chunk(P,N)
  735. #define check_malloc_state()
  736. #define assert(x) ((void)0)
  737. #else
  738. #define check_chunk(P) __do_check_chunk(P)
  739. #define check_free_chunk(P) __do_check_free_chunk(P)
  740. #define check_inuse_chunk(P) __do_check_inuse_chunk(P)
  741. #define check_remalloced_chunk(P,N) __do_check_remalloced_chunk(P,N)
  742. #define check_malloced_chunk(P,N) __do_check_malloced_chunk(P,N)
  743. #define check_malloc_state() __do_check_malloc_state()
  744. extern void __do_check_chunk(mchunkptr p);
  745. extern void __do_check_free_chunk(mchunkptr p);
  746. extern void __do_check_inuse_chunk(mchunkptr p);
  747. extern void __do_check_remalloced_chunk(mchunkptr p, size_t s);
  748. extern void __do_check_malloced_chunk(mchunkptr p, size_t s);
  749. extern void __do_check_malloc_state(void);
  750. #include <assert.h>
  751. #endif