Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Roblox
GitHub Repository: Roblox/luau
Path: blob/master/VM/src/lstate.cpp
2725 views
1
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
2
// This code is based on Lua 5.x implementation licensed under MIT License; see lua_LICENSE.txt for details
3
#include "lstate.h"
4
5
#include "ltable.h"
6
#include "lstring.h"
7
#include "lfunc.h"
8
#include "lmem.h"
9
#include "lgc.h"
10
#include "ldo.h"
11
#include "ldebug.h"
12
13
#include <string.h>
14
15
/*
16
** Main thread combines a thread state and the global state
17
*/
18
typedef struct LG
19
{
20
lua_State l;
21
global_State g;
22
} LG;
23
24
static void stack_init(lua_State* L1, lua_State* L)
25
{
26
// initialize CallInfo array
27
L1->base_ci = luaM_newarray(L, BASIC_CI_SIZE, CallInfo, L1->memcat);
28
L1->ci = L1->base_ci;
29
L1->size_ci = BASIC_CI_SIZE;
30
L1->end_ci = L1->base_ci + L1->size_ci - 1;
31
// initialize stack array
32
L1->stack = luaM_newarray(L, BASIC_STACK_SIZE + EXTRA_STACK, TValue, L1->memcat);
33
L1->stacksize = BASIC_STACK_SIZE + EXTRA_STACK;
34
TValue* stack = L1->stack;
35
for (int i = 0; i < BASIC_STACK_SIZE + EXTRA_STACK; i++)
36
setnilvalue(stack + i); // erase new stack
37
L1->top = stack;
38
L1->stack_last = stack + (L1->stacksize - EXTRA_STACK);
39
// initialize first ci
40
L1->ci->func = L1->top;
41
setnilvalue(L1->top++); // `function' entry for this `ci'
42
L1->base = L1->ci->base = L1->top;
43
L1->ci->top = L1->top + LUA_MINSTACK;
44
}
45
46
static void freestack(lua_State* L, lua_State* L1)
47
{
48
luaM_freearray(L, L1->base_ci, L1->size_ci, CallInfo, L1->memcat);
49
luaM_freearray(L, L1->stack, L1->stacksize, TValue, L1->memcat);
50
}
51
52
/*
53
** open parts that may cause memory-allocation errors
54
*/
55
static void f_luaopen(lua_State* L, void* ud)
56
{
57
global_State* g = L->global;
58
stack_init(L, L); // init stack
59
L->gt = luaH_new(L, 0, 2); // table of globals
60
sethvalue(L, registry(L), luaH_new(L, 0, 2)); // registry
61
luaS_resize(L, LUA_MINSTRTABSIZE); // initial size of string table
62
luaT_init(L);
63
luaS_fix(luaS_newliteral(L, LUA_MEMERRMSG)); // pin to make sure we can always throw this error
64
luaS_fix(luaS_newliteral(L, LUA_ERRERRMSG)); // pin to make sure we can always throw this error
65
g->GCthreshold = 4 * g->totalbytes;
66
}
67
68
static void preinit_state(lua_State* L, global_State* g)
69
{
70
L->global = g;
71
L->stack = NULL;
72
L->stacksize = 0;
73
L->gt = NULL;
74
L->openupval = NULL;
75
L->size_ci = 0;
76
L->nCcalls = L->baseCcalls = 0;
77
L->status = 0;
78
L->base_ci = L->ci = NULL;
79
L->namecall = NULL;
80
L->cachedslot = 0;
81
L->singlestep = false;
82
L->isactive = false;
83
L->activememcat = 0;
84
L->userdata = NULL;
85
}
86
87
static void close_state(lua_State* L)
88
{
89
global_State* g = L->global;
90
luaF_close(L, L->stack); // close all upvalues for this thread
91
luaC_freeall(L); // collect all objects
92
LUAU_ASSERT(g->strt.nuse == 0);
93
luaM_freearray(L, L->global->strt.hash, L->global->strt.size, TString*, 0);
94
freestack(L, L);
95
for (int i = 0; i < LUA_SIZECLASSES; i++)
96
{
97
LUAU_ASSERT(g->freepages[i] == NULL);
98
LUAU_ASSERT(g->freegcopages[i] == NULL);
99
}
100
LUAU_ASSERT(g->allgcopages == NULL);
101
LUAU_ASSERT(g->totalbytes == sizeof(LG));
102
LUAU_ASSERT(g->memcatbytes[0] == sizeof(LG));
103
for (int i = 1; i < LUA_MEMORY_CATEGORIES; i++)
104
LUAU_ASSERT(g->memcatbytes[i] == 0);
105
106
if (L->global->ecb.close)
107
L->global->ecb.close(L);
108
109
(*g->frealloc)(g->ud, L, sizeof(LG), 0);
110
}
111
112
lua_State* luaE_newthread(lua_State* L)
113
{
114
lua_State* L1 = luaM_newgco(L, lua_State, sizeof(lua_State), L->activememcat);
115
luaC_init(L, L1, LUA_TTHREAD);
116
preinit_state(L1, L->global);
117
L1->activememcat = L->activememcat; // inherit the active memory category
118
stack_init(L1, L); // init stack
119
L1->gt = L->gt; // share table of globals
120
L1->singlestep = L->singlestep;
121
LUAU_ASSERT(iswhite(obj2gco(L1)));
122
return L1;
123
}
124
125
void luaE_freethread(lua_State* L, lua_State* L1, lua_Page* page)
126
{
127
global_State* g = L->global;
128
if (g->cb.userthread)
129
g->cb.userthread(NULL, L1);
130
freestack(L, L1);
131
luaM_freegco(L, L1, sizeof(lua_State), L1->memcat, page);
132
}
133
134
void lua_resetthread(lua_State* L)
135
{
136
// close upvalues before clearing anything
137
luaF_close(L, L->stack);
138
// clear call frames
139
CallInfo* ci = L->base_ci;
140
ci->func = L->stack;
141
ci->base = ci->func + 1;
142
ci->top = ci->base + LUA_MINSTACK;
143
setnilvalue(ci->func);
144
L->ci = ci;
145
if (L->size_ci != BASIC_CI_SIZE)
146
luaD_reallocCI(L, BASIC_CI_SIZE);
147
// clear thread state
148
L->status = LUA_OK;
149
L->base = L->ci->base;
150
L->top = L->ci->base;
151
L->nCcalls = L->baseCcalls = 0;
152
// clear thread stack
153
if (L->stacksize != BASIC_STACK_SIZE + EXTRA_STACK)
154
luaD_reallocstack(L, BASIC_STACK_SIZE, 0);
155
for (int i = 0; i < L->stacksize; i++)
156
setnilvalue(L->stack + i);
157
}
158
159
int lua_isthreadreset(lua_State* L)
160
{
161
return L->ci == L->base_ci && L->base == L->top && L->status == LUA_OK;
162
}
163
164
lua_State* lua_newstate(lua_Alloc f, void* ud)
165
{
166
int i;
167
lua_State* L;
168
global_State* g;
169
void* l = (*f)(ud, NULL, 0, sizeof(LG));
170
if (l == NULL)
171
return NULL;
172
L = (lua_State*)l;
173
g = &((LG*)L)->g;
174
L->tt = LUA_TTHREAD;
175
L->marked = g->currentwhite = bit2mask(WHITE0BIT, FIXEDBIT);
176
L->memcat = 0;
177
preinit_state(L, g);
178
g->frealloc = f;
179
g->ud = ud;
180
g->mainthread = L;
181
g->uvhead.u.open.prev = &g->uvhead;
182
g->uvhead.u.open.next = &g->uvhead;
183
g->GCthreshold = 0; // mark it as unfinished state
184
g->registryfree = 0;
185
g->errorjmp = NULL;
186
g->rngstate = 0;
187
g->ptrenckey[0] = 1;
188
g->ptrenckey[1] = 0;
189
g->ptrenckey[2] = 0;
190
g->ptrenckey[3] = 0;
191
g->strt.size = 0;
192
g->strt.nuse = 0;
193
g->strt.hash = NULL;
194
setnilvalue(&g->pseudotemp);
195
setnilvalue(registry(L));
196
g->gcstate = GCSpause;
197
g->gray = NULL;
198
g->grayagain = NULL;
199
g->weak = NULL;
200
g->totalbytes = sizeof(LG);
201
g->gcgoal = LUAI_GCGOAL;
202
g->gcstepmul = LUAI_GCSTEPMUL;
203
g->gcstepsize = LUAI_GCSTEPSIZE << 10;
204
for (i = 0; i < LUA_SIZECLASSES; i++)
205
{
206
g->freepages[i] = NULL;
207
g->freegcopages[i] = NULL;
208
}
209
g->allpages = NULL;
210
g->allgcopages = NULL;
211
g->sweepgcopage = NULL;
212
for (i = 0; i < LUA_T_COUNT; i++)
213
g->mt[i] = NULL;
214
for (i = 0; i < LUA_UTAG_LIMIT; i++)
215
{
216
g->udatagc[i] = NULL;
217
g->udatamt[i] = NULL;
218
}
219
for (i = 0; i < LUA_LUTAG_LIMIT; i++)
220
g->lightuserdataname[i] = NULL;
221
for (i = 0; i < LUA_MEMORY_CATEGORIES; i++)
222
g->memcatbytes[i] = 0;
223
224
g->memcatbytes[0] = sizeof(LG);
225
226
g->cb = lua_Callbacks();
227
228
g->ecb = lua_ExecutionCallbacks();
229
230
memset(g->ecbdata, 0, LUA_EXECUTION_CALLBACK_STORAGE * sizeof(g->ecbdata[0]));
231
232
g->gcstats = GCStats();
233
234
#ifdef LUAI_GCMETRICS
235
g->gcmetrics = GCMetrics();
236
#endif
237
238
if (luaD_rawrunprotected(L, f_luaopen, NULL) != 0)
239
{
240
// memory allocation error: free partial state
241
close_state(L);
242
L = NULL;
243
}
244
return L;
245
}
246
247
void lua_close(lua_State* L)
248
{
249
L = L->global->mainthread; // only the main thread can be closed
250
luaF_close(L, L->stack); // close all upvalues for this thread
251
close_state(L);
252
}
253
254