-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgc.h
111 lines (94 loc) · 4.49 KB
/
gc.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
// Garbage collector.
#pragma once
#include "object.h"
/*
** Possible states of the Garbage Collector
*/
#define GCSpause 0
#define GCSpropagate 1
#define GCSsweepstring 2
#define GCSsweep 3
#define GCSfinalize 4
/*
** some userful bit tricks
*/
#define resetbits(x, m) ((x) &= cast(uint8_t, ~(m)))
#define setbits(x, m) ((x) |= (m))
#define testbits(x, m) ((x) & (m))
#define bitmask(b) (1 << (b))
#define bit2mask(b1, b2) (bitmask(b1) | bitmask(b2))
#define l_setbit(x, b) setbits(x, bitmask(b))
#define resetbit(x, b) resetbits(x, bitmask(b))
#define testbit(x, b) testbits(x, bitmask(b))
#define set2bits(x, b1, b2) setbits(x, (bit2mask(b1, b2)))
#define reset2bits(x, b1, b2) resetbits(x, (bit2mask(b1, b2)))
#define test2bits(x, b1, b2) testbits(x, (bit2mask(b1, b2)))
/*
** Layout for the bit use in 'marked' field:
** bit 0 - object is white (type 0)
** bit 1 - object is white (type 1)
** bit 2 - object is black
** bit 3 - for userdata: has been finalized
** bit 3 - for tables: has weak keys
** bit 4 - for tables: has weak values
** bit 5 - object is fixed (should not be collected)
** bit 6 - object is "super" fixed (only the main thread)
*/
#define WHITE0BIT 0
#define WHITE1BIT 1
#define BLACKBIT 2
#define FINALIZEDBIT 3
#define KEYWEAKBIT 3
#define VALUEWEAKBIT 4
#define FIXEDBIT 5
#define SFIXEDBIT 6
#define WHITEBITS bit2mask(WHITE0BIT, WHITE1BIT)
#define iswhite(x) test2bits((x)->gch.marked, WHITE0BIT, WHITE1BIT)
#define isblack(x) testbit((x)->gch.marked, BLACKBIT)
#define isgray(x) (!isblack(x) && !iswhite(x))
#define otherwhite(g) (g->currentwhite ^ WHITEBITS)
#define IS_DEAD(g, v) ((v)->gch.marked & otherwhite(g) & WHITEBITS)
#define changewhite(x) ((x)->gch.marked ^= WHITEBITS)
#define gray2black(x) l_setbit((x)->gch.marked, BLACKBIT)
#define valiswhite(x) (IS_COLLECTABLE(x) && iswhite(GC_VALUE(x)))
#define luaC_white(g) cast(uint8_t, (g)->currentwhite &WHITEBITS)
#define luaC_checkGC(L) \
do { \
condhardstacktests(luaD_reallocstack(L, L->stackSize - EXTRA_STACK - 1)); \
if (G(L)->totalbytes >= G(L)->GCthreshold) { \
luaC_step(L); \
} \
} while (false)
#define luaC_barrier(L, p, v) \
do { \
if (valiswhite(v) && isblack(LuaObjectToGCObject(p))) { \
luaC_barrierf(L, LuaObjectToGCObject(p), GC_VALUE(v)); \
} \
} while (false)
#define luaC_barriert(L, t, v) \
do { \
if (valiswhite(v) && isblack(LuaObjectToGCObject(t))) { \
luaC_barrierback(L, t); \
} \
} while (false)
#define luaC_objbarrier(L, p, o) \
do { \
if (iswhite(LuaObjectToGCObject(o)) && isblack(LuaObjectToGCObject(p))) { \
luaC_barrierf(L, LuaObjectToGCObject(p), LuaObjectToGCObject(o)); \
} \
} while (false)
#define luaC_objbarriert(L, t, o) \
do { \
if (iswhite(LuaObjectToGCObject(o)) && isblack(LuaObjectToGCObject(t))) { \
luaC_barrierback(L, t); \
} \
} while (false)
LUAI_FUNC size_t luaC_separateudata(lua_State *L, int all);
LUAI_FUNC void luaC_callGCTM(lua_State *L);
LUAI_FUNC void luaC_freeall(lua_State *L);
LUAI_FUNC void luaC_step(lua_State *L);
LUAI_FUNC void luaC_fullgc(lua_State *L);
LUAI_FUNC void luaC_link(lua_State *L, GCObject *o, uint8_t tt);
LUAI_FUNC void luaC_linkupval(lua_State *L, Upvalue *uv);
LUAI_FUNC void luaC_barrierf(lua_State *L, GCObject *o, GCObject *v);
LUAI_FUNC void luaC_barrierback(lua_State *L, Table *t);