This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
regcomp.h: Fold 2 ANYOF flags into a single one
[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
GS
468# define BUCKET_SIZE_REAL(i) ((i) <= MAX_BUCKET_BY_TABLE \
469 ? buck_size[i] \
470 : ((1 << ((i) >> BUCKET_POW2_SHIFT)) \
471 - MEM_OVERHEAD(i) \
472 + POW2_OPTIMIZE_SURPLUS(i)))
473#else
d0bbed78
IZ
474# define BUCKET_SIZE_NO_SURPLUS(i) (1 << ((i) >> BUCKET_POW2_SHIFT))
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) \
689 (bucket <= MAX_PACKED ? 0 : M_OVERHEAD)
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) \
755 ((bucket >= FIRST_BIG_POW2 * BUCKETS_PER_POW2) ? PERL_PAGESIZE : 0)
756
757#else /* !TWO_POT_OPTIMIZE */
758# define POW2_OPTIMIZE_ADJUST(nbytes)
759# define POW2_OPTIMIZE_SURPLUS(bucket) 0
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);
b022d2d2 825#else
3f270f98 826# ifndef HAS_SBRK_PROTO /* <unistd.h> usually takes care of this */
b022d2d2 827extern Malloc_t sbrk(int);
3f270f98 828# endif
ef9f17be 829#endif
b022d2d2 830
22f7c9c9
JH
831#ifndef MIN_SBRK_FRAC1000 /* Backward compatibility */
832# define MIN_SBRK_FRAC1000 (MIN_SBRK_FRAC * 10)
833#endif
834
835#ifndef START_EXTERN_C
836# ifdef __cplusplus
837# define START_EXTERN_C extern "C" {
838# else
839# define START_EXTERN_C
840# endif
841#endif
842
843#ifndef END_EXTERN_C
844# ifdef __cplusplus
845# define END_EXTERN_C };
846# else
847# define END_EXTERN_C
848# endif
849#endif
850
851#include "malloc_ctl.h"
852
853#ifndef NO_MALLOC_DYNAMIC_CFG
854# define PERL_MALLOC_OPT_CHARS "FMfAPGdac"
855
41ad8e42
JH
856# ifndef FILL_DEAD_DEFAULT
857# define FILL_DEAD_DEFAULT 1
858# endif
859# ifndef FILL_ALIVE_DEFAULT
860# define FILL_ALIVE_DEFAULT 1
861# endif
862# ifndef FILL_CHECK_DEFAULT
863# define FILL_CHECK_DEFAULT 1
864# endif
865
22f7c9c9
JH
866static IV MallocCfg[MallocCfg_last] = {
867 FIRST_SBRK,
868 MIN_SBRK,
869 MIN_SBRK_FRAC,
870 SBRK_ALLOW_FAILURES,
871 SBRK_FAILURE_PRICE,
872 SBRK_ALLOW_FAILURES * SBRK_FAILURE_PRICE, /* sbrk_goodness */
41ad8e42
JH
873 FILL_DEAD_DEFAULT, /* FILL_DEAD */
874 FILL_ALIVE_DEFAULT, /* FILL_ALIVE */
875 FILL_CHECK_DEFAULT, /* FILL_CHECK */
22f7c9c9
JH
876 0, /* MallocCfg_skip_cfg_env */
877 0, /* MallocCfg_cfg_env_read */
878 0, /* MallocCfg_emergency_buffer_size */
879 0, /* MallocCfg_emergency_buffer_prepared_size */
880 0 /* MallocCfg_emergency_buffer_last_req */
881};
882IV *MallocCfg_ptr = MallocCfg;
883
6af660ee
IZ
884static char* MallocCfgP[MallocCfg_last] = {
885 0, /* MallocCfgP_emergency_buffer */
886 0, /* MallocCfgP_emergency_buffer_prepared */
887};
888char **MallocCfgP_ptr = MallocCfgP;
889
22f7c9c9
JH
890# undef MIN_SBRK
891# undef FIRST_SBRK
892# undef MIN_SBRK_FRAC1000
893# undef SBRK_ALLOW_FAILURES
894# undef SBRK_FAILURE_PRICE
895
896# define MIN_SBRK MallocCfg[MallocCfg_MIN_SBRK]
897# define FIRST_SBRK MallocCfg[MallocCfg_FIRST_SBRK]
898# define MIN_SBRK_FRAC1000 MallocCfg[MallocCfg_MIN_SBRK_FRAC1000]
899# define SBRK_ALLOW_FAILURES MallocCfg[MallocCfg_SBRK_ALLOW_FAILURES]
900# define SBRK_FAILURE_PRICE MallocCfg[MallocCfg_SBRK_FAILURE_PRICE]
901
902# define sbrk_goodness MallocCfg[MallocCfg_sbrk_goodness]
903
904# define emergency_buffer_size MallocCfg[MallocCfg_emergency_buffer_size]
905# define emergency_buffer_last_req MallocCfg[MallocCfg_emergency_buffer_last_req]
906
907# define FILL_DEAD MallocCfg[MallocCfg_filldead]
908# define FILL_ALIVE MallocCfg[MallocCfg_fillalive]
909# define FILL_CHECK_CFG MallocCfg[MallocCfg_fillcheck]
910# define FILL_CHECK (FILL_DEAD && FILL_CHECK_CFG)
911
6af660ee
IZ
912# define emergency_buffer MallocCfgP[MallocCfgP_emergency_buffer]
913# define emergency_buffer_prepared MallocCfgP[MallocCfgP_emergency_buffer_prepared]
914
22f7c9c9
JH
915#else /* defined(NO_MALLOC_DYNAMIC_CFG) */
916
917# define FILL_DEAD 1
918# define FILL_ALIVE 1
919# define FILL_CHECK 1
920static int sbrk_goodness = SBRK_ALLOW_FAILURES * SBRK_FAILURE_PRICE;
921
922# define NO_PERL_MALLOC_ENV
923
924#endif
925
b022d2d2
IZ
926#ifdef DEBUGGING_MSTATS
927/*
928 * nmalloc[i] is the difference between the number of mallocs and frees
929 * for a given block size.
930 */
931static u_int nmalloc[NBUCKETS];
932static u_int sbrk_slack;
933static u_int start_slack;
934#else /* !( defined DEBUGGING_MSTATS ) */
935# define sbrk_slack 0
936#endif
937
938static u_int goodsbrk;
939
22f7c9c9 940#ifdef PERL_EMERGENCY_SBRK
febabd2a
DD
941
942# ifndef BIG_SIZE
943# define BIG_SIZE (1<<16) /* 64K */
944# endif
945
22f7c9c9 946# ifdef NO_MALLOC_DYNAMIC_CFG
55497cff 947static MEM_SIZE emergency_buffer_size;
22f7c9c9
JH
948 /* 0 if the last request for more memory succeeded.
949 Otherwise the size of the failing request. */
950static MEM_SIZE emergency_buffer_last_req;
6af660ee
IZ
951static char *emergency_buffer;
952static char *emergency_buffer_prepared;
22f7c9c9
JH
953# endif
954
955# ifndef emergency_sbrk_croak
956# define emergency_sbrk_croak croak2
957# endif
958
22f7c9c9
JH
959static char *
960perl_get_emergency_buffer(IV *size)
961{
962 dTHX;
963 /* First offense, give a possibility to recover by dieing. */
964 /* No malloc involved here: */
22f7c9c9
JH
965 SV *sv;
966 char *pv;
a4fc7abc 967 GV **gvp = (GV**)hv_fetchs(PL_defstash, "^M", FALSE);
22f7c9c9 968
a4fc7abc 969 if (!gvp) gvp = (GV**)hv_fetchs(PL_defstash, "\015", FALSE);
22f7c9c9
JH
970 if (!gvp || !(sv = GvSV(*gvp)) || !SvPOK(sv)
971 || (SvLEN(sv) < (1<<LOG_OF_MIN_ARENA) - M_OVERHEAD))
972 return NULL; /* Now die die die... */
973 /* Got it, now detach SvPV: */
4b1c440c 974 pv = SvPV_nolen(sv);
22f7c9c9
JH
975 /* Check alignment: */
976 if ((PTR2UV(pv) - sizeof(union overhead)) & (NEEDED_ALIGNMENT - 1)) {
977 PerlIO_puts(PerlIO_stderr(),"Bad alignment of $^M!\n");
978 return NULL; /* die die die */
979 }
980
981 SvPOK_off(sv);
bd61b366 982 SvPV_set(sv, NULL);
87a1ef3d
SP
983 SvCUR_set(sv, 0);
984 SvLEN_set(sv, 0);
22f7c9c9
JH
985 *size = malloced_size(pv) + M_OVERHEAD;
986 return pv - sizeof(union overhead);
987}
b9e5552c 988# define PERL_GET_EMERGENCY_BUFFER(p) perl_get_emergency_buffer(p)
22f7c9c9
JH
989
990# ifndef NO_MALLOC_DYNAMIC_CFG
991static char *
992get_emergency_buffer(IV *size)
993{
994 char *pv = emergency_buffer_prepared;
995
996 *size = MallocCfg[MallocCfg_emergency_buffer_prepared_size];
997 emergency_buffer_prepared = 0;
998 MallocCfg[MallocCfg_emergency_buffer_prepared_size] = 0;
999 return pv;
1000}
1001
22f7c9c9
JH
1002# define GET_EMERGENCY_BUFFER(p) get_emergency_buffer(p)
1003# else /* NO_MALLOC_DYNAMIC_CFG */
1004# define GET_EMERGENCY_BUFFER(p) NULL
22f7c9c9 1005# endif
55497cff 1006
cea2e8a9
GS
1007static Malloc_t
1008emergency_sbrk(MEM_SIZE size)
55497cff 1009{
28ac10b1
IZ
1010 MEM_SIZE rsize = (((size - 1)>>LOG_OF_MIN_ARENA) + 1)<<LOG_OF_MIN_ARENA;
1011
22f7c9c9 1012 if (size >= BIG_SIZE
575fbe19
SH
1013 && (!emergency_buffer_last_req ||
1014 (size < (MEM_SIZE)emergency_buffer_last_req))) {
b022d2d2 1015 /* Give the possibility to recover, but avoid an infinite cycle. */
741df71a 1016 MALLOC_UNLOCK;
22f7c9c9
JH
1017 emergency_buffer_last_req = size;
1018 emergency_sbrk_croak("Out of memory during \"large\" request for %"UVuf" bytes, total sbrk() is %"UVuf" bytes", (UV)size, (UV)(goodsbrk + sbrk_slack));
55497cff 1019 }
1020
575fbe19 1021 if ((MEM_SIZE)emergency_buffer_size >= rsize) {
28ac10b1
IZ
1022 char *old = emergency_buffer;
1023
1024 emergency_buffer_size -= rsize;
1025 emergency_buffer += rsize;
1026 return old;
1027 } else {
55497cff 1028 /* First offense, give a possibility to recover by dieing. */
1029 /* No malloc involved here: */
22f7c9c9
JH
1030 IV Size;
1031 char *pv = GET_EMERGENCY_BUFFER(&Size);
28ac10b1 1032 int have = 0;
55497cff 1033
28ac10b1
IZ
1034 if (emergency_buffer_size) {
1035 add_to_chain(emergency_buffer, emergency_buffer_size, 0);
1036 emergency_buffer_size = 0;
bd61b366 1037 emergency_buffer = NULL;
28ac10b1
IZ
1038 have = 1;
1039 }
22f7c9c9
JH
1040
1041 if (!pv)
1042 pv = PERL_GET_EMERGENCY_BUFFER(&Size);
1043 if (!pv) {
28ac10b1
IZ
1044 if (have)
1045 goto do_croak;
55497cff 1046 return (char *)-1; /* Now die die die... */
28ac10b1 1047 }
22f7c9c9 1048
55497cff 1049 /* Check alignment: */
22f7c9c9
JH
1050 if (PTR2UV(pv) & (NEEDED_ALIGNMENT - 1)) {
1051 dTHX;
1052
55497cff 1053 PerlIO_puts(PerlIO_stderr(),"Bad alignment of $^M!\n");
bbce6d69 1054 return (char *)-1; /* die die die */
55497cff 1055 }
1056
22f7c9c9
JH
1057 emergency_buffer = pv;
1058 emergency_buffer_size = Size;
55497cff 1059 }
28ac10b1 1060 do_croak:
741df71a 1061 MALLOC_UNLOCK;
22f7c9c9 1062 emergency_sbrk_croak("Out of memory during request for %"UVuf" bytes, total sbrk() is %"UVuf" bytes", (UV)size, (UV)(goodsbrk + sbrk_slack));
e5964223 1063 NOT_REACHED; /* NOTREACHED */
bd61b366 1064 return NULL;
55497cff 1065}
1066
22f7c9c9 1067#else /* !defined(PERL_EMERGENCY_SBRK) */
55497cff 1068# define emergency_sbrk(size) -1
22f7c9c9
JH
1069#endif /* defined PERL_EMERGENCY_SBRK */
1070
7cd83f65 1071/* Don't use PerlIO buffered writes as they allocate memory. */
acfd4d8e 1072#define MYMALLOC_WRITE2STDERR(s) PERL_UNUSED_RESULT(PerlLIO_write(PerlIO_fileno(PerlIO_stderr()),s,strlen(s)))
55497cff 1073
760ac839 1074#ifdef DEBUGGING
3541dd58 1075#undef ASSERT
e7e7e0a5
DM
1076#define ASSERT(p,diag) if (!(p)) botch(diag,STRINGIFY(p),__FILE__,__LINE__);
1077
cea2e8a9 1078static void
9dbded1f 1079botch(const char *diag, const char *s, const char *file, int line)
8d063cd8 1080{
899be101 1081 dVAR;
9dbded1f 1082 dTHX;
22f7c9c9
JH
1083 if (!(PERL_MAYBE_ALIVE && PERL_GET_THX))
1084 goto do_write;
1085 else {
22f7c9c9 1086 if (PerlIO_printf(PerlIO_stderr(),
67920cb2 1087 "assertion botched (%s?): %s %s:%d\n",
066d1a89 1088 diag, s, file, line) != 0) {
22f7c9c9 1089 do_write: /* Can be initializing interpreter */
7cd83f65
CB
1090 MYMALLOC_WRITE2STDERR("assertion botched (");
1091 MYMALLOC_WRITE2STDERR(diag);
1092 MYMALLOC_WRITE2STDERR("?): ");
1093 MYMALLOC_WRITE2STDERR(s);
1094 MYMALLOC_WRITE2STDERR(" (");
1095 MYMALLOC_WRITE2STDERR(file);
1096 MYMALLOC_WRITE2STDERR(":");
6bf964e1
JH
1097 {
1098 char linebuf[10];
1099 char *s = linebuf + sizeof(linebuf) - 1;
1100 int n = line;
1101 *s = 0;
1102 do {
1103 *--s = '0' + (n % 10);
1104 } while (n /= 10);
7cd83f65 1105 MYMALLOC_WRITE2STDERR(s);
6bf964e1 1106 }
7cd83f65 1107 MYMALLOC_WRITE2STDERR(")\n");
22f7c9c9 1108 }
3028581b 1109 PerlProc_abort();
22f7c9c9 1110 }
8d063cd8
LW
1111}
1112#else
3541dd58 1113#define ASSERT(p, diag)
8d063cd8
LW
1114#endif
1115
22f7c9c9
JH
1116#ifdef MALLOC_FILL
1117/* Fill should be long enough to cover long */
1118static void
1119fill_pat_4bytes(unsigned char *s, size_t nbytes, const unsigned char *fill)
1120{
1121 unsigned char *e = s + nbytes;
1122 long *lp;
b464bac0 1123 const long lfill = *(long*)fill;
22f7c9c9
JH
1124
1125 if (PTR2UV(s) & (sizeof(long)-1)) { /* Align the pattern */
1126 int shift = sizeof(long) - (PTR2UV(s) & (sizeof(long)-1));
1127 unsigned const char *f = fill + sizeof(long) - shift;
1128 unsigned char *e1 = s + shift;
1129
1130 while (s < e1)
1131 *s++ = *f++;
1132 }
1133 lp = (long*)s;
1134 while ((unsigned char*)(lp + 1) <= e)
1135 *lp++ = lfill;
1136 s = (unsigned char*)lp;
1137 while (s < e)
1138 *s++ = *fill++;
1139}
1140/* Just malloc()ed */
1141static const unsigned char fill_feedadad[] =
1142 {0xFE, 0xED, 0xAD, 0xAD, 0xFE, 0xED, 0xAD, 0xAD,
1143 0xFE, 0xED, 0xAD, 0xAD, 0xFE, 0xED, 0xAD, 0xAD};
1144/* Just free()ed */
1145static const unsigned char fill_deadbeef[] =
1146 {0xDE, 0xAD, 0xBE, 0xEF, 0xDE, 0xAD, 0xBE, 0xEF,
1147 0xDE, 0xAD, 0xBE, 0xEF, 0xDE, 0xAD, 0xBE, 0xEF};
1148# define FILL_DEADBEEF(s, n) \
1149 (void)(FILL_DEAD? (fill_pat_4bytes((s), (n), fill_deadbeef), 0) : 0)
1150# define FILL_FEEDADAD(s, n) \
1151 (void)(FILL_ALIVE? (fill_pat_4bytes((s), (n), fill_feedadad), 0) : 0)
1152#else
1153# define FILL_DEADBEEF(s, n) ((void)0)
1154# define FILL_FEEDADAD(s, n) ((void)0)
1155# undef MALLOC_FILL_CHECK
1156#endif
1157
1158#ifdef MALLOC_FILL_CHECK
1159static int
1160cmp_pat_4bytes(unsigned char *s, size_t nbytes, const unsigned char *fill)
1161{
1162 unsigned char *e = s + nbytes;
1163 long *lp;
b464bac0 1164 const long lfill = *(long*)fill;
22f7c9c9
JH
1165
1166 if (PTR2UV(s) & (sizeof(long)-1)) { /* Align the pattern */
1167 int shift = sizeof(long) - (PTR2UV(s) & (sizeof(long)-1));
1168 unsigned const char *f = fill + sizeof(long) - shift;
1169 unsigned char *e1 = s + shift;
1170
1171 while (s < e1)
1172 if (*s++ != *f++)
1173 return 1;
1174 }
1175 lp = (long*)s;
1176 while ((unsigned char*)(lp + 1) <= e)
1177 if (*lp++ != lfill)
1178 return 1;
1179 s = (unsigned char*)lp;
1180 while (s < e)
1181 if (*s++ != *fill++)
1182 return 1;
1183 return 0;
1184}
1185# define FILLCHECK_DEADBEEF(s, n) \
1186 ASSERT(!FILL_CHECK || !cmp_pat_4bytes(s, n, fill_deadbeef), \
1187 "free()ed/realloc()ed-away memory was overwritten")
1188#else
1189# define FILLCHECK_DEADBEEF(s, n) ((void)0)
1190#endif
1191
03f05cb4 1192STATIC int
0eccc83d 1193S_adjust_size_and_find_bucket(size_t *nbytes_p)
8d063cd8 1194{
03f05cb4 1195 MEM_SIZE shiftr;
64107180 1196 int bucket;
03f05cb4
LM
1197 size_t nbytes;
1198
1199 PERL_ARGS_ASSERT_ADJUST_SIZE_AND_FIND_BUCKET;
1200
1201 nbytes = *nbytes_p;
45d8adaa 1202
8d063cd8
LW
1203 /*
1204 * Convert amount of memory requested into
1205 * closest block size stored in hash buckets
1206 * which satisfies request. Account for
1207 * space used per block for accounting.
1208 */
cf5c4ad8 1209#ifdef PACK_MALLOC
e8bc2b5c
GS
1210# ifdef SMALL_BUCKET_VIA_TABLE
1211 if (nbytes == 0)
1212 bucket = MIN_BUCKET;
1213 else if (nbytes <= SIZE_TABLE_MAX) {
1214 bucket = bucket_of[(nbytes - 1) >> BUCKET_TABLE_SHIFT];
1215 } else
1216# else
043bf814
RB
1217 if (nbytes == 0)
1218 nbytes = 1;
e8bc2b5c
GS
1219 if (nbytes <= MAX_POW2_ALGO) goto do_shifts;
1220 else
1221# endif
55497cff 1222#endif
e8bc2b5c
GS
1223 {
1224 POW2_OPTIMIZE_ADJUST(nbytes);
1225 nbytes += M_OVERHEAD;
1226 nbytes = (nbytes + 3) &~ 3;
516a5887 1227#if defined(PACK_MALLOC) && !defined(SMALL_BUCKET_VIA_TABLE)
e8bc2b5c 1228 do_shifts:
516a5887 1229#endif
e8bc2b5c
GS
1230 shiftr = (nbytes - 1) >> START_SHIFT;
1231 bucket = START_SHIFTS_BUCKET;
1232 /* apart from this loop, this is O(1) */
1233 while (shiftr >>= 1)
1234 bucket += BUCKETS_PER_POW2;
cf5c4ad8 1235 }
64107180
NC
1236 *nbytes_p = nbytes;
1237 return bucket;
1238}
1239
1240Malloc_t
1241Perl_malloc(size_t nbytes)
1242{
1243 dVAR;
eb578fdb
KW
1244 union overhead *p;
1245 int bucket;
64107180
NC
1246
1247#if defined(DEBUGGING) || defined(RCHECK)
1248 MEM_SIZE size = nbytes;
1249#endif
1250
1251 BARK_64K_LIMIT("Allocation",nbytes,nbytes);
1252#ifdef DEBUGGING
1253 if ((long)nbytes < 0)
1254 croak("%s", "panic: malloc");
1255#endif
1256
03f05cb4 1257 bucket = adjust_size_and_find_bucket(&nbytes);
4ad56ec9 1258 MALLOC_LOCK;
8d063cd8
LW
1259 /*
1260 * If nothing in hash bucket right now,
1261 * request more memory from the system.
1262 */
1263 if (nextf[bucket] == NULL)
1264 morecore(bucket);
e8bc2b5c 1265 if ((p = nextf[bucket]) == NULL) {
741df71a 1266 MALLOC_UNLOCK;
0b250b9e
GS
1267 {
1268 dTHX;
1269 if (!PL_nomemok) {
febabd2a 1270#if defined(PLAIN_MALLOC) && defined(NO_FANCY_MALLOC)
7cd83f65 1271 MYMALLOC_WRITE2STDERR("Out of memory!\n");
febabd2a 1272#else
b022d2d2
IZ
1273 char buff[80];
1274 char *eb = buff + sizeof(buff) - 1;
1275 char *s = eb;
1276 size_t n = nbytes;
1277
7cd83f65 1278 MYMALLOC_WRITE2STDERR("Out of memory during request for ");
b022d2d2
IZ
1279#if defined(DEBUGGING) || defined(RCHECK)
1280 n = size;
1281#endif
1282 *s = 0;
1283 do {
1284 *--s = '0' + (n % 10);
1285 } while (n /= 10);
7cd83f65
CB
1286 MYMALLOC_WRITE2STDERR(s);
1287 MYMALLOC_WRITE2STDERR(" bytes, total sbrk() is ");
b022d2d2
IZ
1288 s = eb;
1289 n = goodsbrk + sbrk_slack;
1290 do {
1291 *--s = '0' + (n % 10);
1292 } while (n /= 10);
7cd83f65
CB
1293 MYMALLOC_WRITE2STDERR(s);
1294 MYMALLOC_WRITE2STDERR(" bytes!\n");
febabd2a 1295#endif /* defined(PLAIN_MALLOC) && defined(NO_FANCY_MALLOC) */
0b250b9e
GS
1296 my_exit(1);
1297 }
ee0007ab 1298 }
4ad56ec9 1299 return (NULL);
45d8adaa
LW
1300 }
1301
8d063cd8 1302 /* remove from linked list */
22f7c9c9
JH
1303#ifdef DEBUGGING
1304 if ( (PTR2UV(p) & (MEM_ALIGNBYTES - 1))
1305 /* Can't get this low */
1306 || (p && PTR2UV(p) < (1<<LOG_OF_MIN_ARENA)) ) {
e8cd8248 1307 dTHX;
b900a521 1308 PerlIO_printf(PerlIO_stderr(),
7fa2f4f1
GS
1309 "Unaligned pointer in the free chain 0x%"UVxf"\n",
1310 PTR2UV(p));
1311 }
22f7c9c9
JH
1312 if ( (PTR2UV(p->ov_next) & (MEM_ALIGNBYTES - 1))
1313 || (p->ov_next && PTR2UV(p->ov_next) < (1<<LOG_OF_MIN_ARENA)) ) {
e8cd8248 1314 dTHX;
7fa2f4f1 1315 PerlIO_printf(PerlIO_stderr(),
a0288114 1316 "Unaligned \"next\" pointer in the free "
d2560b70 1317 "chain 0x%"UVxf" at 0x%"UVxf"\n",
7fa2f4f1 1318 PTR2UV(p->ov_next), PTR2UV(p));
32e30700 1319 }
bf38876a
LW
1320#endif
1321 nextf[bucket] = p->ov_next;
4ad56ec9
IZ
1322
1323 MALLOC_UNLOCK;
1324
51a5ed28
HS
1325 DEBUG_m(PerlIO_printf(Perl_debug_log,
1326 "0x%"UVxf": (%05lu) malloc %ld bytes\n",
253fdc3f 1327 PTR2UV((Malloc_t)(p + CHUNK_SHIFT)), (unsigned long)(PL_an++),
51a5ed28
HS
1328 (long)size));
1329
22f7c9c9 1330 FILLCHECK_DEADBEEF((unsigned char*)(p + CHUNK_SHIFT),
d0bbed78 1331 BUCKET_SIZE_REAL(bucket) + RMAGIC_SZ);
22f7c9c9 1332
e8bc2b5c
GS
1333#ifdef IGNORE_SMALL_BAD_FREE
1334 if (bucket >= FIRST_BUCKET_WITH_CHECK)
1335#endif
1336 OV_MAGIC(p, bucket) = MAGIC;
cf5c4ad8 1337#ifndef PACK_MALLOC
1338 OV_INDEX(p) = bucket;
1339#endif
8d063cd8
LW
1340#ifdef RCHECK
1341 /*
1342 * Record allocated size of block and
1343 * bound space with magic numbers.
1344 */
8d063cd8 1345 p->ov_rmagic = RMAGIC;
e8bc2b5c
GS
1346 if (bucket <= MAX_SHORT_BUCKET) {
1347 int i;
1348
1349 nbytes = size + M_OVERHEAD;
1350 p->ov_size = nbytes - 1;
d0bbed78
IZ
1351 if ((i = nbytes & (RMAGIC_SZ-1))) {
1352 i = RMAGIC_SZ - i;
1353 while (i--) /* nbytes - RMAGIC_SZ is end of alloced area */
1354 ((caddr_t)p + nbytes - RMAGIC_SZ)[i] = RMAGIC_C;
e8bc2b5c 1355 }
d0bbed78
IZ
1356 /* Same at RMAGIC_SZ-aligned RMAGIC */
1357 nbytes = (nbytes + RMAGIC_SZ - 1) & ~(RMAGIC_SZ - 1);
1358 ((u_int *)((caddr_t)p + nbytes))[-1] = RMAGIC;
e8bc2b5c 1359 }
22f7c9c9 1360 FILL_FEEDADAD((unsigned char *)(p + CHUNK_SHIFT), size);
8d063cd8 1361#endif
cf5c4ad8 1362 return ((Malloc_t)(p + CHUNK_SHIFT));
8d063cd8
LW
1363}
1364
e8bc2b5c
GS
1365static char *last_sbrk_top;
1366static char *last_op; /* This arena can be easily extended. */
6e21dc91 1367static MEM_SIZE sbrked_remains;
e8bc2b5c
GS
1368
1369#ifdef DEBUGGING_MSTATS
1370static int sbrks;
1371#endif
1372
1373struct chunk_chain_s {
1374 struct chunk_chain_s *next;
1375 MEM_SIZE size;
1376};
1377static struct chunk_chain_s *chunk_chain;
1378static int n_chunks;
1379static char max_bucket;
1380
1381/* Cutoff a piece of one of the chunks in the chain. Prefer smaller chunk. */
cea2e8a9
GS
1382static void *
1383get_from_chain(MEM_SIZE size)
e8bc2b5c
GS
1384{
1385 struct chunk_chain_s *elt = chunk_chain, **oldp = &chunk_chain;
1386 struct chunk_chain_s **oldgoodp = NULL;
1387 long min_remain = LONG_MAX;
1388
1389 while (elt) {
1390 if (elt->size >= size) {
1391 long remains = elt->size - size;
1392 if (remains >= 0 && remains < min_remain) {
1393 oldgoodp = oldp;
1394 min_remain = remains;
1395 }
1396 if (remains == 0) {
1397 break;
1398 }
1399 }
1400 oldp = &( elt->next );
1401 elt = elt->next;
1402 }
1403 if (!oldgoodp) return NULL;
1404 if (min_remain) {
1405 void *ret = *oldgoodp;
1406 struct chunk_chain_s *next = (*oldgoodp)->next;
1407
1408 *oldgoodp = (struct chunk_chain_s *)((char*)ret + size);
1409 (*oldgoodp)->size = min_remain;
1410 (*oldgoodp)->next = next;
1411 return ret;
1412 } else {
1413 void *ret = *oldgoodp;
1414 *oldgoodp = (*oldgoodp)->next;
1415 n_chunks--;
1416 return ret;
1417 }
1418}
1419
cea2e8a9
GS
1420static void
1421add_to_chain(void *p, MEM_SIZE size, MEM_SIZE chip)
e8bc2b5c
GS
1422{
1423 struct chunk_chain_s *next = chunk_chain;
1424 char *cp = (char*)p;
1425
1426 cp += chip;
1427 chunk_chain = (struct chunk_chain_s *)cp;
1428 chunk_chain->size = size - chip;
1429 chunk_chain->next = next;
1430 n_chunks++;
1431}
1432
cea2e8a9
GS
1433static void *
1434get_from_bigger_buckets(int bucket, MEM_SIZE size)
e8bc2b5c
GS
1435{
1436 int price = 1;
1437 static int bucketprice[NBUCKETS];
1438 while (bucket <= max_bucket) {
1439 /* We postpone stealing from bigger buckets until we want it
1440 often enough. */
1441 if (nextf[bucket] && bucketprice[bucket]++ >= price) {
1442 /* Steal it! */
1443 void *ret = (void*)(nextf[bucket] - 1 + CHUNK_SHIFT);
1444 bucketprice[bucket] = 0;
1445 if (((char*)nextf[bucket]) - M_OVERHEAD == last_op) {
1446 last_op = NULL; /* Disable optimization */
1447 }
1448 nextf[bucket] = nextf[bucket]->ov_next;
1449#ifdef DEBUGGING_MSTATS
1450 nmalloc[bucket]--;
1451 start_slack -= M_OVERHEAD;
1452#endif
d0bbed78 1453 add_to_chain(ret, (BUCKET_SIZE_NO_SURPLUS(bucket) +
e8bc2b5c
GS
1454 POW2_OPTIMIZE_SURPLUS(bucket)),
1455 size);
1456 return ret;
1457 }
1458 bucket++;
1459 }
1460 return NULL;
1461}
1462
cea2e8a9 1463static union overhead *
c7374474 1464getpages(MEM_SIZE needed, int *nblksp, int bucket)
fa423c5b 1465{
899be101 1466 dVAR;
fa423c5b
IZ
1467 /* Need to do (possibly expensive) system call. Try to
1468 optimize it for rare calling. */
1469 MEM_SIZE require = needed - sbrked_remains;
1470 char *cp;
1471 union overhead *ovp;
c7374474 1472 MEM_SIZE slack = 0;
fa423c5b 1473
22f7c9c9 1474 if (sbrk_goodness > 0) {
575fbe19 1475 if (!last_sbrk_top && require < (MEM_SIZE)FIRST_SBRK)
fa423c5b 1476 require = FIRST_SBRK;
575fbe19 1477 else if (require < (MEM_SIZE)MIN_SBRK) require = MIN_SBRK;
fa423c5b 1478
8c2f25b1 1479 if (require < (Size_t)(goodsbrk * MIN_SBRK_FRAC1000 / 1000))
22f7c9c9 1480 require = goodsbrk * MIN_SBRK_FRAC1000 / 1000;
fa423c5b
IZ
1481 require = ((require - 1 + MIN_SBRK) / MIN_SBRK) * MIN_SBRK;
1482 } else {
1483 require = needed;
1484 last_sbrk_top = 0;
1485 sbrked_remains = 0;
1486 }
1487
1488 DEBUG_m(PerlIO_printf(Perl_debug_log,
1489 "sbrk(%ld) for %ld-byte-long arena\n",
1490 (long)require, (long) needed));
1491 cp = (char *)sbrk(require);
1492#ifdef DEBUGGING_MSTATS
1493 sbrks++;
1494#endif
1495 if (cp == last_sbrk_top) {
1496 /* Common case, anything is fine. */
22f7c9c9 1497 sbrk_goodness++;
fa423c5b 1498 ovp = (union overhead *) (cp - sbrked_remains);
e9397286 1499 last_op = cp - sbrked_remains;
fa423c5b
IZ
1500 sbrked_remains = require - (needed - sbrked_remains);
1501 } else if (cp == (char *)-1) { /* no more room! */
1502 ovp = (union overhead *)emergency_sbrk(needed);
1503 if (ovp == (union overhead *)-1)
1504 return 0;
e9397286
GS
1505 if (((char*)ovp) > last_op) { /* Cannot happen with current emergency_sbrk() */
1506 last_op = 0;
1507 }
fa423c5b
IZ
1508 return ovp;
1509 } else { /* Non-continuous or first sbrk(). */
1510 long add = sbrked_remains;
1511 char *newcp;
1512
1513 if (sbrked_remains) { /* Put rest into chain, we
1514 cannot use it right now. */
1515 add_to_chain((void*)(last_sbrk_top - sbrked_remains),
1516 sbrked_remains, 0);
1517 }
1518
1519 /* Second, check alignment. */
1520 slack = 0;
1521
5bbd1ef5
IZ
1522 /* WANTED_ALIGNMENT may be more than NEEDED_ALIGNMENT, but this may
1523 improve performance of memory access. */
56431972
RB
1524 if (PTR2UV(cp) & (WANTED_ALIGNMENT - 1)) { /* Not aligned. */
1525 slack = WANTED_ALIGNMENT - (PTR2UV(cp) & (WANTED_ALIGNMENT - 1));
fa423c5b
IZ
1526 add += slack;
1527 }
fa423c5b
IZ
1528
1529 if (add) {
1530 DEBUG_m(PerlIO_printf(Perl_debug_log,
f6bab5f6 1531 "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
1532 (long)add, (long) slack,
1533 (long) sbrked_remains));
1534 newcp = (char *)sbrk(add);
1535#if defined(DEBUGGING_MSTATS)
1536 sbrks++;
1537 sbrk_slack += add;
1538#endif
1539 if (newcp != cp + require) {
1540 /* Too bad: even rounding sbrk() is not continuous.*/
1541 DEBUG_m(PerlIO_printf(Perl_debug_log,
1542 "failed to fix bad sbrk()\n"));
1543#ifdef PACK_MALLOC
1544 if (slack) {
741df71a 1545 MALLOC_UNLOCK;
5bbd1ef5 1546 fatalcroak("panic: Off-page sbrk\n");
fa423c5b
IZ
1547 }
1548#endif
1549 if (sbrked_remains) {
1550 /* Try again. */
1551#if defined(DEBUGGING_MSTATS)
1552 sbrk_slack += require;
1553#endif
1554 require = needed;
1555 DEBUG_m(PerlIO_printf(Perl_debug_log,
1556 "straight sbrk(%ld)\n",
1557 (long)require));
1558 cp = (char *)sbrk(require);
1559#ifdef DEBUGGING_MSTATS
1560 sbrks++;
1561#endif
1562 if (cp == (char *)-1)
1563 return 0;
1564 }
22f7c9c9 1565 sbrk_goodness = -1; /* Disable optimization!
fa423c5b
IZ
1566 Continue with not-aligned... */
1567 } else {
1568 cp += slack;
1569 require += sbrked_remains;
1570 }
1571 }
1572
1573 if (last_sbrk_top) {
22f7c9c9 1574 sbrk_goodness -= SBRK_FAILURE_PRICE;
fa423c5b
IZ
1575 }
1576
1577 ovp = (union overhead *) cp;
1578 /*
1579 * Round up to minimum allocation size boundary
1580 * and deduct from block count to reflect.
1581 */
1582
5bbd1ef5 1583# if NEEDED_ALIGNMENT > MEM_ALIGNBYTES
56431972 1584 if (PTR2UV(ovp) & (NEEDED_ALIGNMENT - 1))
5bbd1ef5
IZ
1585 fatalcroak("Misalignment of sbrk()\n");
1586 else
1587# endif
56431972 1588 if (PTR2UV(ovp) & (MEM_ALIGNBYTES - 1)) {
fa423c5b 1589 DEBUG_m(PerlIO_printf(Perl_debug_log,
486ec47a 1590 "fixing sbrk(): %d bytes off machine alignment\n",
56431972
RB
1591 (int)(PTR2UV(ovp) & (MEM_ALIGNBYTES - 1))));
1592 ovp = INT2PTR(union overhead *,(PTR2UV(ovp) + MEM_ALIGNBYTES) &
5bbd1ef5 1593 (MEM_ALIGNBYTES - 1));
fa423c5b
IZ
1594 (*nblksp)--;
1595# if defined(DEBUGGING_MSTATS)
1596 /* This is only approx. if TWO_POT_OPTIMIZE: */
5bbd1ef5 1597 sbrk_slack += (1 << (bucket >> BUCKET_POW2_SHIFT));
fa423c5b
IZ
1598# endif
1599 }
a0288114 1600 ; /* Finish "else" */
fa423c5b 1601 sbrked_remains = require - needed;
e9397286 1602 last_op = cp;
fa423c5b 1603 }
febabd2a 1604#if !defined(PLAIN_MALLOC) && !defined(NO_FANCY_MALLOC)
22f7c9c9 1605 emergency_buffer_last_req = 0;
febabd2a 1606#endif
fa423c5b 1607 last_sbrk_top = cp + require;
fa423c5b
IZ
1608#ifdef DEBUGGING_MSTATS
1609 goodsbrk += require;
1610#endif
1611 return ovp;
1612}
1613
cea2e8a9 1614static int
c7374474 1615getpages_adjacent(MEM_SIZE require)
fa423c5b
IZ
1616{
1617 if (require <= sbrked_remains) {
1618 sbrked_remains -= require;
1619 } else {
1620 char *cp;
1621
1622 require -= sbrked_remains;
1623 /* We do not try to optimize sbrks here, we go for place. */
1624 cp = (char*) sbrk(require);
1625#ifdef DEBUGGING_MSTATS
1626 sbrks++;
1627 goodsbrk += require;
1628#endif
1629 if (cp == last_sbrk_top) {
1630 sbrked_remains = 0;
1631 last_sbrk_top = cp + require;
1632 } else {
28ac10b1
IZ
1633 if (cp == (char*)-1) { /* Out of memory */
1634#ifdef DEBUGGING_MSTATS
1635 goodsbrk -= require;
1636#endif
1637 return 0;
1638 }
fa423c5b
IZ
1639 /* Report the failure: */
1640 if (sbrked_remains)
1641 add_to_chain((void*)(last_sbrk_top - sbrked_remains),
1642 sbrked_remains, 0);
1643 add_to_chain((void*)cp, require, 0);
22f7c9c9 1644 sbrk_goodness -= SBRK_FAILURE_PRICE;
fa423c5b
IZ
1645 sbrked_remains = 0;
1646 last_sbrk_top = 0;
1647 last_op = 0;
1648 return 0;
1649 }
1650 }
1651
1652 return 1;
1653}
1654
8d063cd8
LW
1655/*
1656 * Allocate more memory to the indicated bucket.
1657 */
cea2e8a9 1658static void
5aaab254 1659morecore(int bucket)
8d063cd8 1660{
899be101 1661 dVAR;
eb578fdb
KW
1662 union overhead *ovp;
1663 int rnu; /* 2^rnu bytes will be requested */
fa423c5b 1664 int nblks; /* become nblks blocks of the desired size */
eb578fdb 1665 MEM_SIZE siz, needed;
22f7c9c9 1666 static int were_called = 0;
8d063cd8
LW
1667
1668 if (nextf[bucket])
1669 return;
22f7c9c9
JH
1670#ifndef NO_PERL_MALLOC_ENV
1671 if (!were_called) {
1672 /* It's the our first time. Initialize ourselves */
1673 were_called = 1; /* Avoid a loop */
1674 if (!MallocCfg[MallocCfg_skip_cfg_env]) {
1675 char *s = getenv("PERL_MALLOC_OPT"), *t = s, *off;
1676 const char *opts = PERL_MALLOC_OPT_CHARS;
1677 int changed = 0;
1678
1679 while ( t && t[0] && t[1] == '='
1680 && ((off = strchr(opts, *t))) ) {
1681 IV val = 0;
1682
1683 t += 2;
1684 while (*t <= '9' && *t >= '0')
1685 val = 10*val + *t++ - '0';
1686 if (!*t || *t == ';') {
1687 if (MallocCfg[off - opts] != val)
1688 changed = 1;
1689 MallocCfg[off - opts] = val;
1690 if (*t)
1691 t++;
1692 }
1693 }
1694 if (t && *t) {
89229eb4 1695 dTHX;
7cd83f65
CB
1696 MYMALLOC_WRITE2STDERR("Unrecognized part of PERL_MALLOC_OPT: \"");
1697 MYMALLOC_WRITE2STDERR(t);
1698 MYMALLOC_WRITE2STDERR("\"\n");
22f7c9c9
JH
1699 }
1700 if (changed)
1701 MallocCfg[MallocCfg_cfg_env_read] = 1;
1702 }
1703 }
1704#endif
e8bc2b5c 1705 if (bucket == sizeof(MEM_SIZE)*8*BUCKETS_PER_POW2) {
741df71a 1706 MALLOC_UNLOCK;
d720c441 1707 croak("%s", "Out of memory during ridiculously large request");
55497cff 1708 }
d720c441 1709 if (bucket > max_bucket)
e8bc2b5c 1710 max_bucket = bucket;
d720c441 1711
e8bc2b5c
GS
1712 rnu = ( (bucket <= (LOG_OF_MIN_ARENA << BUCKET_POW2_SHIFT))
1713 ? LOG_OF_MIN_ARENA
1714 : (bucket >> BUCKET_POW2_SHIFT) );
1715 /* This may be overwritten later: */
1716 nblks = 1 << (rnu - (bucket >> BUCKET_POW2_SHIFT)); /* how many blocks to get */
1717 needed = ((MEM_SIZE)1 << rnu) + POW2_OPTIMIZE_SURPLUS(bucket);
1718 if (nextf[rnu << BUCKET_POW2_SHIFT]) { /* 2048b bucket. */
1719 ovp = nextf[rnu << BUCKET_POW2_SHIFT] - 1 + CHUNK_SHIFT;
1720 nextf[rnu << BUCKET_POW2_SHIFT]
1721 = nextf[rnu << BUCKET_POW2_SHIFT]->ov_next;
1722#ifdef DEBUGGING_MSTATS
1723 nmalloc[rnu << BUCKET_POW2_SHIFT]--;
1724 start_slack -= M_OVERHEAD;
1725#endif
1726 DEBUG_m(PerlIO_printf(Perl_debug_log,
1727 "stealing %ld bytes from %ld arena\n",
1728 (long) needed, (long) rnu << BUCKET_POW2_SHIFT));
1729 } else if (chunk_chain
1730 && (ovp = (union overhead*) get_from_chain(needed))) {
1731 DEBUG_m(PerlIO_printf(Perl_debug_log,
1732 "stealing %ld bytes from chain\n",
1733 (long) needed));
d720c441
IZ
1734 } else if ( (ovp = (union overhead*)
1735 get_from_bigger_buckets((rnu << BUCKET_POW2_SHIFT) + 1,
1736 needed)) ) {
e8bc2b5c
GS
1737 DEBUG_m(PerlIO_printf(Perl_debug_log,
1738 "stealing %ld bytes from bigger buckets\n",
1739 (long) needed));
1740 } else if (needed <= sbrked_remains) {
1741 ovp = (union overhead *)(last_sbrk_top - sbrked_remains);
1742 sbrked_remains -= needed;
1743 last_op = (char*)ovp;
fa423c5b
IZ
1744 } else
1745 ovp = getpages(needed, &nblks, bucket);
e8bc2b5c 1746
fa423c5b
IZ
1747 if (!ovp)
1748 return;
22f7c9c9 1749 FILL_DEADBEEF((unsigned char*)ovp, needed);
e8bc2b5c 1750
8d063cd8
LW
1751 /*
1752 * Add new memory allocated to that on
1753 * free list for this hash bucket.
1754 */
d0bbed78 1755 siz = BUCKET_SIZE_NO_SURPLUS(bucket); /* No surplus if nblks > 1 */
cf5c4ad8 1756#ifdef PACK_MALLOC
72aaf631 1757 *(u_char*)ovp = bucket; /* Fill index. */
e8bc2b5c
GS
1758 if (bucket <= MAX_PACKED) {
1759 ovp = (union overhead *) ((char*)ovp + BLK_SHIFT(bucket));
1760 nblks = N_BLKS(bucket);
cf5c4ad8 1761# ifdef DEBUGGING_MSTATS
e8bc2b5c 1762 start_slack += BLK_SHIFT(bucket);
cf5c4ad8 1763# endif
e8bc2b5c
GS
1764 } else if (bucket < LOG_OF_MIN_ARENA * BUCKETS_PER_POW2) {
1765 ovp = (union overhead *) ((char*)ovp + BLK_SHIFT(bucket));
cf5c4ad8 1766 siz -= sizeof(union overhead);
72aaf631 1767 } else ovp++; /* One chunk per block. */
e8bc2b5c 1768#endif /* PACK_MALLOC */
72aaf631 1769 nextf[bucket] = ovp;
5f05dabc 1770#ifdef DEBUGGING_MSTATS
1771 nmalloc[bucket] += nblks;
e8bc2b5c
GS
1772 if (bucket > MAX_PACKED) {
1773 start_slack += M_OVERHEAD * nblks;
1774 }
5f05dabc 1775#endif
22f7c9c9 1776
8d063cd8 1777 while (--nblks > 0) {
72aaf631
MB
1778 ovp->ov_next = (union overhead *)((caddr_t)ovp + siz);
1779 ovp = (union overhead *)((caddr_t)ovp + siz);
8d063cd8 1780 }
8595d6f1 1781 /* Not all sbrks return zeroed memory.*/
72aaf631 1782 ovp->ov_next = (union overhead *)NULL;
cf5c4ad8 1783#ifdef PACK_MALLOC
e8bc2b5c
GS
1784 if (bucket == 7*BUCKETS_PER_POW2) { /* Special case, explanation is above. */
1785 union overhead *n_op = nextf[7*BUCKETS_PER_POW2]->ov_next;
1786 nextf[7*BUCKETS_PER_POW2] =
1787 (union overhead *)((caddr_t)nextf[7*BUCKETS_PER_POW2]
1788 - sizeof(union overhead));
1789 nextf[7*BUCKETS_PER_POW2]->ov_next = n_op;
cf5c4ad8 1790 }
1791#endif /* !PACK_MALLOC */
8d063cd8
LW
1792}
1793
94b6baf5 1794Free_t
667e2948 1795Perl_mfree(Malloc_t where)
cea2e8a9 1796{
899be101 1797 dVAR;
eb578fdb
KW
1798 MEM_SIZE size;
1799 union overhead *ovp;
667e2948 1800 char *cp = (char*)where;
cf5c4ad8 1801#ifdef PACK_MALLOC
1802 u_char bucket;
1803#endif
8d063cd8 1804
e8bc2b5c 1805 DEBUG_m(PerlIO_printf(Perl_debug_log,
b900a521
JH
1806 "0x%"UVxf": (%05lu) free\n",
1807 PTR2UV(cp), (unsigned long)(PL_an++)));
45d8adaa 1808
cf5c4ad8 1809 if (cp == NULL)
1810 return;
22f7c9c9
JH
1811#ifdef DEBUGGING
1812 if (PTR2UV(cp) & (MEM_ALIGNBYTES - 1))
1813 croak("%s", "wrong alignment in free()");
1814#endif
72aaf631 1815 ovp = (union overhead *)((caddr_t)cp
e8bc2b5c 1816 - sizeof (union overhead) * CHUNK_SHIFT);
cf5c4ad8 1817#ifdef PACK_MALLOC
72aaf631 1818 bucket = OV_INDEX(ovp);
cf5c4ad8 1819#endif
e8bc2b5c
GS
1820#ifdef IGNORE_SMALL_BAD_FREE
1821 if ((bucket >= FIRST_BUCKET_WITH_CHECK)
1822 && (OV_MAGIC(ovp, bucket) != MAGIC))
1823#else
1824 if (OV_MAGIC(ovp, bucket) != MAGIC)
1825#endif
1826 {
68dc0745 1827 static int bad_free_warn = -1;
cf5c4ad8 1828 if (bad_free_warn == -1) {
e8cd8248 1829 dTHX;
5fd9e9a4 1830 char *pbf = PerlEnv_getenv("PERL_BADFREE");
22ff3130 1831 bad_free_warn = (pbf) ? strNE("0", pbf) : 1;
cf5c4ad8 1832 }
1833 if (!bad_free_warn)
1834 return;
8990e307 1835#ifdef RCHECK
e8cd8248
GS
1836 {
1837 dTHX;
9b387841
NC
1838 if (!PERL_IS_ALIVE || !PL_curcop)
1839 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%s free() ignored (RMAGIC, PERL_CORE)",
1840 ovp->ov_rmagic == RMAGIC - 1 ?
1841 "Duplicate" : "Bad");
2ba999ec 1842 }
e476b1b5 1843#else
2ba999ec
GS
1844 {
1845 dTHX;
9b387841
NC
1846 if (!PERL_IS_ALIVE || !PL_curcop)
1847 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%s", "Bad free() ignored (PERL_CORE)");
2ba999ec 1848 }
e476b1b5 1849#endif
8d063cd8 1850 return; /* sanity */
e8bc2b5c 1851 }
8d063cd8 1852#ifdef RCHECK
3541dd58 1853 ASSERT(ovp->ov_rmagic == RMAGIC, "chunk's head overwrite");
e8bc2b5c
GS
1854 if (OV_INDEX(ovp) <= MAX_SHORT_BUCKET) {
1855 int i;
1856 MEM_SIZE nbytes = ovp->ov_size + 1;
1857
d0bbed78
IZ
1858 if ((i = nbytes & (RMAGIC_SZ-1))) {
1859 i = RMAGIC_SZ - i;
1860 while (i--) { /* nbytes - RMAGIC_SZ is end of alloced area */
1861 ASSERT(((caddr_t)ovp + nbytes - RMAGIC_SZ)[i] == RMAGIC_C,
1862 "chunk's tail overwrite");
e8bc2b5c
GS
1863 }
1864 }
d0bbed78
IZ
1865 /* Same at RMAGIC_SZ-aligned RMAGIC */
1866 nbytes = (nbytes + (RMAGIC_SZ-1)) & ~(RMAGIC_SZ-1);
1867 ASSERT(((u_int *)((caddr_t)ovp + nbytes))[-1] == RMAGIC,
1868 "chunk's tail overwrite");
1869 FILLCHECK_DEADBEEF((unsigned char*)((caddr_t)ovp + nbytes),
1870 BUCKET_SIZE(OV_INDEX(ovp)) - nbytes);
e8bc2b5c 1871 }
d0bbed78
IZ
1872 FILL_DEADBEEF((unsigned char*)(ovp+CHUNK_SHIFT),
1873 BUCKET_SIZE_REAL(OV_INDEX(ovp)) + RMAGIC_SZ);
72aaf631 1874 ovp->ov_rmagic = RMAGIC - 1;
8d063cd8 1875#endif
3541dd58 1876 ASSERT(OV_INDEX(ovp) < NBUCKETS, "chunk's head overwrite");
72aaf631 1877 size = OV_INDEX(ovp);
4ad56ec9
IZ
1878
1879 MALLOC_LOCK;
72aaf631
MB
1880 ovp->ov_next = nextf[size];
1881 nextf[size] = ovp;
741df71a 1882 MALLOC_UNLOCK;
8d063cd8
LW
1883}
1884
4ad56ec9
IZ
1885/* There is no need to do any locking in realloc (with an exception of
1886 trying to grow in place if we are at the end of the chain).
1887 If somebody calls us from a different thread with the same address,
1888 we are sole anyway. */
8d063cd8 1889
2304df62 1890Malloc_t
86058a2d 1891Perl_realloc(void *mp, size_t nbytes)
cea2e8a9 1892{
899be101 1893 dVAR;
eb578fdb 1894 MEM_SIZE onb;
72aaf631 1895 union overhead *ovp;
d720c441
IZ
1896 char *res;
1897 int prev_bucket;
eb578fdb 1898 int bucket;
4ad56ec9
IZ
1899 int incr; /* 1 if does not fit, -1 if "easily" fits in a
1900 smaller bucket, otherwise 0. */
352d5a3a 1901 char *cp = (char*)mp;
8d063cd8 1902
b9e5552c 1903#ifdef DEBUGGING
ee0007ab 1904 MEM_SIZE size = nbytes;
45d8adaa 1905
45d8adaa 1906 if ((long)nbytes < 0)
cea2e8a9 1907 croak("%s", "panic: realloc");
45d8adaa 1908#endif
e8bc2b5c
GS
1909
1910 BARK_64K_LIMIT("Reallocation",nbytes,size);
1911 if (!cp)
86058a2d 1912 return Perl_malloc(nbytes);
45d8adaa 1913
72aaf631 1914 ovp = (union overhead *)((caddr_t)cp
e8bc2b5c
GS
1915 - sizeof (union overhead) * CHUNK_SHIFT);
1916 bucket = OV_INDEX(ovp);
4ad56ec9 1917
e8bc2b5c 1918#ifdef IGNORE_SMALL_BAD_FREE
4ad56ec9
IZ
1919 if ((bucket >= FIRST_BUCKET_WITH_CHECK)
1920 && (OV_MAGIC(ovp, bucket) != MAGIC))
e8bc2b5c 1921#else
4ad56ec9 1922 if (OV_MAGIC(ovp, bucket) != MAGIC)
e8bc2b5c 1923#endif
4ad56ec9
IZ
1924 {
1925 static int bad_free_warn = -1;
1926 if (bad_free_warn == -1) {
e8cd8248 1927 dTHX;
4ad56ec9 1928 char *pbf = PerlEnv_getenv("PERL_BADFREE");
22ff3130 1929 bad_free_warn = (pbf) ? strNE("0", pbf) : 1;
4ad56ec9
IZ
1930 }
1931 if (!bad_free_warn)
bd61b366 1932 return NULL;
4ad56ec9 1933#ifdef RCHECK
e8cd8248
GS
1934 {
1935 dTHX;
9b387841
NC
1936 if (!PERL_IS_ALIVE || !PL_curcop)
1937 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%srealloc() %signored",
1938 (ovp->ov_rmagic == RMAGIC - 1 ? "" : "Bad "),
1939 ovp->ov_rmagic == RMAGIC - 1
1940 ? "of freed memory " : "");
2ba999ec 1941 }
e476b1b5 1942#else
2ba999ec
GS
1943 {
1944 dTHX;
9b387841
NC
1945 if (!PERL_IS_ALIVE || !PL_curcop)
1946 Perl_ck_warner_d(aTHX_ packWARN(WARN_MALLOC), "%s",
1947 "Bad realloc() ignored");
2ba999ec 1948 }
e476b1b5 1949#endif
bd61b366 1950 return NULL; /* sanity */
4ad56ec9
IZ
1951 }
1952
e8bc2b5c 1953 onb = BUCKET_SIZE_REAL(bucket);
55497cff 1954 /*
1955 * avoid the copy if same size block.
486ec47a 1956 * We are not aggressive with boundary cases. Note that it might
e8bc2b5c 1957 * (for a small number of cases) give false negative if
55497cff 1958 * both new size and old one are in the bucket for
e8bc2b5c
GS
1959 * FIRST_BIG_POW2, but the new one is near the lower end.
1960 *
1961 * We do not try to go to 1.5 times smaller bucket so far.
55497cff 1962 */
e8bc2b5c
GS
1963 if (nbytes > onb) incr = 1;
1964 else {
1965#ifdef DO_NOT_TRY_HARDER_WHEN_SHRINKING
1966 if ( /* This is a little bit pessimal if PACK_MALLOC: */
1967 nbytes > ( (onb >> 1) - M_OVERHEAD )
1968# ifdef TWO_POT_OPTIMIZE
1969 || (bucket == FIRST_BIG_POW2 && nbytes >= LAST_SMALL_BOUND )
1970# endif
1971 )
1972#else /* !DO_NOT_TRY_HARDER_WHEN_SHRINKING */
1973 prev_bucket = ( (bucket > MAX_PACKED + 1)
1974 ? bucket - BUCKETS_PER_POW2
1975 : bucket - 1);
1976 if (nbytes > BUCKET_SIZE_REAL(prev_bucket))
1977#endif /* !DO_NOT_TRY_HARDER_WHEN_SHRINKING */
1978 incr = 0;
1979 else incr = -1;
1980 }
2ce36478 1981#ifdef STRESS_REALLOC
4ad56ec9 1982 goto hard_way;
2ce36478 1983#endif
4ad56ec9 1984 if (incr == 0) {
852c2e52 1985 inplace_label:
a687059c
LW
1986#ifdef RCHECK
1987 /*
1988 * Record new allocated size of block and
1989 * bound space with magic numbers.
1990 */
72aaf631 1991 if (OV_INDEX(ovp) <= MAX_SHORT_BUCKET) {
e8bc2b5c
GS
1992 int i, nb = ovp->ov_size + 1;
1993
d0bbed78
IZ
1994 if ((i = nb & (RMAGIC_SZ-1))) {
1995 i = RMAGIC_SZ - i;
1996 while (i--) { /* nb - RMAGIC_SZ is end of alloced area */
1997 ASSERT(((caddr_t)ovp + nb - RMAGIC_SZ)[i] == RMAGIC_C, "chunk's tail overwrite");
e8bc2b5c
GS
1998 }
1999 }
d0bbed78
IZ
2000 /* Same at RMAGIC_SZ-aligned RMAGIC */
2001 nb = (nb + (RMAGIC_SZ-1)) & ~(RMAGIC_SZ-1);
2002 ASSERT(((u_int *)((caddr_t)ovp + nb))[-1] == RMAGIC,
2003 "chunk's tail overwrite");
2004 FILLCHECK_DEADBEEF((unsigned char*)((caddr_t)ovp + nb),
2005 BUCKET_SIZE(OV_INDEX(ovp)) - nb);
22f7c9c9
JH
2006 if (nbytes > ovp->ov_size + 1 - M_OVERHEAD)
2007 FILL_FEEDADAD((unsigned char*)cp + ovp->ov_size + 1 - M_OVERHEAD,
2008 nbytes - (ovp->ov_size + 1 - M_OVERHEAD));
2009 else
2010 FILL_DEADBEEF((unsigned char*)cp + nbytes,
d0bbed78 2011 nb - M_OVERHEAD + RMAGIC_SZ - nbytes);
a687059c
LW
2012 /*
2013 * Convert amount of memory requested into
2014 * closest block size stored in hash buckets
2015 * which satisfies request. Account for
2016 * space used per block for accounting.
2017 */
cf5c4ad8 2018 nbytes += M_OVERHEAD;
72aaf631 2019 ovp->ov_size = nbytes - 1;
d0bbed78
IZ
2020 if ((i = nbytes & (RMAGIC_SZ-1))) {
2021 i = RMAGIC_SZ - i;
2022 while (i--) /* nbytes - RMAGIC_SZ is end of alloced area */
2023 ((caddr_t)ovp + nbytes - RMAGIC_SZ)[i]
e8bc2b5c
GS
2024 = RMAGIC_C;
2025 }
d0bbed78
IZ
2026 /* Same at RMAGIC_SZ-aligned RMAGIC */
2027 nbytes = (nbytes + (RMAGIC_SZ-1)) & ~(RMAGIC_SZ - 1);
2028 ((u_int *)((caddr_t)ovp + nbytes))[-1] = RMAGIC;
a687059c
LW
2029 }
2030#endif
45d8adaa 2031 res = cp;
42ac124e 2032 DEBUG_m(PerlIO_printf(Perl_debug_log,
b900a521
JH
2033 "0x%"UVxf": (%05lu) realloc %ld bytes inplace\n",
2034 PTR2UV(res),(unsigned long)(PL_an++),
42ac124e 2035 (long)size));
e8bc2b5c
GS
2036 } else if (incr == 1 && (cp - M_OVERHEAD == last_op)
2037 && (onb > (1 << LOG_OF_MIN_ARENA))) {
2038 MEM_SIZE require, newarena = nbytes, pow;
2039 int shiftr;
2040
2041 POW2_OPTIMIZE_ADJUST(newarena);
2042 newarena = newarena + M_OVERHEAD;
2043 /* newarena = (newarena + 3) &~ 3; */
2044 shiftr = (newarena - 1) >> LOG_OF_MIN_ARENA;
2045 pow = LOG_OF_MIN_ARENA + 1;
2046 /* apart from this loop, this is O(1) */
2047 while (shiftr >>= 1)
2048 pow++;
2049 newarena = (1 << pow) + POW2_OPTIMIZE_SURPLUS(pow * BUCKETS_PER_POW2);
2050 require = newarena - onb - M_OVERHEAD;
2051
4ad56ec9
IZ
2052 MALLOC_LOCK;
2053 if (cp - M_OVERHEAD == last_op /* We *still* are the last chunk */
2054 && getpages_adjacent(require)) {
e8bc2b5c 2055#ifdef DEBUGGING_MSTATS
fa423c5b
IZ
2056 nmalloc[bucket]--;
2057 nmalloc[pow * BUCKETS_PER_POW2]++;
e8bc2b5c 2058#endif
532939df 2059 if (pow * BUCKETS_PER_POW2 > (MEM_SIZE)max_bucket)
a73918ec 2060 max_bucket = pow * BUCKETS_PER_POW2;
4d6cd4d8 2061 *(cp - M_OVERHEAD) = pow * BUCKETS_PER_POW2; /* Fill index. */
4ad56ec9 2062 MALLOC_UNLOCK;
fa423c5b 2063 goto inplace_label;
4ad56ec9
IZ
2064 } else {
2065 MALLOC_UNLOCK;
fa423c5b 2066 goto hard_way;
4ad56ec9 2067 }
e8bc2b5c
GS
2068 } else {
2069 hard_way:
42ac124e 2070 DEBUG_m(PerlIO_printf(Perl_debug_log,
b900a521
JH
2071 "0x%"UVxf": (%05lu) realloc %ld bytes the hard way\n",
2072 PTR2UV(cp),(unsigned long)(PL_an++),
42ac124e 2073 (long)size));
86058a2d 2074 if ((res = (char*)Perl_malloc(nbytes)) == NULL)
e8bc2b5c
GS
2075 return (NULL);
2076 if (cp != res) /* common optimization */
2077 Copy(cp, res, (MEM_SIZE)(nbytes<onb?nbytes:onb), char);
4ad56ec9 2078 Perl_mfree(cp);
45d8adaa 2079 }
2304df62 2080 return ((Malloc_t)res);
8d063cd8
LW
2081}
2082
cf5c4ad8 2083Malloc_t
5aaab254 2084Perl_calloc(size_t elements, size_t size)
cf5c4ad8 2085{
2086 long sz = elements * size;
86058a2d 2087 Malloc_t p = Perl_malloc(sz);
cf5c4ad8 2088
2089 if (p) {
2090 memset((void*)p, 0, sz);
2091 }
2092 return p;
2093}
2094
4ad56ec9
IZ
2095char *
2096Perl_strdup(const char *s)
2097{
2098 MEM_SIZE l = strlen(s);
b48f1ba5 2099 char *s1 = (char *)Perl_malloc(l+1);
4ad56ec9 2100
667e2948 2101 return (char *)CopyD(s, s1, (MEM_SIZE)(l+1), char);
4ad56ec9
IZ
2102}
2103
4ad56ec9
IZ
2104int
2105Perl_putenv(char *a)
2106{
2107 /* Sometimes system's putenv conflicts with my_setenv() - this is system
2108 malloc vs Perl's free(). */
2109 dTHX;
2110 char *var;
2111 char *val = a;
2112 MEM_SIZE l;
2113 char buf[80];
2114
2115 while (*val && *val != '=')
2116 val++;
2117 if (!*val)
2118 return -1;
2119 l = val - a;
2120 if (l < sizeof(buf))
2121 var = buf;
2122 else
667e2948 2123 var = (char *)Perl_malloc(l + 1);
4ad56ec9 2124 Copy(a, var, l, char);
b48f1ba5
GS
2125 var[l + 1] = 0;
2126 my_setenv(var, val+1);
4ad56ec9
IZ
2127 if (var != buf)
2128 Perl_mfree(var);
2129 return 0;
2130}
4ad56ec9 2131
e8bc2b5c 2132MEM_SIZE
cea2e8a9 2133Perl_malloced_size(void *p)
e8bc2b5c 2134{
44f8325f 2135 union overhead * const ovp = (union overhead *)
8d6dde3e 2136 ((caddr_t)p - sizeof (union overhead) * CHUNK_SHIFT);
b464bac0 2137 const int bucket = OV_INDEX(ovp);
7918f24d
NC
2138
2139 PERL_ARGS_ASSERT_MALLOCED_SIZE;
2140
8d6dde3e
IZ
2141#ifdef RCHECK
2142 /* The caller wants to have a complete control over the chunk,
2143 disable the memory checking inside the chunk. */
2144 if (bucket <= MAX_SHORT_BUCKET) {
b464bac0 2145 const MEM_SIZE size = BUCKET_SIZE_REAL(bucket);
8d6dde3e 2146 ovp->ov_size = size + M_OVERHEAD - 1;
d0bbed78 2147 *((u_int *)((caddr_t)ovp + size + M_OVERHEAD - RMAGIC_SZ)) = RMAGIC;
8d6dde3e
IZ
2148 }
2149#endif
e8bc2b5c
GS
2150 return BUCKET_SIZE_REAL(bucket);
2151}
2152
64107180
NC
2153
2154MEM_SIZE
2155Perl_malloc_good_size(size_t wanted)
2156{
03f05cb4 2157 return BUCKET_SIZE_REAL(adjust_size_and_find_bucket(&wanted));
64107180
NC
2158}
2159
e8bc2b5c
GS
2160# ifdef BUCKETS_ROOT2
2161# define MIN_EVEN_REPORT 6
2162# else
2163# define MIN_EVEN_REPORT MIN_BUCKET
2164# endif
827e134a
GS
2165
2166int
2167Perl_get_mstats(pTHX_ perl_mstats_t *buf, int buflen, int level)
8d063cd8 2168{
df31f264 2169#ifdef DEBUGGING_MSTATS
eb578fdb
KW
2170 int i, j;
2171 union overhead *p;
4ad56ec9 2172 struct chunk_chain_s* nextchain;
8d063cd8 2173
7918f24d
NC
2174 PERL_ARGS_ASSERT_GET_MSTATS;
2175
827e134a
GS
2176 buf->topbucket = buf->topbucket_ev = buf->topbucket_odd
2177 = buf->totfree = buf->total = buf->total_chain = 0;
2178
2179 buf->minbucket = MIN_BUCKET;
4ad56ec9 2180 MALLOC_LOCK;
e8bc2b5c 2181 for (i = MIN_BUCKET ; i < NBUCKETS; i++) {
8d063cd8
LW
2182 for (j = 0, p = nextf[i]; p; p = p->ov_next, j++)
2183 ;
827e134a
GS
2184 if (i < buflen) {
2185 buf->nfree[i] = j;
2186 buf->ntotal[i] = nmalloc[i];
2187 }
2188 buf->totfree += j * BUCKET_SIZE_REAL(i);
2189 buf->total += nmalloc[i] * BUCKET_SIZE_REAL(i);
e8bc2b5c 2190 if (nmalloc[i]) {
827e134a
GS
2191 i % 2 ? (buf->topbucket_odd = i) : (buf->topbucket_ev = i);
2192 buf->topbucket = i;
e8bc2b5c 2193 }
c07a80fd 2194 }
4ad56ec9
IZ
2195 nextchain = chunk_chain;
2196 while (nextchain) {
827e134a 2197 buf->total_chain += nextchain->size;
4ad56ec9
IZ
2198 nextchain = nextchain->next;
2199 }
827e134a
GS
2200 buf->total_sbrk = goodsbrk + sbrk_slack;
2201 buf->sbrks = sbrks;
22f7c9c9 2202 buf->sbrk_good = sbrk_goodness;
827e134a
GS
2203 buf->sbrk_slack = sbrk_slack;
2204 buf->start_slack = start_slack;
2205 buf->sbrked_remains = sbrked_remains;
4ad56ec9 2206 MALLOC_UNLOCK;
880b20b6 2207 buf->nbuckets = NBUCKETS;
827e134a
GS
2208 if (level) {
2209 for (i = MIN_BUCKET ; i < NBUCKETS; i++) {
2210 if (i >= buflen)
2211 break;
d0bbed78 2212 buf->bucket_mem_size[i] = BUCKET_SIZE_NO_SURPLUS(i);
827e134a
GS
2213 buf->bucket_available_size[i] = BUCKET_SIZE_REAL(i);
2214 }
2215 }
3128eefe
SR
2216#else /* defined DEBUGGING_MSTATS */
2217 PerlIO_printf(Perl_error_log, "perl not compiled with DEBUGGING_MSTATS\n");
827e134a 2218#endif /* defined DEBUGGING_MSTATS */
fe52b3b7 2219 return 0; /* XXX unused */
827e134a
GS
2220}
2221/*
2222 * mstats - print out statistics about malloc
2223 *
2224 * Prints two lines of numbers, one showing the length of the free list
2225 * for each size category, the second showing the number of mallocs -
2226 * frees for each size category.
2227 */
2228void
6e9b0e18 2229Perl_dump_mstats(pTHX_ const char *s)
827e134a
GS
2230{
2231#ifdef DEBUGGING_MSTATS
eb578fdb 2232 int i;
827e134a 2233 perl_mstats_t buffer;
880b20b6
IZ
2234 UV nf[NBUCKETS];
2235 UV nt[NBUCKETS];
827e134a 2236
7918f24d
NC
2237 PERL_ARGS_ASSERT_DUMP_MSTATS;
2238
827e134a
GS
2239 buffer.nfree = nf;
2240 buffer.ntotal = nt;
2241 get_mstats(&buffer, NBUCKETS, 0);
2242
c07a80fd 2243 if (s)
bf49b057 2244 PerlIO_printf(Perl_error_log,
880b20b6 2245 "Memory allocation statistics %s (buckets %"IVdf"(%"IVdf")..%"IVdf"(%"IVdf")\n",
e8bc2b5c 2246 s,
880b20b6 2247 (IV)BUCKET_SIZE_REAL(MIN_BUCKET),
d0bbed78 2248 (IV)BUCKET_SIZE_NO_SURPLUS(MIN_BUCKET),
880b20b6 2249 (IV)BUCKET_SIZE_REAL(buffer.topbucket),
d0bbed78 2250 (IV)BUCKET_SIZE_NO_SURPLUS(buffer.topbucket));
880b20b6 2251 PerlIO_printf(Perl_error_log, "%8"IVdf" free:", buffer.totfree);
827e134a 2252 for (i = MIN_EVEN_REPORT; i <= buffer.topbucket; i += BUCKETS_PER_POW2) {
bf49b057 2253 PerlIO_printf(Perl_error_log,
e8bc2b5c 2254 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
880b20b6
IZ
2255 ? " %5"UVuf
2256 : ((i < 12*BUCKETS_PER_POW2) ? " %3"UVuf : " %"UVuf)),
827e134a 2257 buffer.nfree[i]);
e8bc2b5c
GS
2258 }
2259#ifdef BUCKETS_ROOT2
bf49b057 2260 PerlIO_printf(Perl_error_log, "\n\t ");
827e134a 2261 for (i = MIN_BUCKET + 1; i <= buffer.topbucket_odd; i += BUCKETS_PER_POW2) {
bf49b057 2262 PerlIO_printf(Perl_error_log,
e8bc2b5c 2263 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
880b20b6
IZ
2264 ? " %5"UVuf
2265 : ((i < 12*BUCKETS_PER_POW2) ? " %3"UVuf : " %"UVuf)),
827e134a 2266 buffer.nfree[i]);
8d063cd8 2267 }
e8bc2b5c 2268#endif
880b20b6 2269 PerlIO_printf(Perl_error_log, "\n%8"IVdf" used:", buffer.total - buffer.totfree);
827e134a 2270 for (i = MIN_EVEN_REPORT; i <= buffer.topbucket; i += BUCKETS_PER_POW2) {
bf49b057 2271 PerlIO_printf(Perl_error_log,
e8bc2b5c 2272 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
880b20b6
IZ
2273 ? " %5"IVdf
2274 : ((i < 12*BUCKETS_PER_POW2) ? " %3"IVdf : " %"IVdf)),
827e134a 2275 buffer.ntotal[i] - buffer.nfree[i]);
c07a80fd 2276 }
e8bc2b5c 2277#ifdef BUCKETS_ROOT2
bf49b057 2278 PerlIO_printf(Perl_error_log, "\n\t ");
827e134a 2279 for (i = MIN_BUCKET + 1; i <= buffer.topbucket_odd; i += BUCKETS_PER_POW2) {
bf49b057 2280 PerlIO_printf(Perl_error_log,
e8bc2b5c 2281 ((i < 8*BUCKETS_PER_POW2 || i == 10*BUCKETS_PER_POW2)
880b20b6
IZ
2282 ? " %5"IVdf
2283 : ((i < 12*BUCKETS_PER_POW2) ? " %3"IVdf : " %"IVdf)),
827e134a 2284 buffer.ntotal[i] - buffer.nfree[i]);
e8bc2b5c
GS
2285 }
2286#endif
880b20b6 2287 PerlIO_printf(Perl_error_log, "\nTotal sbrk(): %"IVdf"/%"IVdf":%"IVdf". Odd ends: pad+heads+chain+tail: %"IVdf"+%"IVdf"+%"IVdf"+%"IVdf".\n",
827e134a
GS
2288 buffer.total_sbrk, buffer.sbrks, buffer.sbrk_good,
2289 buffer.sbrk_slack, buffer.start_slack,
2290 buffer.total_chain, buffer.sbrked_remains);
3128eefe
SR
2291#else /* DEBUGGING_MSTATS */
2292 PerlIO_printf(Perl_error_log, "%s: perl not compiled with DEBUGGING_MSTATS\n",s);
df31f264 2293#endif /* DEBUGGING_MSTATS */
c07a80fd 2294}
cf5c4ad8 2295
cf5c4ad8 2296#ifdef USE_PERL_SBRK
2297
f05550c0 2298# if defined(PURIFY)
38ac2dc8 2299# define PERL_SBRK_VIA_MALLOC
38ac2dc8
DD
2300# endif
2301
760ac839 2302# ifdef PERL_SBRK_VIA_MALLOC
cf5c4ad8 2303
2304/* it may seem schizophrenic to use perl's malloc and let it call system */
2305/* malloc, the reason for that is only the 3.2 version of the OS that had */
2306/* frequent core dumps within nxzonefreenolock. This sbrk routine put an */
2307/* end to the cores */
2308
38ac2dc8
DD
2309# ifndef SYSTEM_ALLOC
2310# define SYSTEM_ALLOC(a) malloc(a)
2311# endif
5bbd1ef5
IZ
2312# ifndef SYSTEM_ALLOC_ALIGNMENT
2313# define SYSTEM_ALLOC_ALIGNMENT MEM_ALIGNBYTES
2314# endif
cf5c4ad8 2315
760ac839 2316# endif /* PERL_SBRK_VIA_MALLOC */
cf5c4ad8 2317
2318static IV Perl_sbrk_oldchunk;
2319static long Perl_sbrk_oldsize;
2320
760ac839
LW
2321# define PERLSBRK_32_K (1<<15)
2322# define PERLSBRK_64_K (1<<16)
cf5c4ad8 2323
b63effbb 2324Malloc_t
df0003d4 2325Perl_sbrk(int size)
cf5c4ad8 2326{
2327 IV got;
2328 int small, reqsize;
2329
2330 if (!size) return 0;
cf5c4ad8 2331 reqsize = size; /* just for the DEBUG_m statement */
57569e04
HM
2332#ifdef PACK_MALLOC
2333 size = (size + 0x7ff) & ~0x7ff;
2334#endif
cf5c4ad8 2335 if (size <= Perl_sbrk_oldsize) {
2336 got = Perl_sbrk_oldchunk;
2337 Perl_sbrk_oldchunk += size;
2338 Perl_sbrk_oldsize -= size;
2339 } else {
2340 if (size >= PERLSBRK_32_K) {
2341 small = 0;
2342 } else {
cf5c4ad8 2343 size = PERLSBRK_64_K;
2344 small = 1;
2345 }
5bbd1ef5
IZ
2346# if NEEDED_ALIGNMENT > SYSTEM_ALLOC_ALIGNMENT
2347 size += NEEDED_ALIGNMENT - SYSTEM_ALLOC_ALIGNMENT;
2348# endif
cf5c4ad8 2349 got = (IV)SYSTEM_ALLOC(size);
5bbd1ef5 2350# if NEEDED_ALIGNMENT > SYSTEM_ALLOC_ALIGNMENT
5a7d6335 2351 got = (got + NEEDED_ALIGNMENT - 1) & ~(NEEDED_ALIGNMENT - 1);
5bbd1ef5 2352# endif
cf5c4ad8 2353 if (small) {
2354 /* Chunk is small, register the rest for future allocs. */
2355 Perl_sbrk_oldchunk = got + reqsize;
2356 Perl_sbrk_oldsize = size - reqsize;
2357 }
2358 }
2359
b900a521
JH
2360 DEBUG_m(PerlIO_printf(Perl_debug_log, "sbrk malloc size %ld (reqsize %ld), left size %ld, give addr 0x%"UVxf"\n",
2361 size, reqsize, Perl_sbrk_oldsize, PTR2UV(got)));
cf5c4ad8 2362
2363 return (void *)got;
2364}
2365
2366#endif /* ! defined USE_PERL_SBRK */
66610fdd
RGS
2367
2368/*
14d04a33 2369 * ex: set ts=8 sts=4 sw=4 et:
37442d52 2370 */