mirror of https://github.com/rusefi/lua.git
Fixed bug of old finalized objects in the GC
When an object aged OLD1 is finalized, it is moved from the list 'finobj' to the *beginning* of the list 'allgc'. So, this part of the list (and not only the survival list) must be visited by 'markold'.
This commit is contained in:
parent
6f5bd5072d
commit
127e7a6c89
10
lgc.c
10
lgc.c
|
@ -1131,16 +1131,14 @@ static void finishgencycle (lua_State *L, global_State *g) {
|
||||||
|
|
||||||
|
|
||||||
/*
|
/*
|
||||||
** Does a young collection. First, mark 'OLD1' objects. (Only survival
|
** Does a young collection. First, mark 'OLD1' objects. Then does the
|
||||||
** and "recent old" lists can contain 'OLD1' objects. New lists cannot
|
** atomic step. Then, sweep all lists and advance pointers. Finally,
|
||||||
** contain 'OLD1' objects, at most 'OLD0' objects that were already
|
** finish the collection.
|
||||||
** visited when marked old.) Then does the atomic step. Then,
|
|
||||||
** sweep all lists and advance pointers. Finally, finish the collection.
|
|
||||||
*/
|
*/
|
||||||
static void youngcollection (lua_State *L, global_State *g) {
|
static void youngcollection (lua_State *L, global_State *g) {
|
||||||
GCObject **psurvival; /* to point to first non-dead survival object */
|
GCObject **psurvival; /* to point to first non-dead survival object */
|
||||||
lua_assert(g->gcstate == GCSpropagate);
|
lua_assert(g->gcstate == GCSpropagate);
|
||||||
markold(g, g->survival, g->reallyold);
|
markold(g, g->allgc, g->reallyold);
|
||||||
markold(g, g->finobj, g->finobjrold);
|
markold(g, g->finobj, g->finobjrold);
|
||||||
atomic(L);
|
atomic(L);
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue