xref: /aosp_15_r20/external/lua/src/lmem.c (revision 088332b5b69e7ab13924864b272aabfc2509d2d5)
1*088332b5SXin Li /*
2*088332b5SXin Li ** $Id: lmem.c $
3*088332b5SXin Li ** Interface to Memory Manager
4*088332b5SXin Li ** See Copyright Notice in lua.h
5*088332b5SXin Li */
6*088332b5SXin Li 
7*088332b5SXin Li #define lmem_c
8*088332b5SXin Li #define LUA_CORE
9*088332b5SXin Li 
10*088332b5SXin Li #include "lprefix.h"
11*088332b5SXin Li 
12*088332b5SXin Li 
13*088332b5SXin Li #include <stddef.h>
14*088332b5SXin Li 
15*088332b5SXin Li #include "lua.h"
16*088332b5SXin Li 
17*088332b5SXin Li #include "ldebug.h"
18*088332b5SXin Li #include "ldo.h"
19*088332b5SXin Li #include "lgc.h"
20*088332b5SXin Li #include "lmem.h"
21*088332b5SXin Li #include "lobject.h"
22*088332b5SXin Li #include "lstate.h"
23*088332b5SXin Li 
24*088332b5SXin Li 
25*088332b5SXin Li #if defined(EMERGENCYGCTESTS)
26*088332b5SXin Li /*
27*088332b5SXin Li ** First allocation will fail whenever not building initial state
28*088332b5SXin Li ** and not shrinking a block. (This fail will trigger 'tryagain' and
29*088332b5SXin Li ** a full GC cycle at every allocation.)
30*088332b5SXin Li */
firsttry(global_State * g,void * block,size_t os,size_t ns)31*088332b5SXin Li static void *firsttry (global_State *g, void *block, size_t os, size_t ns) {
32*088332b5SXin Li   if (ttisnil(&g->nilvalue) && ns > os)
33*088332b5SXin Li     return NULL;  /* fail */
34*088332b5SXin Li   else  /* normal allocation */
35*088332b5SXin Li     return (*g->frealloc)(g->ud, block, os, ns);
36*088332b5SXin Li }
37*088332b5SXin Li #else
38*088332b5SXin Li #define firsttry(g,block,os,ns)    ((*g->frealloc)(g->ud, block, os, ns))
39*088332b5SXin Li #endif
40*088332b5SXin Li 
41*088332b5SXin Li 
42*088332b5SXin Li 
43*088332b5SXin Li 
44*088332b5SXin Li 
45*088332b5SXin Li /*
46*088332b5SXin Li ** About the realloc function:
47*088332b5SXin Li ** void *frealloc (void *ud, void *ptr, size_t osize, size_t nsize);
48*088332b5SXin Li ** ('osize' is the old size, 'nsize' is the new size)
49*088332b5SXin Li **
50*088332b5SXin Li ** - frealloc(ud, p, x, 0) frees the block 'p' and returns NULL.
51*088332b5SXin Li ** Particularly, frealloc(ud, NULL, 0, 0) does nothing,
52*088332b5SXin Li ** which is equivalent to free(NULL) in ISO C.
53*088332b5SXin Li **
54*088332b5SXin Li ** - frealloc(ud, NULL, x, s) creates a new block of size 's'
55*088332b5SXin Li ** (no matter 'x'). Returns NULL if it cannot create the new block.
56*088332b5SXin Li **
57*088332b5SXin Li ** - otherwise, frealloc(ud, b, x, y) reallocates the block 'b' from
58*088332b5SXin Li ** size 'x' to size 'y'. Returns NULL if it cannot reallocate the
59*088332b5SXin Li ** block to the new size.
60*088332b5SXin Li */
61*088332b5SXin Li 
62*088332b5SXin Li 
63*088332b5SXin Li 
64*088332b5SXin Li 
65*088332b5SXin Li /*
66*088332b5SXin Li ** {==================================================================
67*088332b5SXin Li ** Functions to allocate/deallocate arrays for the Parser
68*088332b5SXin Li ** ===================================================================
69*088332b5SXin Li */
70*088332b5SXin Li 
71*088332b5SXin Li /*
72*088332b5SXin Li ** Minimum size for arrays during parsing, to avoid overhead of
73*088332b5SXin Li ** reallocating to size 1, then 2, and then 4. All these arrays
74*088332b5SXin Li ** will be reallocated to exact sizes or erased when parsing ends.
75*088332b5SXin Li */
76*088332b5SXin Li #define MINSIZEARRAY	4
77*088332b5SXin Li 
78*088332b5SXin Li 
luaM_growaux_(lua_State * L,void * block,int nelems,int * psize,int size_elems,int limit,const char * what)79*088332b5SXin Li void *luaM_growaux_ (lua_State *L, void *block, int nelems, int *psize,
80*088332b5SXin Li                      int size_elems, int limit, const char *what) {
81*088332b5SXin Li   void *newblock;
82*088332b5SXin Li   int size = *psize;
83*088332b5SXin Li   if (nelems + 1 <= size)  /* does one extra element still fit? */
84*088332b5SXin Li     return block;  /* nothing to be done */
85*088332b5SXin Li   if (size >= limit / 2) {  /* cannot double it? */
86*088332b5SXin Li     if (unlikely(size >= limit))  /* cannot grow even a little? */
87*088332b5SXin Li       luaG_runerror(L, "too many %s (limit is %d)", what, limit);
88*088332b5SXin Li     size = limit;  /* still have at least one free place */
89*088332b5SXin Li   }
90*088332b5SXin Li   else {
91*088332b5SXin Li     size *= 2;
92*088332b5SXin Li     if (size < MINSIZEARRAY)
93*088332b5SXin Li       size = MINSIZEARRAY;  /* minimum size */
94*088332b5SXin Li   }
95*088332b5SXin Li   lua_assert(nelems + 1 <= size && size <= limit);
96*088332b5SXin Li   /* 'limit' ensures that multiplication will not overflow */
97*088332b5SXin Li   newblock = luaM_saferealloc_(L, block, cast_sizet(*psize) * size_elems,
98*088332b5SXin Li                                          cast_sizet(size) * size_elems);
99*088332b5SXin Li   *psize = size;  /* update only when everything else is OK */
100*088332b5SXin Li   return newblock;
101*088332b5SXin Li }
102*088332b5SXin Li 
103*088332b5SXin Li 
104*088332b5SXin Li /*
105*088332b5SXin Li ** In prototypes, the size of the array is also its number of
106*088332b5SXin Li ** elements (to save memory). So, if it cannot shrink an array
107*088332b5SXin Li ** to its number of elements, the only option is to raise an
108*088332b5SXin Li ** error.
109*088332b5SXin Li */
luaM_shrinkvector_(lua_State * L,void * block,int * size,int final_n,int size_elem)110*088332b5SXin Li void *luaM_shrinkvector_ (lua_State *L, void *block, int *size,
111*088332b5SXin Li                           int final_n, int size_elem) {
112*088332b5SXin Li   void *newblock;
113*088332b5SXin Li   size_t oldsize = cast_sizet((*size) * size_elem);
114*088332b5SXin Li   size_t newsize = cast_sizet(final_n * size_elem);
115*088332b5SXin Li   lua_assert(newsize <= oldsize);
116*088332b5SXin Li   newblock = luaM_saferealloc_(L, block, oldsize, newsize);
117*088332b5SXin Li   *size = final_n;
118*088332b5SXin Li   return newblock;
119*088332b5SXin Li }
120*088332b5SXin Li 
121*088332b5SXin Li /* }================================================================== */
122*088332b5SXin Li 
123*088332b5SXin Li 
luaM_toobig(lua_State * L)124*088332b5SXin Li l_noret luaM_toobig (lua_State *L) {
125*088332b5SXin Li   luaG_runerror(L, "memory allocation error: block too big");
126*088332b5SXin Li }
127*088332b5SXin Li 
128*088332b5SXin Li 
129*088332b5SXin Li /*
130*088332b5SXin Li ** Free memory
131*088332b5SXin Li */
luaM_free_(lua_State * L,void * block,size_t osize)132*088332b5SXin Li void luaM_free_ (lua_State *L, void *block, size_t osize) {
133*088332b5SXin Li   global_State *g = G(L);
134*088332b5SXin Li   lua_assert((osize == 0) == (block == NULL));
135*088332b5SXin Li   (*g->frealloc)(g->ud, block, osize, 0);
136*088332b5SXin Li   g->GCdebt -= osize;
137*088332b5SXin Li }
138*088332b5SXin Li 
139*088332b5SXin Li 
140*088332b5SXin Li /*
141*088332b5SXin Li ** In case of allocation fail, this function will call the GC to try
142*088332b5SXin Li ** to free some memory and then try the allocation again.
143*088332b5SXin Li ** (It should not be called when shrinking a block, because then the
144*088332b5SXin Li ** interpreter may be in the middle of a collection step.)
145*088332b5SXin Li */
tryagain(lua_State * L,void * block,size_t osize,size_t nsize)146*088332b5SXin Li static void *tryagain (lua_State *L, void *block,
147*088332b5SXin Li                        size_t osize, size_t nsize) {
148*088332b5SXin Li   global_State *g = G(L);
149*088332b5SXin Li   if (ttisnil(&g->nilvalue)) {  /* is state fully build? */
150*088332b5SXin Li     luaC_fullgc(L, 1);  /* try to free some memory... */
151*088332b5SXin Li     return (*g->frealloc)(g->ud, block, osize, nsize);  /* try again */
152*088332b5SXin Li   }
153*088332b5SXin Li   else return NULL;  /* cannot free any memory without a full state */
154*088332b5SXin Li }
155*088332b5SXin Li 
156*088332b5SXin Li 
157*088332b5SXin Li /*
158*088332b5SXin Li ** Generic allocation routine.
159*088332b5SXin Li ** If allocation fails while shrinking a block, do not try again; the
160*088332b5SXin Li ** GC shrinks some blocks and it is not reentrant.
161*088332b5SXin Li */
luaM_realloc_(lua_State * L,void * block,size_t osize,size_t nsize)162*088332b5SXin Li void *luaM_realloc_ (lua_State *L, void *block, size_t osize, size_t nsize) {
163*088332b5SXin Li   void *newblock;
164*088332b5SXin Li   global_State *g = G(L);
165*088332b5SXin Li   lua_assert((osize == 0) == (block == NULL));
166*088332b5SXin Li   newblock = firsttry(g, block, osize, nsize);
167*088332b5SXin Li   if (unlikely(newblock == NULL && nsize > 0)) {
168*088332b5SXin Li     if (nsize > osize)  /* not shrinking a block? */
169*088332b5SXin Li       newblock = tryagain(L, block, osize, nsize);
170*088332b5SXin Li     if (newblock == NULL)  /* still no memory? */
171*088332b5SXin Li       return NULL;  /* do not update 'GCdebt' */
172*088332b5SXin Li   }
173*088332b5SXin Li   lua_assert((nsize == 0) == (newblock == NULL));
174*088332b5SXin Li   g->GCdebt = (g->GCdebt + nsize) - osize;
175*088332b5SXin Li   return newblock;
176*088332b5SXin Li }
177*088332b5SXin Li 
178*088332b5SXin Li 
luaM_saferealloc_(lua_State * L,void * block,size_t osize,size_t nsize)179*088332b5SXin Li void *luaM_saferealloc_ (lua_State *L, void *block, size_t osize,
180*088332b5SXin Li                                                     size_t nsize) {
181*088332b5SXin Li   void *newblock = luaM_realloc_(L, block, osize, nsize);
182*088332b5SXin Li   if (unlikely(newblock == NULL && nsize > 0))  /* allocation failed? */
183*088332b5SXin Li     luaM_error(L);
184*088332b5SXin Li   return newblock;
185*088332b5SXin Li }
186*088332b5SXin Li 
187*088332b5SXin Li 
luaM_malloc_(lua_State * L,size_t size,int tag)188*088332b5SXin Li void *luaM_malloc_ (lua_State *L, size_t size, int tag) {
189*088332b5SXin Li   if (size == 0)
190*088332b5SXin Li     return NULL;  /* that's all */
191*088332b5SXin Li   else {
192*088332b5SXin Li     global_State *g = G(L);
193*088332b5SXin Li     void *newblock = firsttry(g, NULL, tag, size);
194*088332b5SXin Li     if (unlikely(newblock == NULL)) {
195*088332b5SXin Li       newblock = tryagain(L, NULL, tag, size);
196*088332b5SXin Li       if (newblock == NULL)
197*088332b5SXin Li         luaM_error(L);
198*088332b5SXin Li     }
199*088332b5SXin Li     g->GCdebt += size;
200*088332b5SXin Li     return newblock;
201*088332b5SXin Li   }
202*088332b5SXin Li }
203