3 ** Interface to Memory Manager
4 ** See Copyright Notice in lua.h
27 ** About the realloc function:
28 ** void *frealloc (void *ud, void *ptr, size_t osize, size_t nsize);
29 ** ('osize' is the old size, 'nsize' is the new size)
31 ** - frealloc(ud, p, x, 0) frees the block 'p' and returns NULL.
32 ** Particularly, frealloc(ud, NULL, 0, 0) does nothing,
33 ** which is equivalent to free(NULL) in ISO C.
35 ** - frealloc(ud, NULL, x, s) creates a new block of size 's'
36 ** (no matter 'x'). Returns NULL if it cannot create the new block.
38 ** - otherwise, frealloc(ud, b, x, y) reallocates the block 'b' from
39 ** size 'x' to size 'y'. Returns NULL if it cannot reallocate the
40 ** block to the new size.
45 ** Macro to call the allocation function.
47 #define callfrealloc(g,block,os,ns) ((*g->frealloc)(g->ud, block, os, ns))
51 ** When an allocation fails, it will try again after an emergency
52 ** collection, except when it cannot run a collection. The GC should
53 ** not be called while the state is not fully built, as the collector
54 ** is not yet fully initialized. Also, it should not be called when
55 ** 'gcstopem' is true, because then the interpreter is in the middle of
58 #define cantryagain(g) (completestate(g) && !g->gcstopem)
63 #if defined(EMERGENCYGCTESTS)
65 ** First allocation will fail except when freeing a block (frees never
66 ** fail) and when it cannot try again; this fail will trigger 'tryagain'
67 ** and a full GC cycle at every allocation.
69 static void *firsttry (global_State
*g
, void *block
, size_t os
, size_t ns
) {
70 if (ns
> 0 && cantryagain(g
))
71 return NULL
; /* fail */
72 else /* normal allocation */
73 return callfrealloc(g
, block
, os
, ns
);
76 #define firsttry(g,block,os,ns) callfrealloc(g, block, os, ns)
84 ** {==================================================================
85 ** Functions to allocate/deallocate arrays for the Parser
86 ** ===================================================================
90 ** Minimum size for arrays during parsing, to avoid overhead of
91 ** reallocating to size 1, then 2, and then 4. All these arrays
92 ** will be reallocated to exact sizes or erased when parsing ends.
94 #define MINSIZEARRAY 4
97 void *luaM_growaux_ (lua_State
*L
, void *block
, int nelems
, int *psize
,
98 int size_elems
, int limit
, const char *what
) {
101 if (nelems
+ 1 <= size
) /* does one extra element still fit? */
102 return block
; /* nothing to be done */
103 if (size
>= limit
/ 2) { /* cannot double it? */
104 if (l_unlikely(size
>= limit
)) /* cannot grow even a little? */
105 luaG_runerror(L
, "too many %s (limit is %d)", what
, limit
);
106 size
= limit
; /* still have at least one free place */
110 if (size
< MINSIZEARRAY
)
111 size
= MINSIZEARRAY
; /* minimum size */
113 lua_assert(nelems
+ 1 <= size
&& size
<= limit
);
114 /* 'limit' ensures that multiplication will not overflow */
115 newblock
= luaM_saferealloc_(L
, block
, cast_sizet(*psize
) * size_elems
,
116 cast_sizet(size
) * size_elems
);
117 *psize
= size
; /* update only when everything else is OK */
123 ** In prototypes, the size of the array is also its number of
124 ** elements (to save memory). So, if it cannot shrink an array
125 ** to its number of elements, the only option is to raise an
128 void *luaM_shrinkvector_ (lua_State
*L
, void *block
, int *size
,
129 int final_n
, int size_elem
) {
131 size_t oldsize
= cast_sizet((*size
) * size_elem
);
132 size_t newsize
= cast_sizet(final_n
* size_elem
);
133 lua_assert(newsize
<= oldsize
);
134 newblock
= luaM_saferealloc_(L
, block
, oldsize
, newsize
);
139 /* }================================================================== */
142 l_noret
luaM_toobig (lua_State
*L
) {
143 luaG_runerror(L
, "memory allocation error: block too big");
150 void luaM_free_ (lua_State
*L
, void *block
, size_t osize
) {
151 global_State
*g
= G(L
);
152 lua_assert((osize
== 0) == (block
== NULL
));
153 callfrealloc(g
, block
, osize
, 0);
159 ** In case of allocation fail, this function will do an emergency
160 ** collection to free some memory and then try the allocation again.
162 static void *tryagain (lua_State
*L
, void *block
,
163 size_t osize
, size_t nsize
) {
164 global_State
*g
= G(L
);
165 if (cantryagain(g
)) {
166 luaC_fullgc(L
, 1); /* try to free some memory... */
167 return callfrealloc(g
, block
, osize
, nsize
); /* try again */
169 else return NULL
; /* cannot run an emergency collection */
174 ** Generic allocation routine.
176 void *luaM_realloc_ (lua_State
*L
, void *block
, size_t osize
, size_t nsize
) {
178 global_State
*g
= G(L
);
179 lua_assert((osize
== 0) == (block
== NULL
));
180 newblock
= firsttry(g
, block
, osize
, nsize
);
181 if (l_unlikely(newblock
== NULL
&& nsize
> 0)) {
182 newblock
= tryagain(L
, block
, osize
, nsize
);
183 if (newblock
== NULL
) /* still no memory? */
184 return NULL
; /* do not update 'GCdebt' */
186 lua_assert((nsize
== 0) == (newblock
== NULL
));
187 g
->GCdebt
= (g
->GCdebt
+ nsize
) - osize
;
192 void *luaM_saferealloc_ (lua_State
*L
, void *block
, size_t osize
,
194 void *newblock
= luaM_realloc_(L
, block
, osize
, nsize
);
195 if (l_unlikely(newblock
== NULL
&& nsize
> 0)) /* allocation failed? */
201 void *luaM_malloc_ (lua_State
*L
, size_t size
, int tag
) {
203 return NULL
; /* that's all */
205 global_State
*g
= G(L
);
206 void *newblock
= firsttry(g
, NULL
, tag
, size
);
207 if (l_unlikely(newblock
== NULL
)) {
208 newblock
= tryagain(L
, NULL
, tag
, size
);
209 if (newblock
== NULL
)