This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
perlvar - expand and link to ${^OPEN} documentation
[perl5.git] / malloc.c
CommitLineData
a0d0e21e 1/* malloc.c
8d063cd8 2 *
8d063cd8
LW
3 */
4
87c6202a 5/*
4ac71550
TC
6 * 'The Chamber of Records,' said Gimli. 'I guess that is where we now stand.'
7 *
cdad3b53 8 * [p.321 of _The Lord of the Rings_, II/v: "The Bridge of Khazad-Dûm"]
d31a8517
AT
9 */
10
166f8a29
DM
11/* This file contains Perl's own implementation of the malloc library.
12 * It is used if Configure decides that, on your platform, Perl's
13 * version is better than the OS's, or if you give Configure the
14 * -Dusemymalloc command-line option.
15 */
16
d31a8517 17/*
b9e5552c
NC
18 Here are some notes on configuring Perl's malloc.
19
87c6202a
IZ
20 There are two macros which serve as bulk disablers of advanced
21 features of this malloc: NO_FANCY_MALLOC, PLAIN_MALLOC (undef by
22 default). Look in the list of default values below to understand
23 their exact effect. Defining NO_FANCY_MALLOC returns malloc.c to the
24 state of the malloc in Perl 5.004. Additionally defining PLAIN_MALLOC
25 returns it to the state as of Perl 5.000.
26
27 Note that some of the settings below may be ignored in the code based
28 on values of other macros. The PERL_CORE symbol is only defined when
29 perl itself is being compiled (so malloc can make some assumptions
30 about perl's facilities being available to it).
31
32 Each config option has a short description, followed by its name,
33 default value, and a comment about the default (if applicable). Some
34 options take a precise value, while the others are just boolean.
35 The boolean ones are listed first.
36
22f7c9c9
JH
37 # Read configuration settings from malloc_cfg.h
38 HAVE_MALLOC_CFG_H undef
39
87c6202a
IZ
40 # Enable code for an emergency memory pool in $^M. See perlvar.pod
41 # for a description of $^M.
b9e5552c 42 PERL_EMERGENCY_SBRK !PLAIN_MALLOC
87c6202a
IZ
43
44 # Enable code for printing memory statistics.
b9e5552c 45 DEBUGGING_MSTATS !PLAIN_MALLOC
87c6202a
IZ
46
47 # Move allocation info for small buckets into separate areas.
48 # Memory optimization (especially for small allocations, of the
49 # less than 64 bytes). Since perl usually makes a large number
50 # of small allocations, this is usually a win.
51 PACK_MALLOC (!PLAIN_MALLOC && !RCHECK)
52
53 # Add one page to big powers of two when calculating bucket size.
54 # This is targeted at big allocations, as are common in image
55 # processing.
56 TWO_POT_OPTIMIZE !PLAIN_MALLOC
57
58 # Use intermediate bucket sizes between powers-of-two. This is
59 # generally a memory optimization, and a (small) speed pessimization.
60 BUCKETS_ROOT2 !NO_FANCY_MALLOC
61
62 # Do not check small deallocations for bad free(). Memory
63 # and speed optimization, error reporting pessimization.
64 IGNORE_SMALL_BAD_FREE (!NO_FANCY_MALLOC && !RCHECK)
65
66 # Use table lookup to decide in which bucket a given allocation will go.
67 SMALL_BUCKET_VIA_TABLE !NO_FANCY_MALLOC
68
38ac2dc8
DD
69 # Use a perl-defined sbrk() instead of the (presumably broken or
70 # missing) system-supplied sbrk().
71 USE_PERL_SBRK undef
72
73 # Use system malloc() (or calloc() etc.) to emulate sbrk(). Normally
74 # only used with broken sbrk()s.
87c6202a
IZ
75 PERL_SBRK_VIA_MALLOC undef
76
38ac2dc8
DD
77 # Which allocator to use if PERL_SBRK_VIA_MALLOC
78 SYSTEM_ALLOC(a) malloc(a)
79
9ee81ef6 80 # Minimal alignment (in bytes, should be a power of 2) of SYSTEM_ALLOC
5bbd1ef5
IZ
81 SYSTEM_ALLOC_ALIGNMENT MEM_ALIGNBYTES
82
87c6202a
IZ
83 # Disable memory overwrite checking with DEBUGGING. Memory and speed
84 # optimization, error reporting pessimization.
85 NO_RCHECK undef
86
87 # Enable memory overwrite checking with DEBUGGING. Memory and speed
88 # pessimization, error reporting optimization
89 RCHECK (DEBUGGING && !NO_RCHECK)
90
22f7c9c9
JH
91 # Do not overwrite uninit areas with DEBUGGING. Speed
92 # optimization, error reporting pessimization
93 NO_MFILL undef
94
95 # Overwrite uninit areas with DEBUGGING. Speed
96 # pessimization, error reporting optimization
97 MALLOC_FILL (DEBUGGING && !NO_RCHECK && !NO_MFILL)
98
99 # Do not check overwritten uninit areas with DEBUGGING. Speed
100 # optimization, error reporting pessimization
101 NO_FILL_CHECK undef
102
103 # Check overwritten uninit areas with DEBUGGING. Speed
104 # pessimization, error reporting optimization
105 MALLOC_FILL_CHECK (DEBUGGING && !NO_RCHECK && !NO_FILL_CHECK)
106
87c6202a
IZ
107 # Failed allocations bigger than this size croak (if
108 # PERL_EMERGENCY_SBRK is enabled) without touching $^M. See
109 # perlvar.pod for a description of $^M.
110 BIG_SIZE (1<<16) # 64K
111
112 # Starting from this power of two, add an extra page to the
113 # size of the bucket. This enables optimized allocations of sizes
114 # close to powers of 2. Note that the value is indexed at 0.
115 FIRST_BIG_POW2 15 # 32K, 16K is used too often
116
117 # Estimate of minimal memory footprint. malloc uses this value to
118 # request the most reasonable largest blocks of memory from the system.
119 FIRST_SBRK (48*1024)
120
121 # Round up sbrk()s to multiples of this.
122 MIN_SBRK 2048
123
124 # Round up sbrk()s to multiples of this percent of footprint.
125 MIN_SBRK_FRAC 3
126
22f7c9c9
JH
127 # Round up sbrk()s to multiples of this multiple of 1/1000 of footprint.
128 MIN_SBRK_FRAC1000 (10 * MIN_SBRK_FRAC)
129
87c6202a
IZ
130 # Add this much memory to big powers of two to get the bucket size.
131 PERL_PAGESIZE 4096
132
133 # This many sbrk() discontinuities should be tolerated even
134 # from the start without deciding that sbrk() is usually
135 # discontinuous.
136 SBRK_ALLOW_FAILURES 3
137
138 # This many continuous sbrk()s compensate for one discontinuous one.
139 SBRK_FAILURE_PRICE 50
140
28ac10b1
IZ
141 # Some configurations may ask for 12-byte-or-so allocations which
142 # require 8-byte alignment (?!). In such situation one needs to
143 # define this to disable 12-byte bucket (will increase memory footprint)
144 STRICT_ALIGNMENT undef
145
22f7c9c9
JH
146 # Do not allow configuration of runtime options at runtime
147 NO_MALLOC_DYNAMIC_CFG undef
148
149 # Do not allow configuration of runtime options via $ENV{PERL_MALLOC_OPT}
150 NO_PERL_MALLOC_ENV undef
151
152 [The variable consists of ;-separated parts of the form CODE=VALUE
153 with 1-character codes F, M, f, A, P, G, d, a, c for runtime
154 configuration of FIRST_SBRK, MIN_SBRK, MIN_SBRK_FRAC1000,
155 SBRK_ALLOW_FAILURES, SBRK_FAILURE_PRICE, sbrk_goodness,
156 filldead, fillalive, fillcheck. The last 3 are for DEBUGGING
157 build, and allow switching the tests for free()ed memory read,
158 uninit memory reads, and free()ed memory write.]
159
87c6202a
IZ
160 This implementation assumes that calling PerlIO_printf() does not
161 result in any memory allocation calls (used during a panic).
162
163 */
164
741df71a 165
22f7c9c9
JH
166#ifdef HAVE_MALLOC_CFG_H
167# include "malloc_cfg.h"
168#endif
169
e8bc2b5c
GS
170#ifndef NO_FANCY_MALLOC
171# ifndef SMALL_BUCKET_VIA_TABLE
172# define SMALL_BUCKET_VIA_TABLE
173# endif
174# ifndef BUCKETS_ROOT2
175# define BUCKETS_ROOT2
176# endif
177# ifndef IGNORE_SMALL_BAD_FREE
178# define IGNORE_SMALL_BAD_FREE
179# endif
3562ef9b
IZ
180#endif
181
e8bc2b5c
GS
182#ifndef PLAIN_MALLOC /* Bulk enable features */
183# ifndef PACK_MALLOC
184# define PACK_MALLOC
185# endif
186# ifndef TWO_POT_OPTIMIZE
187# define TWO_POT_OPTIMIZE
188# endif
b9e5552c 189# ifndef PERL_EMERGENCY_SBRK
d720c441 190# define PERL_EMERGENCY_SBRK
e8bc2b5c 191# endif
b9e5552c 192# ifndef DEBUGGING_MSTATS
e8bc2b5c
GS
193# define DEBUGGING_MSTATS
194# endif
195#endif
196
197#define MIN_BUC_POW2 (sizeof(void*) > 4 ? 3 : 2) /* Allow for 4-byte arena. */
198#define MIN_BUCKET (MIN_BUC_POW2 * BUCKETS_PER_POW2)
199
562aee6b 200#define LOG_OF_MIN_ARENA 11
e8bc2b5c 201
075abff3
AL
202#if defined(DEBUGGING) && !defined(NO_RCHECK)
203# define RCHECK
204#endif
205#if defined(DEBUGGING) && !defined(NO_RCHECK) && !defined(NO_MFILL) && !defined(MALLOC_FILL)
206# define MALLOC_FILL
207#endif
208#if defined(DEBUGGING) && !defined(NO_RCHECK) && !defined(NO_FILL_CHECK) && !defined(MALLOC_FILL_CHECK)
209# define MALLOC_FILL_CHECK
210#endif
211#if defined(RCHECK) && defined(IGNORE_SMALL_BAD_FREE)
212# undef IGNORE_SMALL_BAD_FREE
213#endif
8d063cd8
LW
214/*
215 * malloc.c (Caltech) 2/21/82
216 * Chris Kingsley, kingsley@cit-20.
217 *
218 * This is a very fast storage allocator. It allocates blocks of a small
219 * number of different sizes, and keeps free lists of each size. Blocks that
220 * don't exactly fit are passed up to the next larger size. In this
221 * implementation, the available sizes are 2^n-4 (or 2^n-12) bytes long.
cf5c4ad8 222 * If PACK_MALLOC is defined, small blocks are 2^n bytes long.
8d063cd8 223 * This is designed for use in a program that uses vast quantities of memory,
741df71a
IZ
224 * but bombs when it runs out.
225 *
4eb8286e 226 * Modifications Copyright Ilya Zakharevich 1996-99.
741df71a
IZ
227 *
228 * Still very quick, but much more thrifty. (Std config is 10% slower
229 * than it was, and takes 67% of old heap size for typical usage.)
230 *
231 * Allocations of small blocks are now table-driven to many different
486ec47a 232 * buckets. Sizes of really big buckets are increased to accommodate
741df71a
IZ
233 * common size=power-of-2 blocks. Running-out-of-memory is made into
234 * an exception. Deeply configurable and thread-safe.
235 *
8d063cd8
LW
236 */
237
b9e5552c
NC
238#include "EXTERN.h"
239#define PERL_IN_MALLOC_C
240#include "perl.h"
241#if defined(PERL_IMPLICIT_CONTEXT)
cea2e8a9 242# define croak Perl_croak_nocontext
b022d2d2 243# define croak2 Perl_croak_nocontext
cea2e8a9 244# define warn Perl_warn_nocontext
b022d2d2 245# define warn2 Perl_warn_nocontext
b9e5552c 246#else
b022d2d2
IZ
247# define croak2 croak
248# define warn2 warn
b9e5552c
NC
249#endif
250#ifdef USE_ITHREADS
22f7c9c9 251# define PERL_MAYBE_ALIVE PL_thr_key
d720c441 252#else
b9e5552c
NC
253# define PERL_MAYBE_ALIVE 1
254#endif
e8bc2b5c 255
7029c034
JH
256#ifndef MYMALLOC
257# error "MYMALLOC is not defined"
258#endif
259
e8bc2b5c
GS
260#ifndef MUTEX_LOCK
261# define MUTEX_LOCK(l)
262#endif
263
264#ifndef MUTEX_UNLOCK
265# define MUTEX_UNLOCK(l)
266#endif
267
741df71a 268#ifndef MALLOC_LOCK
efc57feb 269# define MALLOC_LOCK MUTEX_LOCK(&PL_malloc_mutex)
741df71a
IZ
270#endif
271
272#ifndef MALLOC_UNLOCK
efc57feb 273# define MALLOC_UNLOCK MUTEX_UNLOCK(&PL_malloc_mutex)
741df71a
IZ
274#endif
275
5bbd1ef5
IZ
276# ifndef fatalcroak /* make depend */
277# define fatalcroak(mess) (write(2, (mess), strlen(mess)), exit(2))
278# endif
279
760ac839 280#ifdef DEBUGGING
e8bc2b5c 281# undef DEBUG_m
51a5ed28 282# define DEBUG_m(a) \
0b250b9e 283 STMT_START { \
22f7c9c9 284 if (PERL_MAYBE_ALIVE && PERL_GET_THX) { \
51a5ed28
HS
285 dTHX; \
286 if (DEBUG_m_TEST) { \
287 PL_debug &= ~DEBUG_m_FLAG; \
288 a; \
289 PL_debug |= DEBUG_m_FLAG; \
290 } \
291 } \
0b250b9e 292 } STMT_END
760ac839
LW
293#endif
294
e476b1b5
GS
295#ifdef PERL_IMPLICIT_CONTEXT
296# define PERL_IS_ALIVE aTHX
297#else
298# define PERL_IS_ALIVE TRUE
299#endif
300
301
e9397286
GS
302/*
303 * Layout of memory:
304 * ~~~~~~~~~~~~~~~~
305 * The memory is broken into "blocks" which occupy multiples of 2K (and
306 * generally speaking, have size "close" to a power of 2). The addresses
307 * of such *unused* blocks are kept in nextf[i] with big enough i. (nextf
308 * is an array of linked lists.) (Addresses of used blocks are not known.)
309 *
4ad56ec9 310 * Moreover, since the algorithm may try to "bite" smaller blocks out
e9397286
GS
311 * of unused bigger ones, there are also regions of "irregular" size,
312 * managed separately, by a linked list chunk_chain.
313 *
314 * The third type of storage is the sbrk()ed-but-not-yet-used space, its
315 * end and size are kept in last_sbrk_top and sbrked_remains.
316 *
317 * Growing blocks "in place":
318 * ~~~~~~~~~~~~~~~~~~~~~~~~~
319 * The address of the block with the greatest address is kept in last_op
320 * (if not known, last_op is 0). If it is known that the memory above
321 * last_op is not continuous, or contains a chunk from chunk_chain,
322 * last_op is set to 0.
323 *
324 * The chunk with address last_op may be grown by expanding into
325 * sbrk()ed-but-not-yet-used space, or trying to sbrk() more continuous
326 * memory.
327 *
328 * Management of last_op:
329 * ~~~~~~~~~~~~~~~~~~~~~
330 *
331 * free() never changes the boundaries of blocks, so is not relevant.
332 *
333 * The only way realloc() may change the boundaries of blocks is if it
334 * grows a block "in place". However, in the case of success such a
335 * chunk is automatically last_op, and it remains last_op. In the case
336 * of failure getpages_adjacent() clears last_op.
337 *
338 * malloc() may change blocks by calling morecore() only.
339 *
340 * morecore() may create new blocks by:
341 * a) biting pieces from chunk_chain (cannot create one above last_op);
342 * b) biting a piece from an unused block (if block was last_op, this
343 * may create a chunk from chain above last_op, thus last_op is
344 * invalidated in such a case).
345 * c) biting of sbrk()ed-but-not-yet-used space. This creates
346 * a block which is last_op.
347 * d) Allocating new pages by calling getpages();
348 *
349 * getpages() creates a new block. It marks last_op at the bottom of
350 * the chunk of memory it returns.
351 *
352 * Active pages footprint:
353 * ~~~~~~~~~~~~~~~~~~~~~~
354 * Note that we do not need to traverse the lists in nextf[i], just take
355 * the first element of this list. However, we *need* to traverse the
356 * list in chunk_chain, but most the time it should be a very short one,
357 * so we do not step on a lot of pages we are not going to use.
358 *
359 * Flaws:
360 * ~~~~~
361 * get_from_bigger_buckets(): forget to increment price => Quite
362 * aggressive.
363 */
364
135863df
AB
365/* I don't much care whether these are defined in sys/types.h--LAW */
366
367#define u_char unsigned char
368#define u_int unsigned int
56431972
RB
369/*
370 * I removed the definition of u_bigint which appeared to be u_bigint = UV
371 * u_bigint was only used in TWOK_MASKED and TWOK_SHIFT
372 * where I have used PTR2UV. RMB
373 */
135863df 374#define u_short unsigned short
8d063cd8 375
562aee6b 376#if defined(RCHECK) && defined(PACK_MALLOC)
e8bc2b5c 377# undef PACK_MALLOC
cf5c4ad8 378#endif
379
8d063cd8 380/*
cf5c4ad8 381 * The description below is applicable if PACK_MALLOC is not defined.
382 *
8d063cd8
LW
383 * The overhead on a block is at least 4 bytes. When free, this space
384 * contains a pointer to the next free block, and the bottom two bits must
385 * be zero. When in use, the first byte is set to MAGIC, and the second
386 * byte is the size index. The remaining bytes are for alignment.
387 * If range checking is enabled and the size of the block fits
388 * in two bytes, then the top two bytes hold the size of the requested block
389 * plus the range checking words, and the header word MINUS ONE.
390 */
391union overhead {
392 union overhead *ov_next; /* when free */
85e6fe83 393#if MEM_ALIGNBYTES > 4
c623bd54 394 double strut; /* alignment problems */
2b1d54e5
JH
395# if MEM_ALIGNBYTES > 8
396 char sstrut[MEM_ALIGNBYTES]; /* for the sizing */
397# endif
a687059c 398#endif
8d063cd8 399 struct {
00ff3b56
JH
400/*
401 * Keep the ovu_index and ovu_magic in this order, having a char
402 * field first gives alignment indigestion in some systems, such as
403 * MachTen.
404 */
8d063cd8 405 u_char ovu_index; /* bucket # */
b72ff565 406 u_char ovu_magic; /* magic number */
8d063cd8 407#ifdef RCHECK
d0bbed78 408 /* Subtract one to fit into u_short for an extra bucket */
22f7c9c9 409 u_short ovu_size; /* block size (requested + overhead - 1) */
8d063cd8
LW
410 u_int ovu_rmagic; /* range magic number */
411#endif
412 } ovu;
413#define ov_magic ovu.ovu_magic
414#define ov_index ovu.ovu_index
415#define ov_size ovu.ovu_size
416#define ov_rmagic ovu.ovu_rmagic
417};
418
419#define MAGIC 0xff /* magic # on accounting info */
420#define RMAGIC 0x55555555 /* magic # on range info */
e8bc2b5c
GS
421#define RMAGIC_C 0x55 /* magic # on range info */
422
8d063cd8 423#ifdef RCHECK
d0bbed78 424# define RMAGIC_SZ sizeof (u_int) /* Overhead at end of bucket */
c2a5c2d2 425# ifdef TWO_POT_OPTIMIZE
22f7c9c9 426# define MAX_SHORT_BUCKET (12 * BUCKETS_PER_POW2) /* size-1 fits in short */
c2a5c2d2 427# else
e8bc2b5c 428# define MAX_SHORT_BUCKET (13 * BUCKETS_PER_POW2)
c2a5c2d2 429# endif
8d063cd8 430#else
d0bbed78 431# define RMAGIC_SZ 0
8d063cd8
LW
432#endif
433
e8bc2b5c
GS
434#if !defined(PACK_MALLOC) && defined(BUCKETS_ROOT2)
435# undef BUCKETS_ROOT2
436#endif
437
438#ifdef BUCKETS_ROOT2
439# define BUCKET_TABLE_SHIFT 2
440# define BUCKET_POW2_SHIFT 1
441# define BUCKETS_PER_POW2 2
442#else
443# define BUCKET_TABLE_SHIFT MIN_BUC_POW2
444# define BUCKET_POW2_SHIFT 0
445# define BUCKETS_PER_POW2 1
446#endif
447
274c7500
IZ
448#if !defined(MEM_ALIGNBYTES) || ((MEM_ALIGNBYTES > 4) && !defined(STRICT_ALIGNMENT))
449/* Figure out the alignment of void*. */
450struct aligner {
451 char c;
452 void *p;
453};
8c2f25b1 454# define ALIGN_SMALL ((IV)((caddr_t)&(((struct aligner*)0)->p)))
274c7500
IZ
455#else
456# define ALIGN_SMALL MEM_ALIGNBYTES
457#endif
458
459#define IF_ALIGN_8(yes,no) ((ALIGN_SMALL>4) ? (yes) : (no))
460
e8bc2b5c
GS
461#ifdef BUCKETS_ROOT2
462# define MAX_BUCKET_BY_TABLE 13
a3b680e6 463static const u_short buck_size[MAX_BUCKET_BY_TABLE + 1] =
e8bc2b5c
GS
464 {
465 0, 0, 0, 0, 4, 4, 8, 12, 16, 24, 32, 48, 64, 80,
466 };
d0bbed78 467# define BUCKET_SIZE_NO_SURPLUS(i) ((i) % 2 ? buck_size[i] : (1 << ((i) >> BUCKET_POW2_SHIFT)))
e8bc2b5c 468# define BUCKET_SIZE_REAL(i) ((i) <= MAX_BUCKET_BY_TABLE \
64072da0
Z
469 ? ((size_t)buck_size[i]) \
470 : ((((size_t)1) << ((i) >> BUCKET_POW2_SHIFT)) \
e8bc2b5c
GS
471 - MEM_OVERHEAD(i) \
472 + POW2_OPTIMIZE_SURPLUS(i)))
473#else
64072da0 474# define BUCKET_SIZE_NO_SURPLUS(i) (((size_t)1) << ((i) >> BUCKET_POW2_SHIFT))
d0bbed78
IZ
475# define BUCKET_SIZE(i) (BUCKET_SIZE_NO_SURPLUS(i) + POW2_OPTIMIZE_SURPLUS(i))
476# define BUCKET_SIZE_REAL(i) (BUCKET_SIZE(i) - MEM_OVERHEAD(i))
e8bc2b5c
GS
477#endif
478
479
cf5c4ad8 480#ifdef PACK_MALLOC
4ad56ec9
IZ
481/* In this case there are several possible layout of arenas depending
482 * on the size. Arenas are of sizes multiple to 2K, 2K-aligned, and
483 * have a size close to a power of 2.
484 *
485 * Arenas of the size >= 4K keep one chunk only. Arenas of size 2K
486 * may keep one chunk or multiple chunks. Here are the possible
487 * layouts of arenas:
488 *
489 * # One chunk only, chunksize 2^k + SOMETHING - ALIGN, k >= 11
490 *
491 * INDEX MAGIC1 UNUSED CHUNK1
492 *
493 * # Multichunk with sanity checking and chunksize 2^k-ALIGN, k>7
494 *
495 * INDEX MAGIC1 MAGIC2 MAGIC3 UNUSED CHUNK1 CHUNK2 CHUNK3 ...
496 *
497 * # Multichunk with sanity checking and size 2^k-ALIGN, k=7
498 *
499 * INDEX MAGIC1 MAGIC2 MAGIC3 UNUSED CHUNK1 UNUSED CHUNK2 CHUNK3 ...
500 *
501 * # Multichunk with sanity checking and size up to 80
502 *
503 * INDEX UNUSED MAGIC1 UNUSED MAGIC2 UNUSED ... CHUNK1 CHUNK2 CHUNK3 ...
504 *
505 * # No sanity check (usually up to 48=byte-long buckets)
506 * INDEX UNUSED CHUNK1 CHUNK2 ...
507 *
508 * Above INDEX and MAGIC are one-byte-long. Sizes of UNUSED are
509 * appropriate to keep algorithms simple and memory aligned. INDEX
510 * encodes the size of the chunk, while MAGICn encodes state (used,
511 * free or non-managed-by-us-so-it-indicates-a-bug) of CHUNKn. MAGIC
512 * is used for sanity checking purposes only. SOMETHING is 0 or 4K
486ec47a 513 * (to make size of big CHUNK accommodate allocations for powers of two
4ad56ec9
IZ
514 * better).
515 *
516 * [There is no need to alignment between chunks, since C rules ensure
517 * that structs which need 2^k alignment have sizeof which is
518 * divisible by 2^k. Thus as far as the last chunk is aligned at the
519 * end of the arena, and 2K-alignment does not contradict things,
520 * everything is going to be OK for sizes of chunks 2^n and 2^n +
521 * 2^k. Say, 80-bit buckets will be 16-bit aligned, and as far as we
522 * put allocations for requests in 65..80 range, all is fine.
523 *
524 * Note, however, that standard malloc() puts more strict
525 * requirements than the above C rules. Moreover, our algorithms of
526 * realloc() may break this idyll, but we suppose that realloc() does
527 * need not change alignment.]
528 *
529 * Is very important to make calculation of the offset of MAGICm as
530 * quick as possible, since it is done on each malloc()/free(). In
531 * fact it is so quick that it has quite little effect on the speed of
532 * doing malloc()/free(). [By default] We forego such calculations
533 * for small chunks, but only to save extra 3% of memory, not because
534 * of speed considerations.
535 *
536 * Here is the algorithm [which is the same for all the allocations
537 * schemes above], see OV_MAGIC(block,bucket). Let OFFSETm be the
538 * offset of the CHUNKm from the start of ARENA. Then offset of
539 * MAGICm is (OFFSET1 >> SHIFT) + ADDOFFSET. Here SHIFT and ADDOFFSET
540 * are numbers which depend on the size of the chunks only.
541 *
542 * Let as check some sanity conditions. Numbers OFFSETm>>SHIFT are
543 * different for all the chunks in the arena if 2^SHIFT is not greater
544 * than size of the chunks in the arena. MAGIC1 will not overwrite
545 * INDEX provided ADDOFFSET is >0 if OFFSET1 < 2^SHIFT. MAGIClast
546 * will not overwrite CHUNK1 if OFFSET1 > (OFFSETlast >> SHIFT) +
547 * ADDOFFSET.
548 *
549 * Make SHIFT the maximal possible (there is no point in making it
550 * smaller). Since OFFSETlast is 2K - CHUNKSIZE, above restrictions
551 * give restrictions on OFFSET1 and on ADDOFFSET.
552 *
553 * In particular, for chunks of size 2^k with k>=6 we can put
554 * ADDOFFSET to be from 0 to 2^k - 2^(11-k), and have
555 * OFFSET1==chunksize. For chunks of size 80 OFFSET1 of 2K%80=48 is
556 * large enough to have ADDOFFSET between 1 and 16 (similarly for 96,
557 * when ADDOFFSET should be 1). In particular, keeping MAGICs for
558 * these sizes gives no additional size penalty.
559 *
560 * However, for chunks of size 2^k with k<=5 this gives OFFSET1 >=
561 * ADDOFSET + 2^(11-k). Keeping ADDOFFSET 0 allows for 2^(11-k)-2^(11-2k)
562 * chunks per arena. This is smaller than 2^(11-k) - 1 which are
563 * needed if no MAGIC is kept. [In fact, having a negative ADDOFFSET
564 * would allow for slightly more buckets per arena for k=2,3.]
565 *
566 * Similarly, for chunks of size 3/2*2^k with k<=5 MAGICs would span
567 * the area up to 2^(11-k)+ADDOFFSET. For k=4 this give optimal
568 * ADDOFFSET as -7..0. For k=3 ADDOFFSET can go up to 4 (with tiny
569 * savings for negative ADDOFFSET). For k=5 ADDOFFSET can go -1..16
570 * (with no savings for negative values).
cf5c4ad8 571 *
4ad56ec9
IZ
572 * In particular, keeping ADDOFFSET 0 for sizes of chunks up to 2^6
573 * leads to tiny pessimizations in case of sizes 4, 8, 12, 24, and
574 * leads to no contradictions except for size=80 (or 96.)
cf5c4ad8 575 *
4ad56ec9
IZ
576 * However, it also makes sense to keep no magic for sizes 48 or less.
577 * This is what we do. In this case one needs ADDOFFSET>=1 also for
578 * chunksizes 12, 24, and 48, unless one gets one less chunk per
579 * arena.
580 *
581 * The algo of OV_MAGIC(block,bucket) keeps ADDOFFSET 0 until
582 * chunksize of 64, then makes it 1.
cf5c4ad8 583 *
4ad56ec9
IZ
584 * This allows for an additional optimization: the above scheme leads
585 * to giant overheads for sizes 128 or more (one whole chunk needs to
586 * be sacrifised to keep INDEX). Instead we use chunks not of size
587 * 2^k, but of size 2^k-ALIGN. If we pack these chunks at the end of
588 * the arena, then the beginnings are still in different 2^k-long
589 * sections of the arena if k>=7 for ALIGN==4, and k>=8 if ALIGN=8.
590 * Thus for k>7 the above algo of calculating the offset of the magic
591 * will still give different answers for different chunks. And to
592 * avoid the overrun of MAGIC1 into INDEX, one needs ADDOFFSET of >=1.
593 * In the case k=7 we just move the first chunk an extra ALIGN
594 * backward inside the ARENA (this is done once per arena lifetime,
595 * thus is not a big overhead). */
e8bc2b5c
GS
596# define MAX_PACKED_POW2 6
597# define MAX_PACKED (MAX_PACKED_POW2 * BUCKETS_PER_POW2 + BUCKET_POW2_SHIFT)
598# define MAX_POW2_ALGO ((1<<(MAX_PACKED_POW2 + 1)) - M_OVERHEAD)
599# define TWOK_MASK ((1<<LOG_OF_MIN_ARENA) - 1)
56431972
RB
600# define TWOK_MASKED(x) (PTR2UV(x) & ~TWOK_MASK)
601# define TWOK_SHIFT(x) (PTR2UV(x) & TWOK_MASK)
602# define OV_INDEXp(block) (INT2PTR(u_char*,TWOK_MASKED(block)))
cf5c4ad8 603# define OV_INDEX(block) (*OV_INDEXp(block))
604# define OV_MAGIC(block,bucket) (*(OV_INDEXp(block) + \
e8bc2b5c
GS
605 (TWOK_SHIFT(block)>> \
606 (bucket>>BUCKET_POW2_SHIFT)) + \
607 (bucket >= MIN_NEEDS_SHIFT ? 1 : 0)))
608 /* A bucket can have a shift smaller than it size, we need to
609 shift its magic number so it will not overwrite index: */
610# ifdef BUCKETS_ROOT2
611# define MIN_NEEDS_SHIFT (7*BUCKETS_PER_POW2 - 1) /* Shift 80 greater than chunk 64. */
612# else
613# define MIN_NEEDS_SHIFT (7*BUCKETS_PER_POW2) /* Shift 128 greater than chunk 32. */
614# endif
cf5c4ad8 615# define CHUNK_SHIFT 0
616
e8bc2b5c
GS
617/* Number of active buckets of given ordinal. */
618#ifdef IGNORE_SMALL_BAD_FREE
619#define FIRST_BUCKET_WITH_CHECK (6 * BUCKETS_PER_POW2) /* 64 */
620# define N_BLKS(bucket) ( (bucket) < FIRST_BUCKET_WITH_CHECK \
d0bbed78 621 ? ((1<<LOG_OF_MIN_ARENA) - 1)/BUCKET_SIZE_NO_SURPLUS(bucket) \
e8bc2b5c
GS
622 : n_blks[bucket] )
623#else
624# define N_BLKS(bucket) n_blks[bucket]
625#endif
626
a3b680e6 627static const u_short n_blks[LOG_OF_MIN_ARENA * BUCKETS_PER_POW2] =
e8bc2b5c
GS
628 {
629# if BUCKETS_PER_POW2==1
630 0, 0,
631 (MIN_BUC_POW2==2 ? 384 : 0),
632 224, 120, 62, 31, 16, 8, 4, 2
633# else
634 0, 0, 0, 0,
635 (MIN_BUC_POW2==2 ? 384 : 0), (MIN_BUC_POW2==2 ? 384 : 0), /* 4, 4 */
636 224, 149, 120, 80, 62, 41, 31, 25, 16, 16, 8, 8, 4, 4, 2, 2
637# endif
638 };
639
640/* Shift of the first bucket with the given ordinal inside 2K chunk. */
641#ifdef IGNORE_SMALL_BAD_FREE
642# define BLK_SHIFT(bucket) ( (bucket) < FIRST_BUCKET_WITH_CHECK \
643 ? ((1<<LOG_OF_MIN_ARENA) \
d0bbed78 644 - BUCKET_SIZE_NO_SURPLUS(bucket) * N_BLKS(bucket)) \
e8bc2b5c
GS
645 : blk_shift[bucket])
646#else
647# define BLK_SHIFT(bucket) blk_shift[bucket]
648#endif
649
a3b680e6 650static const u_short blk_shift[LOG_OF_MIN_ARENA * BUCKETS_PER_POW2] =
e8bc2b5c
GS
651 {
652# if BUCKETS_PER_POW2==1
653 0, 0,
654 (MIN_BUC_POW2==2 ? 512 : 0),
655 256, 128, 64, 64, /* 8 to 64 */
656 16*sizeof(union overhead),
657 8*sizeof(union overhead),
658 4*sizeof(union overhead),
659 2*sizeof(union overhead),
660# else
661 0, 0, 0, 0,
662 (MIN_BUC_POW2==2 ? 512 : 0), (MIN_BUC_POW2==2 ? 512 : 0),
663 256, 260, 128, 128, 64, 80, 64, 48, /* 8 to 96 */
664 16*sizeof(union overhead), 16*sizeof(union overhead),
665 8*sizeof(union overhead), 8*sizeof(union overhead),
666 4*sizeof(union overhead), 4*sizeof(union overhead),
667 2*sizeof(union overhead), 2*sizeof(union overhead),
668# endif
669 };
cf5c4ad8 670
5bbd1ef5
IZ
671# define NEEDED_ALIGNMENT 0x800 /* 2k boundaries */
672# define WANTED_ALIGNMENT 0x800 /* 2k boundaries */
673
cf5c4ad8 674#else /* !PACK_MALLOC */
675
676# define OV_MAGIC(block,bucket) (block)->ov_magic
677# define OV_INDEX(block) (block)->ov_index
678# define CHUNK_SHIFT 1
e8bc2b5c 679# define MAX_PACKED -1
5bbd1ef5
IZ
680# define NEEDED_ALIGNMENT MEM_ALIGNBYTES
681# define WANTED_ALIGNMENT 0x400 /* 1k boundaries */
682
cf5c4ad8 683#endif /* !PACK_MALLOC */
684
d0bbed78 685#define M_OVERHEAD (sizeof(union overhead) + RMAGIC_SZ) /* overhead at start+end */
e8bc2b5c
GS
686
687#ifdef PACK_MALLOC
688# define MEM_OVERHEAD(bucket) \
64072da0 689 (bucket <= MAX_PACKED ? ((size_t)0) : M_OVERHEAD)
e8bc2b5c
GS
690# ifdef SMALL_BUCKET_VIA_TABLE
691# define START_SHIFTS_BUCKET ((MAX_PACKED_POW2 + 1) * BUCKETS_PER_POW2)
692# define START_SHIFT MAX_PACKED_POW2
693# ifdef BUCKETS_ROOT2 /* Chunks of size 3*2^n. */
694# define SIZE_TABLE_MAX 80
695# else
696# define SIZE_TABLE_MAX 64
697# endif
a3b680e6 698static const char bucket_of[] =
e8bc2b5c
GS
699 {
700# ifdef BUCKETS_ROOT2 /* Chunks of size 3*2^n. */
701 /* 0 to 15 in 4-byte increments. */
702 (sizeof(void*) > 4 ? 6 : 5), /* 4/8, 5-th bucket for better reports */
703 6, /* 8 */
274c7500 704 IF_ALIGN_8(8,7), 8, /* 16/12, 16 */
e8bc2b5c
GS
705 9, 9, 10, 10, /* 24, 32 */
706 11, 11, 11, 11, /* 48 */
707 12, 12, 12, 12, /* 64 */
708 13, 13, 13, 13, /* 80 */
709 13, 13, 13, 13 /* 80 */
710# else /* !BUCKETS_ROOT2 */
711 /* 0 to 15 in 4-byte increments. */
712 (sizeof(void*) > 4 ? 3 : 2),
713 3,
714 4, 4,
715 5, 5, 5, 5,
716 6, 6, 6, 6,
717 6, 6, 6, 6
718# endif /* !BUCKETS_ROOT2 */
719 };
720# else /* !SMALL_BUCKET_VIA_TABLE */
721# define START_SHIFTS_BUCKET MIN_BUCKET
722# define START_SHIFT (MIN_BUC_POW2 - 1)
723# endif /* !SMALL_BUCKET_VIA_TABLE */
724#else /* !PACK_MALLOC */
725# define MEM_OVERHEAD(bucket) M_OVERHEAD
726# ifdef SMALL_BUCKET_VIA_TABLE
727# undef SMALL_BUCKET_VIA_TABLE
728# endif
729# define START_SHIFTS_BUCKET MIN_BUCKET
730# define START_SHIFT (MIN_BUC_POW2 - 1)
731#endif /* !PACK_MALLOC */
cf5c4ad8 732
8d063cd8 733/*
55497cff 734 * Big allocations are often of the size 2^n bytes. To make them a
735 * little bit better, make blocks of size 2^n+pagesize for big n.
736 */
737
738#ifdef TWO_POT_OPTIMIZE
739
5f05dabc 740# ifndef PERL_PAGESIZE
741# define PERL_PAGESIZE 4096
742# endif
e8bc2b5c
GS
743# ifndef FIRST_BIG_POW2
744# define FIRST_BIG_POW2 15 /* 32K, 16K is used too often. */
5f05dabc 745# endif
e8bc2b5c 746# define FIRST_BIG_BLOCK (1<<FIRST_BIG_POW2)
55497cff 747/* If this value or more, check against bigger blocks. */
748# define FIRST_BIG_BOUND (FIRST_BIG_BLOCK - M_OVERHEAD)
749/* If less than this value, goes into 2^n-overhead-block. */
750# define LAST_SMALL_BOUND ((FIRST_BIG_BLOCK>>1) - M_OVERHEAD)
751
e8bc2b5c
GS
752# define POW2_OPTIMIZE_ADJUST(nbytes) \
753 ((nbytes >= FIRST_BIG_BOUND) ? nbytes -= PERL_PAGESIZE : 0)
754# define POW2_OPTIMIZE_SURPLUS(bucket) \
64072da0 755 ((size_t)((bucket >= FIRST_BIG_POW2 * BUCKETS_PER_POW2) ? PERL_PAGESIZE : 0))
e8bc2b5c
GS
756
757#else /* !TWO_POT_OPTIMIZE */
758# define POW2_OPTIMIZE_ADJUST(nbytes)
64072da0 759# define POW2_OPTIMIZE_SURPLUS(bucket) ((size_t)0)
e8bc2b5c
GS
760#endif /* !TWO_POT_OPTIMIZE */
761
39c0d7ee 762#define BARK_64K_LIMIT(what,nbytes,size)
55497cff 763
e8bc2b5c
GS
764#ifndef MIN_SBRK
765# define MIN_SBRK 2048
766#endif
767
768#ifndef FIRST_SBRK
d720c441 769# define FIRST_SBRK (48*1024)
e8bc2b5c
GS
770#endif
771
772/* Minimal sbrk in percents of what is already alloced. */
773#ifndef MIN_SBRK_FRAC
774# define MIN_SBRK_FRAC 3
775#endif
776
777#ifndef SBRK_ALLOW_FAILURES
778# define SBRK_ALLOW_FAILURES 3
779#endif
55497cff 780
e8bc2b5c
GS
781#ifndef SBRK_FAILURE_PRICE
782# define SBRK_FAILURE_PRICE 50
55497cff 783#endif
784
5aaab254 785static void morecore (int bucket);
24dd13bf 786# if defined(DEBUGGING)
9dbded1f 787static void botch (const char *diag, const char *s, const char *file, int line);
24dd13bf
JH
788# endif
789static void add_to_chain (void *p, MEM_SIZE size, MEM_SIZE chip);
790static void* get_from_chain (MEM_SIZE size);
791static void* get_from_bigger_buckets(int bucket, MEM_SIZE size);
792static union overhead *getpages (MEM_SIZE needed, int *nblksp, int bucket);
793static int getpages_adjacent(MEM_SIZE require);
794
3541dd58 795#ifdef I_MACH_CTHREADS
772fe5b3
HM
796# undef MUTEX_LOCK
797# define MUTEX_LOCK(m) STMT_START { if (*m) mutex_lock(*m); } STMT_END
798# undef MUTEX_UNLOCK
799# define MUTEX_UNLOCK(m) STMT_START { if (*m) mutex_unlock(*m); } STMT_END
3541dd58
HM
800#endif
801
22f7c9c9
JH
802#ifndef PTRSIZE
803# define PTRSIZE sizeof(void*)
804#endif
805
b022d2d2
IZ
806#ifndef BITS_IN_PTR
807# define BITS_IN_PTR (8*PTRSIZE)
808#endif
809
810/*
811 * nextf[i] is the pointer to the next free block of size 2^i. The
812 * smallest allocatable block is 8 bytes. The overhead information
813 * precedes the data area returned to the user.
814 */
815#define NBUCKETS (BITS_IN_PTR*BUCKETS_PER_POW2 + 1)
816static union overhead *nextf[NBUCKETS];
817
818#if defined(PURIFY) && !defined(USE_PERL_SBRK)
819# define USE_PERL_SBRK
820#endif
821
822#ifdef USE_PERL_SBRK
3f270f98 823# define sbrk(a) Perl_sbrk(a)
b022d2d2 824Malloc_t Perl_sbrk (int size);
059fd8e7 825#elif !defined(HAS_SBRK_PROTO) /* <unistd.h> usually takes care of this */
b022d2d2 826extern Malloc_t sbrk(int);
ef9f17be 827#endif
b022d2d2 828
22f7c9c9
JH
829#ifndef MIN_SBRK_FRAC1000 /* Backward compatibility */
830# define MIN_SBRK_FRAC1000 (MIN_SBRK_FRAC * 10)
831#endif
832
22f7c9c9
JH
833#include "malloc_ctl.h"
834
835#ifndef NO_MALLOC_DYNAMIC_CFG
836# define PERL_MALLOC_OPT_CHARS "FMfAPGdac"
837
41ad8e42
JH
838# ifndef FILL_DEAD_DEFAULT
839# define FILL_DEAD_DEFAULT 1
840# endif
841# ifndef FILL_ALIVE_DEFAULT
842# define FILL_ALIVE_DEFAULT 1
843# endif
844# ifndef FILL_CHECK_DEFAULT
845# define FILL_CHECK_DEFAULT 1
846# endif
847
22f7c9c9
JH
848static IV MallocCfg[MallocCfg_last] = {
849 FIRST_SBRK,
850 MIN_SBRK,
851 MIN_SBRK_FRAC,
852 SBRK_ALLOW_FAILURES,
853 SBRK_FAILURE_PRICE,
854 SBRK_ALLOW_FAILURES * SBRK_FAILURE_PRICE, /* sbrk_goodness */
41ad8e42
JH
855 FILL_DEAD_DEFAULT, /* FILL_DEAD */
856 FILL_ALIVE_DEFAULT, /* FILL_ALIVE */
857 FILL_CHECK_DEFAULT, /* FILL_CHECK */
22f7c9c9
JH
858 0, /* MallocCfg_skip_cfg_env */
859 0, /* MallocCfg_cfg_env_read */
860 0, /* MallocCfg_emergency_buffer_size */
861 0, /* MallocCfg_emergency_buffer_prepared_size */
862 0 /* MallocCfg_emergency_buffer_last_req */
863};
864IV *MallocCfg_ptr = MallocCfg;
865
6af660ee
IZ
866static char* MallocCfgP[MallocCfg_last] = {
867 0, /* MallocCfgP_emergency_buffer */
868 0, /* MallocCfgP_emergency_buffer_prepared */
869};
870char **MallocCfgP_ptr = MallocCfgP;
871
22f7c9c9
JH
872# undef MIN_SBRK
873# undef FIRST_SBRK
874# undef MIN_SBRK_FRAC1000
875# undef SBRK_ALLOW_FAILURES
876# undef SBRK_FAILURE_PRICE
877
878# define MIN_SBRK MallocCfg[MallocCfg_MIN_SBRK]
879# define FIRST_SBRK MallocCfg[MallocCfg_FIRST_SBRK]
880# define MIN_SBRK_FRAC1000 MallocCfg[MallocCfg_MIN_SBRK_FRAC1000]
881# define SBRK_ALLOW_FAILURES MallocCfg[MallocCfg_SBRK_ALLOW_FAILURES]
882# define SBRK_FAILURE_PRICE MallocCfg[MallocCfg_SBRK_FAILURE_PRICE]
883
884# define sbrk_goodness MallocCfg[MallocCfg_sbrk_goodness]
885
886# define emergency_buffer_size MallocCfg[MallocCfg_emergency_buffer_size]
887# define emergency_buffer_last_req MallocCfg[MallocCfg_emergency_buffer_last_req]
888
889# define FILL_DEAD MallocCfg[MallocCfg_filldead]
890# define FILL_ALIVE MallocCfg[MallocCfg_fillalive]
891# define FILL_CHECK_CFG MallocCfg[MallocCfg_fillcheck]
892# define FILL_CHECK (FILL_DEAD && FILL_CHECK_CFG)
893
6af660ee
IZ
894# define emergency_buffer MallocCfgP[MallocCfgP_emergency_buffer]
895# define emergency_buffer_prepared MallocCfgP[MallocCfgP_emergency_buffer_prepared]
896
22f7c9c9
JH
897#else /* defined(NO_MALLOC_DYNAMIC_CFG) */
898
899# define FILL_DEAD 1
900# define FILL_ALIVE 1
901# define FILL_CHECK 1
902static int sbrk_goodness = SBRK_ALLOW_FAILURES * SBRK_FAILURE_PRICE;
903
904# define NO_PERL_MALLOC_ENV
905
906#endif
907
b022d2d2
IZ
908#ifdef DEBUGGING_MSTATS
909/*
910 * nmalloc[i] is the difference between the number of mallocs and frees
911 * for a given block size.
912 */
913static u_int nmalloc[NBUCKETS];
914static u_int sbrk_slack;
915static u_int start_slack;
916#else /* !( defined DEBUGGING_MSTATS ) */
917# define sbrk_slack 0
918#endif
919
920static u_int goodsbrk;
921
22f7c9c9 922#ifdef PERL_EMERGENCY_SBRK
febabd2a
DD
923
924# ifndef BIG_SIZE
925# define BIG_SIZE (1<<16) /* 64K */
926# endif
927
22f7c9c9 928# ifdef NO_MALLOC_DYNAMIC_CFG
55497cff 929static MEM_SIZE emergency_buffer_size;
22f7c9c9
JH
930 /* 0 if the last request for more memory succeeded.
931 Otherwise the size of the failing request. */
932static MEM_SIZE emergency_buffer_last_req;
6af660ee
IZ
933static char *emergency_buffer;
934static char *emergency_buffer_prepared;
22f7c9c9
JH
935# endif
936
937# ifndef emergency_sbrk_croak
938# define emergency_sbrk_croak croak2
939# endif
940
22f7c9c9
JH
941static char *
942perl_get_emergency_buffer(IV *size)
943{
944 dTHX;
945 /* First offense, give a possibility to recover by dieing. */
946 /* No malloc involved here: */
22f7c9c9
JH
947 SV *sv;
948 char *pv;
a4fc7abc 949 GV **gvp = (GV**)hv_fetchs(PL_defstash, "^M", FALSE);
22f7c9c9 950
a4fc7abc 951 if (!gvp) gvp = (GV**)hv_fetchs(PL_defstash, "\015", FALSE);
22f7c9c9
JH
952 if (!gvp || !(sv = GvSV(*gvp)) || !SvPOK(sv)
953 || (SvLEN(sv) < (1<<LOG_OF_MIN_ARENA) - M_OVERHEAD))
954 return NULL; /* Now die die die... */
955 /* Got it, now detach SvPV: */
4b1c440c 956 pv = SvPV_nolen(sv);
22f7c9c9
JH
957 /* Check alignment: */
958 if ((PTR2UV(pv) - sizeof(union overhead)) & (NEEDED_ALIGNMENT - 1)) {
959 PerlIO_puts(PerlIO_stderr(),"Bad alignment of $^M!\n");
960 return NULL; /* die die die */
961 }
962
963 SvPOK_off(sv);
bd61b366 964 SvPV_set(sv, NULL);
87a1ef3d
SP
965 SvCUR_set(sv, 0);
966 SvLEN_set(sv, 0);
22f7c9c9
JH
967 *size = malloced_size(pv) + M_OVERHEAD;
968 return pv - sizeof(union overhead);
969}
b9e5552c 970# define PERL_GET_EMERGENCY_BUFFER(p) perl_get_emergency_buffer(p)
22f7c9c9
JH
971
972# ifndef NO_MALLOC_DYNAMIC_CFG
973static char *
974get_emergency_buffer(IV *size)
975{
976 char *pv = emergency_buffer_prepared;
977
978 *size = MallocCfg[MallocCfg_emergency_buffer_prepared_size];
979 emergency_buffer_prepared = 0;
980 MallocCfg[MallocCfg_emergency_buffer_prepared_size] = 0;
981 return pv;
982}
983
22f7c9c9
JH
984# define GET_EMERGENCY_BUFFER(p) get_emergency_buffer(p)
985# else /* NO_MALLOC_DYNAMIC_CFG */
986# define GET_EMERGENCY_BUFFER(p) NULL
22f7c9c9 987# endif
55497cff 988
cea2e8a9
GS
989static Malloc_t
990emergency_sbrk(MEM_SIZE size)
55497cff 991{
28ac10b1
IZ
992 MEM_SIZE rsize = (((size - 1)>>LOG_OF_MIN_ARENA) + 1)<<LOG_OF_MIN_ARENA;
993
22f7c9c9 994 if (size >= BIG_SIZE
575fbe19
SH
995 && (!emergency_buffer_last_req ||
996 (size < (MEM_SIZE)emergency_buffer_last_req))) {
b022d2d2 997 /* Give the possibility to recover, but avoid an infinite cycle. */
741df71a 998 MALLOC_UNLOCK;
22f7c9c9 999 emergency_buffer_last_req = size;
147e3846
KW
1000 emergency_sbrk_croak("Out of memory during \"large\" request for %" UVuf
1001 " bytes, total sbrk() is %" UVuf " bytes",
1002 (UV)size, (UV)(goodsbrk + sbrk_slack));
55497cff 1003 }
1004
575fbe19 1005 if ((MEM_SIZE)emergency_buffer_size >= rsize) {
28ac10b1
IZ
1006 char *old = emergency_buffer;
1007
1008 emergency_buffer_size -= rsize;
1009 emergency_buffer += rsize;
1010 return old;
1011 } else {
55497cff 1012 /* First offense, give a possibility to recover by dieing. */
1013 /* No malloc involved here: */
22f7c9c9
JH
1014 IV Size;
1015 char *pv = GET_EMERGENCY_BUFFER(&Size);
28ac10b1 1016 int have = 0;
55497cff 1017
28ac10b1
IZ
1018 if (emergency_buffer_size) {
1019 add_to_chain(emergency_buffer, emergency_buffer_size, 0);
1020 emergency_buffer_size = 0;
bd61b366 1021 emergency_buffer = NULL;
28ac10b1
IZ
1022 have = 1;
1023 }
22f7c9c9
JH
1024
1025 if (!pv)
1026 pv = PERL_GET_EMERGENCY_BUFFER(&Size);
1027 if (!pv) {
28ac10b1
IZ
1028 if (have)
1029 goto do_croak;
55497cff 1030 return (char *)-1; /* Now die die die... */
28ac10b1 1031 }
22f7c9c9 1032
55497cff 1033 /* Check alignment: */
22f7c9c9
JH
1034 if (PTR2UV(pv) & (NEEDED_ALIGNMENT - 1)) {
1035 dTHX;
1036
55497cff 1037 PerlIO_puts(PerlIO_stderr(),"Bad alignment of $^M!\n");
bbce6d69 1038 return (char *)-1; /* die die die */
55497cff 1039 }
1040
22f7c9c9
JH
1041 emergency_buffer = pv;
1042 emergency_buffer_size = Size;
55497cff 1043 }
28ac10b1 1044 do_croak:
741df71a 1045 MALLOC_UNLOCK;
147e3846
KW
1046 emergency_sbrk_croak("Out of memory during request for %" UVuf
1047 " bytes, total sbrk() is %" UVuf " bytes",
1048 (UV)size, (UV)(goodsbrk + sbrk_slack));
e5964223 1049 NOT_REACHED; /* NOTREACHED */
bd61b366 1050 return NULL;
55497cff 1051}
1052
22f7c9c9 1053#else /* !defined(PERL_EMERGENCY_SBRK) */
55497cff 1054# define emergency_sbrk(size) -1
22f7c9c9
JH
1055#endif /* defined PERL_EMERGENCY_SBRK */
1056
7cd83f65 1057/* Don't use PerlIO buffered writes as they allocate memory. */
acfd4d8e 1058#define MYMALLOC_WRITE2STDERR(s) PERL_UNUSED_RESULT(PerlLIO_write(PerlIO_fileno(PerlIO_stderr()),s,strlen(s)))
55497cff 1059
760ac839 1060#ifdef DEBUGGING
3541dd58 1061#undef ASSERT
e7e7e0a5
DM
1062#define ASSERT(p,diag) if (!(p)) botch(diag,STRINGIFY(p),__FILE__,__LINE__);
1063
cea2e8a9 1064static void
9dbded1f 1065botch(const char *diag, const char *s, const char *file, int line)
8d063cd8 1066{
899be101 1067 dVAR;
9dbded1f 1068 dTHX;
22f7c9c9
JH
1069 if (!(PERL_MAYBE_ALIVE && PERL_GET_THX))
1070 goto do_write;
1071 else {
22f7c9c9 1072 if (PerlIO_printf(PerlIO_stderr(),
67920cb2 1073 "assertion botched (%s?): %s %s:%d\n",
066d1a89 1074 diag, s, file, line) != 0) {
22f7c9c9 1075 do_write: /* Can be initializing interpreter */
7cd83f65
CB
1076 MYMALLOC_WRITE2STDERR("assertion botched (");
1077 MYMALLOC_WRITE2STDERR(diag);
1078 MYMALLOC_WRITE2STDERR("?): ");
1079 MYMALLOC_WRITE2STDERR(s);
1080 MYMALLOC_WRITE2STDERR(" (");
1081 MYMALLOC_WRITE2STDERR(file);
1082 MYMALLOC_WRITE2STDERR(":");
6bf964e1
JH
1083 {
1084 char linebuf[10];
1085 char *s = linebuf + sizeof(linebuf) - 1;
1086 int n = line;
1087 *s = 0;
1088 do {
1089 *--s = '0' + (n % 10);
1090 } while (n /= 10);
7cd83f65 1091 MYMALLOC_WRITE2STDERR(s);
6bf964e1 1092 }
7cd83f65 1093 MYMALLOC_WRITE2STDERR(")\n");
22f7c9c9 1094 }
3028581b 1095 PerlProc_abort();
22f7c9c9 1096 }
8d063cd8
LW
1097}
1098#else
3541dd58 1099#define ASSERT(p, diag)
8d063cd8
LW
1100#endif
1101
22f7c9c9
JH
1102#ifdef MALLOC_FILL
1103/* Fill should be long enough to cover long */
1104static void
1105fill_pat_4bytes(unsigned char *s, size_t nbytes, const unsigned char *fill)
1106{
1107 unsigned char *e = s + nbytes;
1108 long *lp;
b464bac0 1109 const long lfill = *(long*)fill;
22f7c9c9
JH
1110
1111 if (PTR2UV(s) & (sizeof(long)-1)) { /* Align the pattern */
1112 int shift = sizeof(long) - (PTR2UV(s) & (sizeof(long)-1));
1113 unsigned const char *f = fill + sizeof(long) - shift;
1114 unsigned char *e1 = s + shift;
1115
1116 while (s < e1)
1117 *s++ = *f++;
1118 }
1119 lp = (long*)s;
1120 while ((unsigned char*)(lp + 1) <= e)
1121 *lp++ = lfill;
1122 s = (unsigned char*)lp;
1123 while (s < e)
1124 *s++ = *fill++;
1125}
1126/* Just malloc()ed */
1127static const unsigned char fill_feedadad[] =
1128 {0xFE, 0xED, 0xAD, 0xAD, 0xFE, 0xED, 0xAD, 0xAD,
1129 0xFE, 0xED, 0xAD, 0xAD, 0xFE, 0xED, 0xAD, 0xAD};
1130/* Just free()ed */
1131static const unsigned char fill_deadbeef[] =
1132 {0xDE, 0xAD, 0xBE, 0xEF, 0xDE, 0xAD, 0xBE, 0xEF,
1133 0xDE, 0xAD, 0xBE, 0xEF, 0xDE, 0xAD, 0xBE, 0xEF};
1134# define FILL_DEADBEEF(s, n) \
1135 (void)(FILL_DEAD? (fill_pat_4bytes((s), (n), fill_deadbeef), 0) : 0)
1136# define FILL_FEEDADAD(s, n) \
1137 (void)(FILL_ALIVE? (fill_pat_4bytes((s), (n), fill_feedadad), 0) : 0)
1138#else
1139# define FILL_DEADBEEF(s, n) ((void)0)
1140# define FILL_FEEDADAD(s, n) ((void)0)
1141# undef MALLOC_FILL_CHECK
1142#endif
1143
1144#ifdef MALLOC_FILL_CHECK
1145static int
1146cmp_pat_4bytes(unsigned char *s, size_t nbytes, const unsigned char *fill)
1147{
1148 unsigned char *e = s + nbytes;
1149 long *lp;
b464bac0 1150 const long lfill = *(long*)fill;
22f7c9c9
JH
1151
1152 if (PTR2UV(s) & (sizeof(long)-1)) { /* Align the pattern */
1153 int shift = sizeof(long) - (PTR2UV(s) & (sizeof(long)-1));
1154 unsigned const char *f = fill + sizeof(long) - shift;
1155 unsigned char *e1 = s + shift;
1156
1157 while (s < e1)
1158 if (*s++ != *f++)
1159 return 1;
1160 }
1161 lp = (long*)s;
1162 while ((unsigned char*)(lp + 1) <= e)
1163 if (*lp++ != lfill)
1164 return 1;
1165 s = (unsigned char*)lp;
1166 while (s < e)
1167 if (*s++ != *fill++)
1168 return 1;
1169 return 0;
1170}
1171# define FILLCHECK_DEADBEEF(s, n) \
1172 ASSERT(!FILL_CHECK || !cmp_pat_4bytes(s, n, fill_deadbeef), \
1173 "free()ed/realloc()ed-away memory was overwritten")
1174#else
1175# define FILLCHECK_DEADBEEF(s, n) ((void)0)
1176#endif
1177
03f05cb4 1178STATIC int
0eccc83d 1179S_adjust_size_and_find_bucket(size_t *nbytes_p)
8d063cd8 1180{
03f05cb4 1181 MEM_SIZE shiftr;
64107180 1182 int bucket;
03f05cb4
LM
1183 size_t nbytes;
1184
1185 PERL_ARGS_ASSERT_ADJUST_SIZE_AND_FIND_BUCKET;
1186
1187 nbytes = *nbytes_p;
45d8adaa 1188
8d063cd8
LW
1189 /*
1190 * Convert amount of memory requested into
1191 * closest block size stored in hash buckets
1192 * which satisfies request. Account for
1193 * space used per block for accounting.
1194 */
cf5c4ad8 1195#ifdef PACK_MALLOC
e8bc2b5c
GS
1196# ifdef SMALL_BUCKET_VIA_TABLE
1197 if (nbytes == 0)
1198 bucket = MIN_BUCKET;
1199 else if (nbytes <= SIZE_TABLE_MAX) {
1200 bucket = bucket_of[(nbytes - 1) >> BUCKET_TABLE_SHIFT];
1201 } else
1202# else
043bf814
RB
1203 if (nbytes == 0)
1204 nbytes = 1;
e8bc2b5c
GS
1205 if (nbytes <= MAX_POW2_ALGO) goto do_shifts;
1206 else
1207# endif
55497cff 1208#endif
e8bc2b5c
GS
1209 {
1210 POW2_OPTIMIZE_ADJUST(nbytes);
1211 nbytes += M_OVERHEAD;
1212 nbytes = (nbytes + 3) &~ 3;
516a5887 1213#if defined(PACK_MALLOC) && !defined(SMALL_BUCKET_VIA_TABLE)
e8bc2b5c 1214 do_shifts:
516a5887 1215#endif
e8bc2b5c
GS
1216 shiftr = (nbytes - 1) >> START_SHIFT;
1217 bucket = START_SHIFTS_BUCKET;
1218 /* apart from this loop, this is O(1) */
1219 while (shiftr >>= 1)
1220 bucket += BUCKETS_PER_POW2;
cf5c4ad8 1221 }
64107180
NC
1222 *nbytes_p = nbytes;
1223 return bucket;
1224}
1225
7dfc378e
KW
1226/*
1227These have the same interfaces as the C lib ones, so are considered documented
1228
1229=for apidoc malloc
1230=for apidoc calloc
1231=for apidoc realloc
1232=cut
1233*/
1234
64107180
NC
1235Malloc_t
1236Perl_malloc(size_t nbytes)
1237{
1238 dVAR;
eb578fdb
KW
1239 union overhead *p;
1240 int bucket;
c07e0701
RV
1241#if defined(DEBUGGING) || defined(RCHECK)
1242 MEM_SIZE size = nbytes;
1243#endif
64107180 1244
f966a6e6
KW
1245 /* A structure that has more than PTRDIFF_MAX bytes is unfortunately
1246 * legal in C, but in such, if two elements are far enough apart, we
1247 * can't legally find out how far apart they are. Limit the size of a
1248 * malloc so that pointer subtraction in the same structure is always
1249 * well defined */
1250 if (nbytes > PTRDIFF_MAX) {
9629b6dc 1251 dTHX;
f966a6e6
KW
1252 MYMALLOC_WRITE2STDERR("Memory requests are limited to PTRDIFF_MAX"
1253 " bytes to prevent possible undefined"
1254 " behavior");
1255 return NULL;
1256 }
1257
64107180
NC
1258 BARK_64K_LIMIT("Allocation",nbytes,nbytes);
1259#ifdef DEBUGGING
1260 if ((long)nbytes < 0)
1261 croak("%s", "panic: malloc");
1262#endif
1263
03f05cb4 1264 bucket = adjust_size_and_find_bucket(&nbytes);
4ad56ec9 1265 MALLOC_LOCK;
8d063cd8
LW
1266 /*
1267 * If nothing in hash bucket right now,
1268 * request more memory from the system.
1269 */
1270 if (nextf[bucket] == NULL)
1271 morecore(bucket);
e8bc2b5c 1272 if ((p = nextf[bucket]) == NULL) {
741df71a 1273 MALLOC_UNLOCK;
0b250b9e
GS
1274 {
1275 dTHX;
1276 if (!PL_nomemok) {
febabd2a 1277#if defined(PLAIN_MALLOC) && defined(NO_FANCY_MALLOC)
7cd83f65 1278 MYMALLOC_WRITE2STDERR("Out of memory!\n");
febabd2a 1279#else
b022d2d2
IZ
1280 char buff[80];
1281 char *eb = buff + sizeof(buff) - 1;
1282 char *s = eb;
1283 size_t n = nbytes;
1284
7cd83f65 1285 MYMALLOC_WRITE2STDERR("Out of memory during request for ");
b022d2d2
IZ
1286#if defined(DEBUGGING) || defined(RCHECK)
1287 n = size;
1288#endif
1289 *s = 0;
1290 do {
1291 *--s = '0' + (n % 10);
1292 } while (n /= 10);
7cd83f65
CB
1293 MYMALLOC_WRITE2STDERR(s);
1294 MYMALLOC_WRITE2STDERR(" bytes, total sbrk() is ");
b022d2d2
IZ
1295 s = eb;
1296 n = goodsbrk + sbrk_slack;
1297 do {
1298 *--s = '0' + (n % 10);
1299 } while (n /= 10);
7cd83f65
CB
1300 MYMALLOC_WRITE2STDERR(s);
1301 MYMALLOC_WRITE2STDERR(" bytes!\n");
febabd2a 1302#endif /* defined(PLAIN_MALLOC) && defined(NO_FANCY_MALLOC) */
0b250b9e
GS
1303 my_exit(1);
1304 }
ee0007ab 1305 }
4ad56ec9 1306 return (NULL);
45d8adaa
LW
1307 }
1308
8d063cd8 1309 /* remove from linked list */
22f7c9c9
JH
1310#ifdef DEBUGGING
1311 if ( (PTR2UV(p) & (MEM_ALIGNBYTES - 1))
1312 /* Can't get this low */
1313 || (p && PTR2UV(p) < (1<<LOG_OF_MIN_ARENA)) ) {
e8cd8248 1314 dTHX;
b900a521 1315 PerlIO_printf(PerlIO_stderr(),
147e3846 1316 "Unaligned pointer in the free chain 0x%" UVxf "\n",
7fa2f4f1
GS
1317 PTR2UV(p));
1318 }
22f7c9c9
JH
1319 if ( (PTR2UV(p->ov_next) & (MEM_ALIGNBYTES - 1))
1320 || (p->ov_next && PTR2UV(p->ov_next) < (1<<LOG_OF_MIN_ARENA)) ) {
e8cd8248 1321 dTHX;
7fa2f4f1 1322 PerlIO_printf(PerlIO_stderr(),
a0288114 1323 "Unaligned \"next\" pointer in the free "
147e3846 1324 "chain 0x%" UVxf " at 0x%" UVxf "\n",
7fa2f4f1 1325 PTR2UV(p->ov_next), PTR2UV(p));
32e30700 1326 }
bf38876a
LW
1327#endif
1328 nextf[bucket] = p->ov_next;
4ad56ec9
IZ
1329
1330 MALLOC_UNLOCK;
1331
51a5ed28 1332 DEBUG_m(PerlIO_printf(Perl_debug_log,
975d8916
KW
1333 "%p: (%05lu) malloc %ld bytes\n",
1334 (Malloc_t)(p + CHUNK_SHIFT),
1335 (unsigned long)(PL_an++),
51a5ed28
HS
1336 (long)size));
1337
22f7c9c9 1338 FILLCHECK_DEADBEEF((unsigned char*)(p + CHUNK_SHIFT),
d0bbed78 1339 BUCKET_SIZE_REAL(bucket) + RMAGIC_SZ);
22f7c9c9 1340
e8bc2b5c
GS
1341#ifdef IGNORE_SMALL_BAD_FREE
1342 if (bucket >= FIRST_BUCKET_WITH_CHECK)
1343#endif
1344 OV_MAGIC(p, bucket) = MAGIC;
cf5c4ad8 1345#ifndef PACK_MALLOC
1346 OV_INDEX(p) = bucket;
1347#endif
8d063cd8
LW
1348#ifdef RCHECK
1349 /*
1350 * Record allocated size of block and
1351 * bound space with magic numbers.
1352 */
8d063cd8 1353 p->ov_rmagic = RMAGIC;
e8bc2b5c
GS
1354 if (bucket <= MAX_SHORT_BUCKET) {
1355 int i;
1356
1357 nbytes = size + M_OVERHEAD;
1358 p->ov_size = nbytes - 1;
d0bbed78
IZ
1359 if ((i = nbytes & (RMAGIC_SZ-1))) {
1360 i = RMAGIC_SZ - i;
1361 while (i--) /* nbytes - RMAGIC_SZ is end of alloced area */
1362 ((caddr_t)p + nbytes - RMAGIC_SZ)[i] = RMAGIC_C;
e8bc2b5c 1363 }
d0bbed78
IZ
1364 /* Same at RMAGIC_SZ-aligned RMAGIC */
1365 nbytes = (nbytes + RMAGIC_SZ - 1) & ~(RMAGIC_SZ - 1);
1366 ((u_int *)((caddr_t)p + nbytes))[-1] = RMAGIC;
e8bc2b5c 1367 }
22f7c9c9 1368 FILL_FEEDADAD((unsigned char *)(p + CHUNK_SHIFT), size);
8d063cd8 1369#endif
cf5c4ad8 1370 return ((Malloc_t)(p + CHUNK_SHIFT));
8d063cd8
LW
1371}
1372
e8bc2b5c
GS
1373static char *last_sbrk_top;
1374static char *last_op; /* This arena can be easily extended. */
6e21dc91 1375static MEM_SIZE sbrked_remains;
e8bc2b5c
GS
1376
1377#ifdef DEBUGGING_MSTATS
1378static int sbrks;
1379#endif
1380
1381struct chunk_chain_s {
1382 struct chunk_chain_s *next;
1383 MEM_SIZE size;
1384};
1385static struct chunk_chain_s *chunk_chain;
1386static int n_chunks;
1387static char max_bucket;
1388
1389/* Cutoff a piece of one of the chunks in the chain. Prefer smaller chunk. */
cea2e8a9
GS
1390static void *
1391get_from_chain(MEM_SIZE size)
e8bc2b5c
GS
1392{
1393 struct chunk_chain_s *elt = chunk_chain, **oldp = &chunk_chain;
1394 struct chunk_chain_s **oldgoodp = NULL;
1395 long min_remain = LONG_MAX;
1396
1397 while (elt) {
1398 if (elt->size >= size) {
1399 long remains = elt->size - size;
1400 if (remains >= 0 && remains < min_remain) {
1401 oldgoodp = oldp;
1402 min_remain = remains;
1403 }
1404 if (remains == 0) {
1405 break;
1406 }
1407 }
1408 oldp = &( elt->next );
1409 elt = elt->next;
1410 }
1411 if (!oldgoodp) return NULL;
1412 if (min_remain) {
1413 void *ret = *oldgoodp;
1414 struct chunk_chain_s *next = (*oldgoodp)->next;
1415
1416 *oldgoodp = (struct chunk_chain_s *)((char*)ret + size);
1417 (*oldgoodp)->size = min_remain;
1418 (*oldgoodp)->next = next;
1419 return ret;
1420 } else {
1421 void *ret = *oldgoodp;
1422 *oldgoodp = (*oldgoodp)->next;
1423 n_chunks--;
1424 return ret;
1425 }
1426}
1427
cea2e8a9
GS
1428static void
1429add_to_chain(void *p, MEM_SIZE size, MEM_SIZE chip)
e8bc2b5c
GS
1430{
1431 struct chunk_chain_s *next = chunk_chain;
1432 char *cp = (char*)p;
1433
1434 cp += chip;
1435 chunk_chain = (struct chunk_chain_s *)cp;
1436 chunk_chain->size = size - chip;
1437 chunk_chain->next = next;
1438 n_chunks++;
1439}
1440
cea2e8a9
GS
1441static void *
1442get_from_bigger_buckets(int bucket, MEM_SIZE size)
e8bc2b5c
GS
1443{
1444 int price = 1;
1445 static int bucketprice[NBUCKETS];
1446 while (bucket <= max_bucket) {
1447 /* We postpone stealing from bigger buckets until we want it
1448 often enough. */
1449 if (nextf[bucket] && bucketprice[bucket]++ >= price) {
1450 /* Steal it! */
1451 void *ret = (void*)(nextf[bucket] - 1 + CHUNK_SHIFT);
1452 bucketprice[bucket] = 0;
1453 if (((char*)nextf[bucket]) - M_OVERHEAD == last_op) {
1454 last_op = NULL; /* Disable optimization */
1455 }
1456 nextf[bucket] = nextf[bucket]->ov_next;
1457#ifdef DEBUGGING_MSTATS
1458 nmalloc[bucket]--;
1459 start_slack -= M_OVERHEAD;
1460#endif
d0bbed78 1461 add_to_chain(ret, (BUCKET_SIZE_NO_SURPLUS(bucket) +
e8bc2b5c
GS
1462 POW2_OPTIMIZE_SURPLUS(bucket)),
1463 size);
1464 return ret;
1465 }
1466 bucket++;
1467 }
1468 return NULL;
1469}
1470
cea2e8a9 1471static union overhead *
c7374474 1472getpages(MEM_SIZE needed, int *nblksp, int bucket)
fa423c5b 1473{
899be101 1474 dVAR;
fa423c5b
IZ
1475 /* Need to do (possibly expensive) system call. Try to
1476 optimize it for rare calling. */
1477 MEM_SIZE require = needed - sbrked_remains;
1478 char *cp;
1479 union overhead *ovp;
c7374474 1480 MEM_SIZE slack = 0;
fa423c5b 1481
22f7c9c9 1482 if (sbrk_goodness > 0) {
575fbe19 1483 if (!last_sbrk_top && require < (MEM_SIZE)FIRST_SBRK)
fa423c5b 1484 require = FIRST_SBRK;
575fbe19 1485 else if (require < (MEM_SIZE)MIN_SBRK) require = MIN_SBRK;
fa423c5b 1486
8c2f25b1 1487 if (require < (Size_t)(goodsbrk * MIN_SBRK_FRAC1000 / 1000))
22f7c9c9 1488 require = goodsbrk * MIN_SBRK_FRAC1000 / 1000;
fa423c5b
IZ
1489 require = ((require - 1 + MIN_SBRK) / MIN_SBRK) * MIN_SBRK;
1490 } else {
1491 require = needed;
1492 last_sbrk_top = 0;
1493 sbrked_remains = 0;
1494 }
1495
1496 DEBUG_m(PerlIO_printf(Perl_debug_log,
1497 "sbrk(%ld) for %ld-byte-long arena\n",
1498 (long)require, (long) needed));
1499 cp = (char *)sbrk(require);
1500#ifdef DEBUGGING_MSTATS
1501 sbrks++;
1502#endif
1503 if (cp == last_sbrk_top) {
1504 /* Common case, anything is fine. */
22f7c9c9 1505 sbrk_goodness++;
fa423c5b 1506 ovp = (union overhead *) (cp - sbrked_remains);
e9397286 1507 last_op = cp - sbrked_remains;
fa423c5b
IZ
1508 sbrked_remains = require - (needed - sbrked_remains);
1509 } else if (cp == (char *)-1) { /* no more room! */
1510 ovp = (union overhead *)emergency_sbrk(needed);
1511 if (ovp == (union overhead *)-1)
1512 return 0;
e9397286
GS
1513 if (((char*)ovp) > last_op) { /* Cannot happen with current emergency_sbrk() */
1514 last_op = 0;
1515 }
fa423c5b
IZ
1516 return ovp;
1517 } else { /* Non-continuous or first sbrk(). */
1518 long add = sbrked_remains;
1519 char *newcp;
1520
1521 if (sbrked_remains) { /* Put rest into chain, we
1522 cannot use it right now. */
1523 add_to_chain((void*)(last_sbrk_top - sbrked_remains),
1524 sbrked_remains, 0);
1525 }
1526
1527 /* Second, check alignment. */
1528 slack = 0;
1529
5bbd1ef5
IZ
1530 /* WANTED_ALIGNMENT may be more than NEEDED_ALIGNMENT, but this may
1531 improve performance of memory access. */
56431972
RB
1532 if (PTR2UV(cp) & (WANTED_ALIGNMENT - 1)) { /* Not aligned. */
1533 slack = WANTED_ALIGNMENT - (PTR2UV(cp) & (WANTED_ALIGNMENT - 1));
fa423c5b
IZ
1534 add += slack;
1535 }
fa423c5b
IZ
1536
1537 if (add) {
1538 DEBUG_m(PerlIO_printf(Perl_debug_log,
f6bab5f6 1539 "sbrk(%ld) to fix non-continuous/off-page sbrk:\n\t%ld for alignment,\t%ld were assumed to come from the tail of the previous sbrk\n",
fa423c5b
IZ
1540 (long)add, (long) slack,
1541 (long) sbrked_remains));
1542 newcp = (char *)sbrk(add);
1543#if defined(DEBUGGING_MSTATS)
1544 sbrks++;
1545 sbrk_slack += add;
1546#endif
1547 if (newcp != cp + require) {
1548 /* Too bad: even rounding sbrk() is not continuous.*/
1549 DEBUG_m(PerlIO_printf(Perl_debug_log,
1550 "failed to fix bad sbrk()\n"));
1551#ifdef PACK_MALLOC
1552 if (slack) {
741df71a 1553 MALLOC_UNLOCK;
5bbd1ef5 1554 fatalcroak("panic: Off-page sbrk\n");
fa423c5b
IZ
1555 }
1556#endif
1557 if (sbrked_remains) {
1558 /* Try again. */
1559#if defined(DEBUGGING_MSTATS)
1560 sbrk_slack += require;
1561#endif
1562 require = needed;
1563 DEBUG_m(PerlIO_printf(Perl_debug_log,
1564 "straight sbrk(%ld)\n",
1565 (long)require));
1566 cp = (char *)sbrk(require);
1567#ifdef DEBUGGING_MSTATS
1568 sbrks++;
1569#endif
1570 if (cp == (char *)-1)
1571 return 0;
1572 }
22f7c9c9 1573 sbrk_goodness = -1; /* Disable optimization!
fa423c5b
IZ
1574 Continue with not-aligned... */
1575 } else {
1576 cp += slack;
1577 require += sbrked_remains;
1578 }
1579 }
1580
1581 if (last_sbrk_top) {
22f7c9c9 1582 sbrk_goodness -= SBRK_FAILURE_PRICE;
fa423c5b
IZ
1583 }
1584
1585 ovp = (union overhead *) cp;
1586 /*
1587 * Round up to minimum allocation size boundary
1588 * and deduct from block count to reflect.
1589 */
1590
5bbd1ef5 1591# if NEEDED_ALIGNMENT > MEM_ALIGNBYTES
56431972 1592 if (PTR2UV(ovp) & (NEEDED_ALIGNMENT - 1))
5bbd1ef5
IZ
1593 fatalcroak("Misalignment of sbrk()\n");
1594 else
1595# endif
56431972 1596 if (PTR2UV(ovp) & (MEM_ALIGNBYTES - 1)) {
fa423c5b 1597 DEBUG_m(PerlIO_printf(Perl_debug_log,
486ec47a 1598 "fixing sbrk(): %d bytes off machine alignment\n",
56431972
RB
1599 (int)(PTR2UV(ovp) & (MEM_ALIGNBYTES - 1))));
1600 ovp = INT2PTR(union overhead *,(PTR2UV(ovp) + MEM_ALIGNBYTES) &
5bbd1ef5 1601 (MEM_ALIGNBYTES - 1));
fa423c5b
IZ
1602 (*nblksp)--;
1603# if defined(DEBUGGING_MSTATS)
1604 /* This is only approx. if TWO_POT_OPTIMIZE: */
5bbd1ef5 1605 sbrk_slack += (1 << (bucket >> BUCKET_POW2_SHIFT));
fa423c5b
IZ
1606# endif
1607 }
a0288114 1608 ; /* Finish "else" */
fa423c5b 1609 sbrked_remains = require - needed;
e9397286 1610 last_op = cp;
fa423c5b 1611 }
febabd2a 1612#if !defined(PLAIN_MALLOC) && !defined(NO_FANCY_MALLOC)
22f7c9c9 1613 emergency_buffer_last_req = 0;
febabd2a 1614#endif
fa423c5b 1615 last_sbrk_top = cp + require;
fa423c5b
IZ
1616#ifdef DEBUGGING_MSTATS
1617 goodsbrk += require;
1618#endif
1619 return ovp;
1620}
1621
cea2e8a9 1622static int
c7374474 1623getpages_adjacent(MEM_SIZE require)
fa423c5b
IZ
1624{
1625 if (require <= sbrked_remains) {
1626 sbrked_remains -= require;
1627 } else {
1628 char *cp;
1629
1630 require -= sbrked_remains;
1631 /* We do not try to optimize sbrks here, we go for place. */
1632 cp = (char*) sbrk(require);
1633#ifdef DEBUGGING_MSTATS
1634 sbrks++;
1635 goodsbrk += require;
1636#endif
1637 if (cp == last_sbrk_top) {
1638 sbrked_remains = 0;
1639 last_sbrk_top = cp + require;
1640 } else {
28ac10b1
IZ
1641 if (cp == (char*)-1) { /* Out of memory */
1642#ifdef DEBUGGING_MSTATS
1643 goodsbrk -= require;
1644#endif
1645 return 0;
1646 }
fa423c5b
IZ
1647 /* Report the failure: */
1648 if (sbrked_remains)
1649 add_to_chain((void*)(last_sbrk_top - sbrked_remains),
1650 sbrked_remains, 0);
1651 add_to_chain((void*)cp, require, 0);
22f7c9c9 1652 sbrk_goodness -= SBRK_FAILURE_PRICE;
fa423c5b
IZ
1653 sbrked_remains = 0;
1654 last_sbrk_top = 0;
1655 last_op = 0;
1656 return 0;
1657 }
1658 }
1659
1660 return 1;
1661}
1662
8d063cd8
LW
1663/*
1664 * Allocate more memory to the indicated bucket.
1665 */
cea2e8a9 1666static void
5aaab254 1667morecore(int bucket)
8d063cd8 1668{
899be101 1669 dVAR;
eb578fdb
KW
1670 union overhead *ovp;
1671 int rnu; /* 2^rnu bytes will be requested */
fa423c5b 1672 int nblks; /* become nblks blocks of the desired size */
eb578fdb 1673 MEM_SIZE siz, needed;
22f7c9c9 1674 static int were_called = 0;
8d063cd8
LW
1675
1676 if (nextf[bucket])
1677 return;
22f7c9c9
JH
1678#ifndef NO_PERL_MALLOC_ENV
1679 if (!were_called) {
c656fadc 1680 /* It's our first time. Initialize ourselves */
22f7c9c9
JH
1681 were_called = 1; /* Avoid a loop */
1682 if (!MallocCfg[MallocCfg_skip_cfg_env]) {
975d8916
KW
1683 char *s = getenv("PERL_MALLOC_OPT"), *t = s;
1684 const char *off;
22f7c9c9
JH
1685 const char *opts = PERL_MALLOC_OPT_CHARS;
1686 int changed = 0;
1687
1688 while ( t && t[0] && t[1] == '='
1689 && ((off = strchr(opts, *t))) ) {
1690 IV val = 0;
1691
1692 t += 2;
2a3c509d 1693 while (isDIGIT(*t))
22f7c9c9
JH
1694 val = 10*val + *t++ - '0';
1695 if (!*t || *t == ';') {
1696 if (MallocCfg[off - opts] != val)
1697 changed = 1;
1698 MallocCfg[off - opts] = val;
1699 if (*t)
1700 t++;
1701 }
1702 }
1703 if (t && *t) {
89229eb4 1704 dTHX;
7cd83f65
CB
1705 MYMALLOC_WRITE2STDERR("Unrecognized part of PERL_MALLOC_OPT: \"");
1706 MYMALLOC_WRITE2STDERR(t);
1707 MYMALLOC_WRITE2STDERR("\"\n");
22f7c9c9
JH
1708 }
1709 if (changed)
1710 MallocCfg[MallocCfg_cfg_env_read] = 1;
1711 }
1712 }
1713#endif
e8bc2b5c 1714 if (bucket == sizeof(MEM_SIZE)*8*BUCKETS_PER_POW2) {
741df71a 1715 MALLOC_UNLOCK;
d720c441 1716 croak("%s", "Out of memory during ridiculously large request");
55497cff 1717 }
d720c441 1718 if (bucket > max_bucket)
e8bc2b5c 1719 max_bucket = bucket;
d720c441 1720
e8bc2b5c
GS
1721 rnu = ( (bucket <= (LOG_OF_MIN_ARENA << BUCKET_POW2_SHIFT))
1722 ? LOG_OF_MIN_ARENA
1723 : (bucket >> BUCKET_POW2_SHIFT) );
1724 /* This may be overwritten later: */
1725 nblks = 1 << (rnu - (bucket >> BUCKET_POW2_SHIFT)); /* how many blocks to get */
1726 needed = ((MEM_SIZE)1 << rnu) + POW2_OPTIMIZE_SURPLUS(bucket);
1727 if (nextf[rnu << BUCKET_POW2_SHIFT]) { /* 2048b bucket. */
1728 ovp = nextf[rnu << BUCKET_POW2_SHIFT] - 1 + CHUNK_SHIFT;
1729 nextf[rnu << BUCKET_POW2_SHIFT]
1730 = nextf[rnu << BUCKET_POW2_SHIFT]->ov_next;
1731#ifdef DEBUGGING_MSTATS
1732 nmalloc[rnu << BUCKET_POW2_SHIFT]--;
1733 start_slack -= M_OVERHEAD;
1734#endif
1735 DEBUG_m(PerlIO_printf(Perl_debug_log,
1736 "stealing %ld bytes from %ld arena\n",
1737 (long) needed, (long) rnu << BUCKET_POW2_SHIFT));
1738 } else if (chunk_chain
1739 && (ovp = (union overhead*) get_from_chain(needed))) {
1740 DEBUG_m(PerlIO_printf(Perl_debug_log,
1741 "stealing %ld bytes from chain\n",
1742 (long) needed));
d720c441
IZ
1743 } else if ( (ovp = (union overhead*)
1744 get_from_bigger_buckets((rnu << BUCKET_POW2_SHIFT) + 1,
1745 needed)) ) {
e8bc2b5c
GS
1746 DEBUG_m(PerlIO_printf(Perl_debug_log,
1747 "stealing %ld bytes from bigger buckets\n",
1748 (long) needed));
1749 } else if (needed <= sbrked_remains) {
1750 ovp = (union overhead *)(last_sbrk_top - sbrked_remains);
1751 sbrked_remains -= needed;
1752 last_op = (char*)ovp;
fa423c5b
IZ
1753 } else
1754 ovp = getpages(needed, &nblks, bucket);
e8bc2b5c 1755
fa423c5b
IZ
1756 if (!ovp)
1757 return;
22f7c9c9 1758 FILL_DEADBEEF((unsigned char*)ovp, needed);
e8bc2b5c 1759
8d063cd8
LW
1760 /*
1761 * Add new memory allocated to that on
1762 * free list for this hash bucket.
1763 */
d0bbed78 1764 siz = BUCKET_SIZE_NO_SURPLUS(bucket); /* No surplus if nblks > 1 */
cf5c4ad8 1765#ifdef PACK_MALLOC
72aaf631 1766 *(u_char*)ovp = bucket; /* Fill index. */
e8bc2b5c
GS
1767 if (bucket <= MAX_PACKED) {
1768 ovp = (union overhead *) ((char*)ovp + BLK_SHIFT(bucket));
1769 nblks = N_BLKS(bucket);
cf5c4ad8 1770# ifdef DEBUGGING_MSTATS
e8bc2b5c 1771 start_slack += BLK_SHIFT(bucket);
cf5c4ad8 1772# endif
e8bc2b5c
GS
1773 } else if (bucket < LOG_OF_MIN_ARENA * BUCKETS_PER_POW2) {
1774 ovp = (union overhead *) ((char*)ovp + BLK_SHIFT(bucket));
cf5c4ad8 1775 siz -= sizeof(union overhead);
72aaf631 1776 } else ovp++; /* One chunk per block. */
e8bc2b5c 1777#endif /* PACK_MALLOC */
72aaf631 1778 nextf[bucket] = ovp;
5f05dabc 1779#ifdef DEBUGGING_MSTATS
1780 nmalloc[bucket] += nblks;
e8bc2b5c
GS
1781 if (bucket > MAX_PACKED) {
1782 start_slack += M_OVERHEAD * nblks;
1783 }
5f05dabc 1784#endif
22f7c9c9 1785
8d063cd8 1786 while (--nblks > 0) {
72aaf631
MB
1787 ovp->ov_next = (union overhead *)((caddr_t)ovp + siz);
1788 ovp = (union overhead *)((caddr_t)ovp + siz);
8d063cd8 1789 }
8595d6f1 1790 /* Not all sbrks return zeroed memory.*/
72aaf631 1791 ovp->ov_next = (union overhead *)NULL;
cf5c4ad8 1792#ifdef PACK_MALLOC
e8bc2b5c
GS
1793 if (bucket == 7*BUCKETS_PER_POW2) { /* Special case, explanation is above. */
1794 union overhead *n_op = nextf[7*BUCKETS_PER_POW2]->ov_next;
1795 nextf[7*BUCKETS_PER_POW2] =
1796 (union overhead *)((caddr_t)nextf[7*BUCKETS_PER_POW2]
1797 - sizeof(union overhead));
1798 nextf[7*BUCKETS_PER_POW2]->ov_next = n_op;
cf5c4ad8 1799 }
1800#endif /* !PACK_MALLOC */
8d063cd8
LW
1801}
1802
94b6baf5 1803Free_t
667e2948 1804Perl_mfree(Malloc_t where)
cea2e8a9 1805{
899be101 1806 dVAR;
eb578fdb
KW
1807 MEM_SIZE size;
1808 union overhead *ovp;
667e2948 1809 char *cp = (char*)where;
cf5c4ad8 1810#ifdef PACK_MALLOC
1811 u_char bucket;
1812#endif
8d063cd8 1813
e8bc2b5c 1814 DEBUG_m(PerlIO_printf(Perl_debug_log,
147e3846 1815 "0x%" UVxf ": (%05lu) free\n",
b900a521 1816 PTR2UV(cp), (unsigned long)(PL_an++)));
45d8adaa 1817
cf5c4ad8 1818 if (cp == NULL)
1819 return;
22f7c9c9
JH
1820#ifdef DEBUGGING
1821 if (PTR2UV(cp) & (MEM_ALIGNBYTES - 1))
1822 croak("%s", "wrong alignment in free()");
1823#endif
72aaf631 1824 ovp = (union overhead *)((caddr_t)cp
e8bc2b5c 1825 - sizeof (union overhead) * CHUNK_SHIFT);
cf5c4ad8 1826#ifdef PACK_MALLOC
72aaf631 1827 bucket = OV_INDEX(ovp);
cf5c4ad8 1828#endif
e8bc2b5c
GS
1829#ifdef IGNORE_SMALL_BAD_FREE
1830 if ((bucket >= FIRST_BUCKET_WITH_CHECK)
1831 && (OV_MAGIC(ovp, bucket) != MAGIC))
1832#else
1833 if (OV_MAGIC(ovp, bucket) != MAGIC)
1834#endif
1835 {
68dc0745 1836 static int bad_free_warn = -1;
cf5c4ad8 1837 if (bad_free_warn == -1) {
e8cd8248 1838 dTHX;
5fd9e9a4 1839 char *pbf = PerlEnv_getenv("PERL_BADFREE");
22ff3130 1840 bad_free_warn = (pbf) ? strNE("0", pbf) : 1;
cf5c4ad8 1841 }
1842 if (!bad_free_warn)
1843 return;
8990e307 1844#ifdef RCHECK
e8cd8248
GS
1845 {
1846 dTHX;
9b387841
NC
1847 if (!PERL_IS_ALIVE || !PL_curcop)
1848 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%s free() ignored (RMAGIC, PERL_CORE)",
1849 ovp->ov_rmagic == RMAGIC - 1 ?
1850 "Duplicate" : "Bad");
2ba999ec 1851 }
e476b1b5 1852#else
2ba999ec
GS
1853 {
1854 dTHX;
9b387841
NC
1855 if (!PERL_IS_ALIVE || !PL_curcop)
1856 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%s", "Bad free() ignored (PERL_CORE)");
2ba999ec 1857 }
e476b1b5 1858#endif
8d063cd8 1859 return; /* sanity */
e8bc2b5c 1860 }
8d063cd8 1861#ifdef RCHECK
3541dd58 1862 ASSERT(ovp->ov_rmagic == RMAGIC, "chunk's head overwrite");
e8bc2b5c
GS
1863 if (OV_INDEX(ovp) <= MAX_SHORT_BUCKET) {
1864 int i;
1865 MEM_SIZE nbytes = ovp->ov_size + 1;
1866
d0bbed78
IZ
1867 if ((i = nbytes & (RMAGIC_SZ-1))) {
1868 i = RMAGIC_SZ - i;
1869 while (i--) { /* nbytes - RMAGIC_SZ is end of alloced area */
1870 ASSERT(((caddr_t)ovp + nbytes - RMAGIC_SZ)[i] == RMAGIC_C,
1871 "chunk's tail overwrite");
e8bc2b5c
GS
1872 }
1873 }
d0bbed78
IZ
1874 /* Same at RMAGIC_SZ-aligned RMAGIC */
1875 nbytes = (nbytes + (RMAGIC_SZ-1)) & ~(RMAGIC_SZ-1);
1876 ASSERT(((u_int *)((caddr_t)ovp + nbytes))[-1] == RMAGIC,
1877 "chunk's tail overwrite");
1878 FILLCHECK_DEADBEEF((unsigned char*)((caddr_t)ovp + nbytes),
1879 BUCKET_SIZE(OV_INDEX(ovp)) - nbytes);
e8bc2b5c 1880 }
d0bbed78
IZ
1881 FILL_DEADBEEF((unsigned char*)(ovp+CHUNK_SHIFT),
1882 BUCKET_SIZE_REAL(OV_INDEX(ovp)) + RMAGIC_SZ);
72aaf631 1883 ovp->ov_rmagic = RMAGIC - 1;
8d063cd8 1884#endif
3541dd58 1885 ASSERT(OV_INDEX(ovp) < NBUCKETS, "chunk's head overwrite");
72aaf631 1886 size = OV_INDEX(ovp);
4ad56ec9
IZ
1887
1888 MALLOC_LOCK;
72aaf631
MB
1889 ovp->ov_next = nextf[size];
1890 nextf[size] = ovp;
741df71a 1891 MALLOC_UNLOCK;
8d063cd8
LW
1892}
1893
4ad56ec9
IZ
1894/* There is no need to do any locking in realloc (with an exception of
1895 trying to grow in place if we are at the end of the chain).
1896 If somebody calls us from a different thread with the same address,
1897 we are sole anyway. */
8d063cd8 1898
2304df62 1899Malloc_t
86058a2d 1900Perl_realloc(void *mp, size_t nbytes)
cea2e8a9 1901{
899be101 1902 dVAR;
eb578fdb 1903 MEM_SIZE onb;
72aaf631 1904 union overhead *ovp;
d720c441
IZ
1905 char *res;
1906 int prev_bucket;
eb578fdb 1907 int bucket;
4ad56ec9
IZ
1908 int incr; /* 1 if does not fit, -1 if "easily" fits in a
1909 smaller bucket, otherwise 0. */
352d5a3a 1910 char *cp = (char*)mp;
8d063cd8 1911
b9e5552c 1912#ifdef DEBUGGING
ee0007ab 1913 MEM_SIZE size = nbytes;
45d8adaa 1914
45d8adaa 1915 if ((long)nbytes < 0)
cea2e8a9 1916 croak("%s", "panic: realloc");
45d8adaa 1917#endif
e8bc2b5c
GS
1918
1919 BARK_64K_LIMIT("Reallocation",nbytes,size);
1920 if (!cp)
86058a2d 1921 return Perl_malloc(nbytes);
45d8adaa 1922
72aaf631 1923 ovp = (union overhead *)((caddr_t)cp
e8bc2b5c
GS
1924 - sizeof (union overhead) * CHUNK_SHIFT);
1925 bucket = OV_INDEX(ovp);
4ad56ec9 1926
e8bc2b5c 1927#ifdef IGNORE_SMALL_BAD_FREE
4ad56ec9
IZ
1928 if ((bucket >= FIRST_BUCKET_WITH_CHECK)
1929 && (OV_MAGIC(ovp, bucket) != MAGIC))
e8bc2b5c 1930#else
4ad56ec9 1931 if (OV_MAGIC(ovp, bucket) != MAGIC)
e8bc2b5c 1932#endif
4ad56ec9
IZ
1933 {
1934 static int bad_free_warn = -1;
1935 if (bad_free_warn == -1) {
e8cd8248 1936 dTHX;
4ad56ec9 1937 char *pbf = PerlEnv_getenv("PERL_BADFREE");
22ff3130 1938 bad_free_warn = (pbf) ? strNE("0", pbf) : 1;
4ad56ec9
IZ
1939 }
1940 if (!bad_free_warn)
bd61b366 1941 return NULL;
4ad56ec9 1942#ifdef RCHECK
e8cd8248
GS
1943 {
1944 dTHX;
9b387841
NC
1945 if (!PERL_IS_ALIVE || !PL_curcop)
1946 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%srealloc() %signored",
1947 (ovp->ov_rmagic == RMAGIC - 1 ? "" : "Bad "),
1948 ovp->ov_rmagic == RMAGIC - 1
1949 ? "of freed memory " : "");
2ba999ec 1950 }
e476b1b5 1951#else
2ba999ec
GS
1952 {
1953 dTHX;
9b387841
NC
1954 if (!PERL_IS_ALIVE || !PL_curcop)
1955 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%s",
1956 "Bad realloc() ignored");
2ba999ec 1957 }
e476b1b5 1958#endif
bd61b366 1959 return NULL; /* sanity */
4ad56ec9
IZ
1960 }
1961
e8bc2b5c 1962 onb = BUCKET_SIZE_REAL(bucket);
55497cff 1963 /*
1964 * avoid the copy if same size block.
486ec47a 1965 * We are not aggressive with boundary cases. Note that it might
e8bc2b5c 1966 * (for a small number of cases) give false negative if
55497cff 1967 * both new size and old one are in the bucket for
e8bc2b5c
GS
1968 * FIRST_BIG_POW2, but the new one is near the lower end.
1969 *
1970 * We do not try to go to 1.5 times smaller bucket so far.
55497cff 1971 */
e8bc2b5c
GS
1972 if (nbytes > onb) incr = 1;
1973 else {
1974#ifdef DO_NOT_TRY_HARDER_WHEN_SHRINKING
1975 if ( /* This is a little bit pessimal if PACK_MALLOC: */
1976 nbytes > ( (onb >> 1) - M_OVERHEAD )
1977# ifdef TWO_POT_OPTIMIZE
1978 || (bucket == FIRST_BIG_POW2 && nbytes >= LAST_SMALL_BOUND )
1979# endif
1980 )
1981#else /* !DO_NOT_TRY_HARDER_WHEN_SHRINKING */
1982 prev_bucket = ( (bucket > MAX_PACKED + 1)
1983 ? bucket - BUCKETS_PER_POW2
1984 : bucket - 1);
1985 if (nbytes > BUCKET_SIZE_REAL(prev_bucket))
1986#endif /* !DO_NOT_TRY_HARDER_WHEN_SHRINKING */
1987 incr = 0;
1988 else incr = -1;
1989 }
2ce36478 1990#ifdef STRESS_REALLOC
4ad56ec9 1991 goto hard_way;
2ce36478 1992#endif
4ad56ec9 1993 if (incr == 0) {
852c2e52 1994 inplace_label:
a687059c
LW
1995#ifdef RCHECK
1996 /*
1997 * Record new allocated size of block and
1998 * bound space with magic numbers.
1999 */
72aaf631 2000 if (OV_INDEX(ovp) <= MAX_SHORT_BUCKET) {
e8bc2b5c
GS
2001 int i, nb = ovp->ov_size + 1;
2002
d0bbed78
IZ
2003 if ((i = nb & (RMAGIC_SZ-1))) {
2004 i = RMAGIC_SZ - i;
2005 while (i--) { /* nb - RMAGIC_SZ is end of alloced area */
2006 ASSERT(((caddr_t)ovp + nb - RMAGIC_SZ)[i] == RMAGIC_C, "chunk's tail overwrite");
e8bc2b5c
GS
2007 }
2008 }
d0bbed78
IZ
2009 /* Same at RMAGIC_SZ-aligned RMAGIC */
2010 nb = (nb + (RMAGIC_SZ-1)) & ~(RMAGIC_SZ-1);
2011 ASSERT(((u_int *)((caddr_t)ovp + nb))[-1] == RMAGIC,
2012 "chunk's tail overwrite");
2013 FILLCHECK_DEADBEEF((unsigned char*)((caddr_t)ovp + nb),
2014 BUCKET_SIZE(OV_INDEX(ovp)) - nb);
22f7c9c9
JH
2015 if (nbytes > ovp->ov_size + 1 - M_OVERHEAD)
2016 FILL_FEEDADAD((unsigned char*)cp + ovp->ov_size + 1 - M_OVERHEAD,
2017 nbytes - (ovp->ov_size + 1 - M_OVERHEAD));
2018 else
2019 FILL_DEADBEEF((unsigned char*)cp + nbytes,
d0bbed78 2020 nb - M_OVERHEAD + RMAGIC_SZ - nbytes);
a687059c
LW
2021 /*
2022 * Convert amount of memory requested into
2023 * closest block size stored in hash buckets
2024 * which satisfies request. Account for
2025 * space used per block for accounting.
2026 */
cf5c4ad8 2027 nbytes += M_OVERHEAD;
72aaf631 2028 ovp->ov_size = nbytes - 1;
d0bbed78
IZ
2029 if ((i = nbytes & (RMAGIC_SZ-1))) {
2030 i = RMAGIC_SZ - i;
2031 while (i--) /* nbytes - RMAGIC_SZ is end of alloced area */
2032 ((caddr_t)ovp + nbytes - RMAGIC_SZ)[i]
e8bc2b5c
GS
2033 = RMAGIC_C;
2034 }
d0bbed78
IZ
2035 /* Same at RMAGIC_SZ-aligned RMAGIC */
2036 nbytes = (nbytes + (RMAGIC_SZ-1)) & ~(RMAGIC_SZ - 1);
2037 ((u_int *)((caddr_t)ovp + nbytes))[-1] = RMAGIC;
a687059c
LW
2038 }
2039#endif
45d8adaa 2040 res = cp;
42ac124e 2041 DEBUG_m(PerlIO_printf(Perl_debug_log,
147e3846 2042 "0x%" UVxf ": (%05lu) realloc %ld bytes inplace\n",
b900a521 2043 PTR2UV(res),(unsigned long)(PL_an++),
42ac124e 2044 (long)size));
e8bc2b5c
GS
2045 } else if (incr == 1 && (cp - M_OVERHEAD == last_op)
2046 && (onb > (1 << LOG_OF_MIN_ARENA))) {
2047 MEM_SIZE require, newarena = nbytes, pow;
2048 int shiftr;
2049
2050 POW2_OPTIMIZE_ADJUST(newarena);
2051 newarena = newarena + M_OVERHEAD;
2052 /* newarena = (newarena + 3) &~ 3; */
2053 shiftr = (newarena - 1) >> LOG_OF_MIN_ARENA;
2054 pow = LOG_OF_MIN_ARENA + 1;
2055 /* apart from this loop, this is O(1) */
2056 while (shiftr >>= 1)
2057 pow++;
2058 newarena = (1 << pow) + POW2_OPTIMIZE_SURPLUS(pow * BUCKETS_PER_POW2);
2059 require = newarena - onb - M_OVERHEAD;
2060
4ad56ec9
IZ
2061 MALLOC_LOCK;
2062 if (cp - M_OVERHEAD == last_op /* We *still* are the last chunk */
2063 && getpages_adjacent(require)) {
e8bc2b5c 2064#ifdef DEBUGGING_MSTATS
fa423c5b
IZ
2065 nmalloc[bucket]--;
2066 nmalloc[pow * BUCKETS_PER_POW2]++;
e8bc2b5c 2067#endif
532939df 2068 if (pow * BUCKETS_PER_POW2 > (MEM_SIZE)max_bucket)
a73918ec 2069 max_bucket = pow * BUCKETS_PER_POW2;
4d6cd4d8 2070 *(cp - M_OVERHEAD) = pow * BUCKETS_PER_POW2; /* Fill index. */
4ad56ec9 2071 MALLOC_UNLOCK;
fa423c5b 2072 goto inplace_label;
4ad56ec9
IZ
2073 } else {
2074 MALLOC_UNLOCK;
fa423c5b 2075 goto hard_way;
4ad56ec9 2076 }
e8bc2b5c
GS
2077 } else {
2078 hard_way:
42ac124e 2079 DEBUG_m(PerlIO_printf(Perl_debug_log,
147e3846 2080 "0x%" UVxf ": (%05lu) realloc %ld bytes the hard way\n",
b900a521 2081 PTR2UV(cp),(unsigned long)(PL_an++),
42ac124e 2082 (long)size));
86058a2d 2083 if ((res = (char*)Perl_malloc(nbytes)) == NULL)
e8bc2b5c
GS
2084 return (NULL);
2085 if (cp != res) /* common optimization */
2086 Copy(cp, res, (MEM_SIZE)(nbytes<onb?nbytes:onb), char);
4ad56ec9 2087 Perl_mfree(cp);
45d8adaa 2088 }
2304df62 2089 return ((Malloc_t)res);
8d063cd8
LW
2090}
2091
cf5c4ad8 2092Malloc_t
5aaab254 2093Perl_calloc(size_t elements, size_t size)
cf5c4ad8 2094{
2095 long sz = elements * size;
86058a2d 2096 Malloc_t p = Perl_malloc(sz);
cf5c4ad8 2097
2098 if (p) {
2099 memset((void*)p, 0, sz);
2100 }
2101 return p;
2102}
2103
4ad56ec9
IZ
2104char *
2105Perl_strdup(const char *s)
2106{
2107 MEM_SIZE l = strlen(s);
b48f1ba5 2108 char *s1 = (char *)Perl_malloc(l+1);
4ad56ec9 2109
667e2948 2110 return (char *)CopyD(s, s1, (MEM_SIZE)(l+1), char);
4ad56ec9
IZ
2111}
2112
4ad56ec9
IZ
2113int
2114Perl_putenv(char *a)
2115{
2116 /* Sometimes system's putenv conflicts with my_setenv() - this is system
2117 malloc vs Perl's free(). */
2118 dTHX;
2119 char *var;
2120 char *val = a;
2121 MEM_SIZE l;
2122 char buf[80];
2123
2124 while (*val && *val != '=')
2125 val++;
2126 if (!*val)
2127 return -1;
2128 l = val - a;
2129 if (l < sizeof(buf))
2130 var = buf;
2131 else
667e2948 2132 var = (char *)Perl_malloc(l + 1);
4ad56ec9 2133 Copy(a, var, l, char);
b48f1ba5
GS
2134 var[l + 1] = 0;
2135 my_setenv(var, val+1);
4ad56ec9
IZ
2136 if (var != buf)
2137 Perl_mfree(var);
2138 return 0;
2139}
4ad56ec9 2140
e8bc2b5c 2141MEM_SIZE
cea2e8a9 2142Perl_malloced_size(void *p)
e8bc2b5c 2143{
44f8325f 2144 union overhead * const ovp = (union overhead *)
8d6dde3e 2145 ((caddr_t)p - sizeof (union overhead) * CHUNK_SHIFT);
b464bac0 2146 const int bucket = OV_INDEX(ovp);
7918f24d
NC
2147
2148 PERL_ARGS_ASSERT_MALLOCED_SIZE;
2149
8d6dde3e
IZ
2150#ifdef RCHECK
2151 /* The caller wants to have a complete control over the chunk,
2152 disable the memory checking inside the chunk. */
2153 if (bucket <= MAX_SHORT_BUCKET) {
b464bac0 2154 const MEM_SIZE size = BUCKET_SIZE_REAL(bucket);
8d6dde3e 2155 ovp->ov_size = size + M_OVERHEAD - 1;
d0bbed78 2156 *((u_int *)((caddr_t)ovp + size + M_OVERHEAD - RMAGIC_SZ)) = RMAGIC;
8d6dde3e
IZ
2157 }
2158#endif
e8bc2b5c
GS
2159 return BUCKET_SIZE_REAL(bucket);
2160}
2161
64107180
NC
2162
2163MEM_SIZE
2164Perl_malloc_good_size(size_t wanted)
2165{
03f05cb4 2166 return BUCKET_SIZE_REAL(adjust_size_and_find_bucket(&wanted));
64107180
NC
2167}
2168
e8bc2b5c
GS
2169# ifdef BUCKETS_ROOT2
2170# define MIN_EVEN_REPORT 6
2171# else
2172# define MIN_EVEN_REPORT MIN_BUCKET
2173# endif
827e134a
GS
2174
2175int
2176Perl_get_mstats(pTHX_ perl_mstats_t *buf, int buflen, int level)
8d063cd8 2177{
df31f264 2178#ifdef DEBUGGING_MSTATS
eb578fdb
KW
2179 int i, j;
2180 union overhead *p;
4ad56ec9 2181 struct chunk_chain_s* nextchain;
8d063cd8 2182
7918f24d
NC
2183 PERL_ARGS_ASSERT_GET_MSTATS;
2184
827e134a
GS
2185 buf->topbucket = buf->topbucket_ev = buf->topbucket_odd
2186 = buf->totfree = buf->total = buf->total_chain = 0;
2187
2188 buf->minbucket = MIN_BUCKET;
4ad56ec9 2189 MALLOC_LOCK;
e8bc2b5c 2190 for (i = MIN_BUCKET ; i < NBUCKETS; i++) {
8d063cd8
LW
2191 for (j = 0, p = nextf[i]; p; p = p->ov_next, j++)
2192 ;
827e134a
GS
2193 if (i < buflen) {
2194 buf->nfree[i] = j;
2195 buf->ntotal[i] = nmalloc[i];
2196 }
2197 buf->totfree += j * BUCKET_SIZE_REAL(i);
2198 buf->total += nmalloc[i] * BUCKET_SIZE_REAL(i);
e8bc2b5c 2199 if (nmalloc[i]) {
827e134a
GS
2200 i % 2 ? (buf->topbucket_odd = i) : (buf->topbucket_ev = i);
2201 buf->topbucket = i;
e8bc2b5c 2202 }
c07a80fd 2203 }
4ad56ec9
IZ
2204 nextchain = chunk_chain;
2205 while (nextchain) {
827e134a 2206 buf->total_chain += nextchain->size;
4ad56ec9
IZ
2207 nextchain = nextchain->next;
2208 }
827e134a
GS
2209 buf->total_sbrk = goodsbrk + sbrk_slack;
2210 buf->sbrks = sbrks;
22f7c9c9 2211 buf->sbrk_good = sbrk_goodness;
827e134a
GS
2212 buf->sbrk_slack = sbrk_slack;
2213 buf->start_slack = start_slack;
2214 buf->sbrked_remains = sbrked_remains;
4ad56ec9 2215 MALLOC_UNLOCK;
880b20b6 2216 buf->nbuckets = NBUCKETS;
827e134a
GS
2217 if (level) {
2218 for (i = MIN_BUCKET ; i < NBUCKETS; i++) {
2219 if (i >= buflen)
2220 break;
d0bbed78 2221 buf->bucket_mem_size[i] = BUCKET_SIZE_NO_SURPLUS(i);
827e134a
GS
2222 buf->bucket_available_size[i] = BUCKET_SIZE_REAL(i);
2223 }
2224 }
3128eefe
SR
2225#else /* defined DEBUGGING_MSTATS */
2226 PerlIO_printf(Perl_error_log, "perl not compiled with DEBUGGING_MSTATS\n");
827e134a 2227#endif /* defined DEBUGGING_MSTATS */
fe52b3b7 2228 return 0; /* XXX unused */
827e134a
GS
2229}
2230/*
2231 * mstats - print out statistics about malloc
2232 *
2233 * Prints two lines of numbers, one showing the length of the free list
2234 * for each size category, the second showing the number of mallocs -
2235 * frees for each size category.
2236 */
2237void
6e9b0e18 2238Perl_dump_mstats(pTHX_ const char *s)
827e134a
GS
2239{
2240#ifdef DEBUGGING_MSTATS
eb578fdb 2241 int i;
827e134a 2242 perl_mstats_t buffer;
880b20b6
IZ
2243 UV nf[NBUCKETS];
2244 UV nt[NBUCKETS];
827e134a 2245
7918f24d
NC
2246 PERL_ARGS_ASSERT_DUMP_MSTATS;
2247
827e134a
GS
2248 buffer.nfree = nf;
2249 buffer.ntotal = nt;
2250 get_mstats(&buffer, NBUCKETS, 0);
2251
c07a80fd 2252 if (s)
bf49b057 2253 PerlIO_printf(Perl_error_log,
147e3846
KW
2254 "Memory allocation statistics %s (buckets %" IVdf
2255 "(%" IVdf ")..%" IVdf "(%" IVdf ")\n",
e8bc2b5c 2256 s,
880b20b6 2257 (IV)BUCKET_SIZE_REAL(MIN_BUCKET),
d0bbed78 2258 (IV)BUCKET_SIZE_NO_SURPLUS(MIN_BUCKET),
880b20b6 2259 (IV)BUCKET_SIZE_REAL(buffer.topbucket),
d0bbed78 2260 (IV)BUCKET_SIZE_NO_SURPLUS(buffer.topbucket));
147e3846 2261 PerlIO_printf(Perl_error_log, "%8" IVdf " free:", buffer.totfree);
827e134a 2262 for (i = MIN_EVEN_REPORT; i <= buffer.topbucket; i += BUCKETS_PER_POW2) {
bf49b057 2263 PerlIO_printf(Perl_error_log,
e8bc2b5c 2264 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
975d8916
KW
2265 ? " %5" UVuf
2266 : ((i < 12*BUCKETS_PER_POW2) ? " %3" UVuf
2267 : " %" UVuf)),
827e134a 2268 buffer.nfree[i]);
e8bc2b5c
GS
2269 }
2270#ifdef BUCKETS_ROOT2
bf49b057 2271 PerlIO_printf(Perl_error_log, "\n\t ");
827e134a 2272 for (i = MIN_BUCKET + 1; i <= buffer.topbucket_odd; i += BUCKETS_PER_POW2) {
bf49b057 2273 PerlIO_printf(Perl_error_log,
e8bc2b5c 2274 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
880b20b6
IZ
2275 ? " %5"UVuf
2276 : ((i < 12*BUCKETS_PER_POW2) ? " %3"UVuf : " %"UVuf)),
827e134a 2277 buffer.nfree[i]);
8d063cd8 2278 }
e8bc2b5c 2279#endif
147e3846
KW
2280 PerlIO_printf(Perl_error_log, "\n%8" IVdf " used:",
2281 buffer.total - buffer.totfree);
827e134a 2282 for (i = MIN_EVEN_REPORT; i <= buffer.topbucket; i += BUCKETS_PER_POW2) {
bf49b057 2283 PerlIO_printf(Perl_error_log,
e8bc2b5c 2284 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
975d8916
KW
2285 ? " %5" IVdf
2286 : ((i < 12*BUCKETS_PER_POW2) ? " %3" IVdf : " %" IVdf)),
827e134a 2287 buffer.ntotal[i] - buffer.nfree[i]);
c07a80fd 2288 }
e8bc2b5c 2289#ifdef BUCKETS_ROOT2
bf49b057 2290 PerlIO_printf(Perl_error_log, "\n\t ");
827e134a 2291 for (i = MIN_BUCKET + 1; i <= buffer.topbucket_odd; i += BUCKETS_PER_POW2) {
bf49b057 2292 PerlIO_printf(Perl_error_log,
e8bc2b5c 2293 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
880b20b6
IZ
2294 ? " %5"IVdf
2295 : ((i < 12*BUCKETS_PER_POW2) ? " %3"IVdf : " %"IVdf)),
827e134a 2296 buffer.ntotal[i] - buffer.nfree[i]);
e8bc2b5c
GS
2297 }
2298#endif
147e3846
KW
2299 PerlIO_printf(Perl_error_log, "\nTotal sbrk(): %" IVdf "/%" IVdf ":%"
2300 IVdf ". Odd ends: pad+heads+chain+tail: %" IVdf "+%"
2301 IVdf "+%" IVdf "+%" IVdf ".\n",
827e134a
GS
2302 buffer.total_sbrk, buffer.sbrks, buffer.sbrk_good,
2303 buffer.sbrk_slack, buffer.start_slack,
2304 buffer.total_chain, buffer.sbrked_remains);
3128eefe
SR
2305#else /* DEBUGGING_MSTATS */
2306 PerlIO_printf(Perl_error_log, "%s: perl not compiled with DEBUGGING_MSTATS\n",s);
df31f264 2307#endif /* DEBUGGING_MSTATS */
c07a80fd 2308}
cf5c4ad8 2309
cf5c4ad8 2310#ifdef USE_PERL_SBRK
2311
f05550c0 2312# if defined(PURIFY)
38ac2dc8 2313# define PERL_SBRK_VIA_MALLOC
38ac2dc8
DD
2314# endif
2315
760ac839 2316# ifdef PERL_SBRK_VIA_MALLOC
cf5c4ad8 2317
2318/* it may seem schizophrenic to use perl's malloc and let it call system */
2319/* malloc, the reason for that is only the 3.2 version of the OS that had */
2320/* frequent core dumps within nxzonefreenolock. This sbrk routine put an */
2321/* end to the cores */
2322
38ac2dc8
DD
2323# ifndef SYSTEM_ALLOC
2324# define SYSTEM_ALLOC(a) malloc(a)
2325# endif
5bbd1ef5
IZ
2326# ifndef SYSTEM_ALLOC_ALIGNMENT
2327# define SYSTEM_ALLOC_ALIGNMENT MEM_ALIGNBYTES
2328# endif
cf5c4ad8 2329
760ac839 2330# endif /* PERL_SBRK_VIA_MALLOC */
cf5c4ad8 2331
2332static IV Perl_sbrk_oldchunk;
2333static long Perl_sbrk_oldsize;
2334
760ac839
LW
2335# define PERLSBRK_32_K (1<<15)
2336# define PERLSBRK_64_K (1<<16)
cf5c4ad8 2337
b63effbb 2338Malloc_t
df0003d4 2339Perl_sbrk(int size)
cf5c4ad8 2340{
2341 IV got;
2342 int small, reqsize;
2343
2344 if (!size) return 0;
cf5c4ad8 2345 reqsize = size; /* just for the DEBUG_m statement */
57569e04
HM
2346#ifdef PACK_MALLOC
2347 size = (size + 0x7ff) & ~0x7ff;
2348#endif
cf5c4ad8 2349 if (size <= Perl_sbrk_oldsize) {
2350 got = Perl_sbrk_oldchunk;
2351 Perl_sbrk_oldchunk += size;
2352 Perl_sbrk_oldsize -= size;
2353 } else {
2354 if (size >= PERLSBRK_32_K) {
2355 small = 0;
2356 } else {
cf5c4ad8 2357 size = PERLSBRK_64_K;
2358 small = 1;
2359 }
5bbd1ef5
IZ
2360# if NEEDED_ALIGNMENT > SYSTEM_ALLOC_ALIGNMENT
2361 size += NEEDED_ALIGNMENT - SYSTEM_ALLOC_ALIGNMENT;
2362# endif
cf5c4ad8 2363 got = (IV)SYSTEM_ALLOC(size);
5bbd1ef5 2364# if NEEDED_ALIGNMENT > SYSTEM_ALLOC_ALIGNMENT
5a7d6335 2365 got = (got + NEEDED_ALIGNMENT - 1) & ~(NEEDED_ALIGNMENT - 1);
5bbd1ef5 2366# endif
cf5c4ad8 2367 if (small) {
2368 /* Chunk is small, register the rest for future allocs. */
2369 Perl_sbrk_oldchunk = got + reqsize;
2370 Perl_sbrk_oldsize = size - reqsize;
2371 }
2372 }
2373
147e3846
KW
2374 DEBUG_m(PerlIO_printf(Perl_debug_log,
2375 "sbrk malloc size %ld (reqsize %ld), left size %ld, give addr 0x%"
2376 UVxf "\n",
2377 size, reqsize, Perl_sbrk_oldsize, PTR2UV(got)));
cf5c4ad8 2378
2379 return (void *)got;
2380}
2381
2382#endif /* ! defined USE_PERL_SBRK */
66610fdd
RGS
2383
2384/*
14d04a33 2385 * ex: set ts=8 sts=4 sw=4 et:
37442d52 2386 */