public static UpVal luaF_findupval(lua_State L, StkId level)
{
global_State g = G(L);
GCObjectRef pp = new OpenValRef(L);
UpVal p;
UpVal uv;
while (pp.get() != null && (p = ngcotouv(pp.get())).v >= level)
{
lua_assert(p.v != p.u.value);
if (p.v == level)
{ /* found a corresponding upvalue? */
if (isdead(g, obj2gco(p))) /* is it dead? */
{
changewhite(obj2gco(p)); /* ressurect it */
}
return(p);
}
pp = new NextRef(p);
}
uv = luaM_new <UpVal>(L); /* not found: create a new one */
uv.tt = LUA_TUPVAL;
uv.marked = luaC_white(g);
uv.v = level; /* current value lives in the stack */
uv.next = pp.get(); /* chain it in the proper position */
pp.set(obj2gco(uv));
uv.u.l.prev = g.uvhead; /* double link it in `uvhead' list */
uv.u.l.next = g.uvhead.u.l.next;
uv.u.l.next.u.l.prev = uv;
g.uvhead.u.l.next = uv;
lua_assert(uv.u.l.next.u.l.prev == uv && uv.u.l.prev.u.l.next == uv);
return(uv);
}
/* move 'dead' udata that need finalization to list 'tobefnz' */
public static uint luaC_separateudata(lua_State L, int all)
{
global_State g = G(L);
uint deadmem = 0; /* total size of all objects to be finalized */
GCObjectRef p = new NextRef(g.mainthread);
GCObject curr;
GCObjectRef lastnext = new TobefnzRef(g); //FIXME:??????
/* find last 'next' field in 'tobefnz' list (to insert elements in its end) */
while (lastnext.get() != null)
{
lastnext = new NextRef(gch(lastnext.get()));
}
while ((curr = p.get()) != null) /* traverse all finalizable objects */
{
lua_assert(ttisuserdata(gch(curr)) && !isfinalized(gco2u(curr)));
lua_assert(testbit(gch(curr).marked, SEPARATED));
if (!(all != 0 || iswhite(curr))) /* not being collected? */
{
p = new NextRef(gch(curr)); /* don't bother with it */
}
else
{
l_setbit(ref gch(curr).marked, FINALIZEDBIT); /* won't be finalized again */
deadmem += sizeudata(gco2u(curr));
p.set(gch(curr).next); /* remove 'curr' from 'rootgc' list */
/* link 'curr' at the end of 'tobefnz' list */
gch(curr).next = lastnext.get();
lastnext.set(curr);
lastnext = new NextRef(gch(curr));
}
}
return(deadmem);
}
public static UpVal luaF_findupval(lua_State L, StkId level)
{
global_State g = G(L);
GCObjectRef pp = new OpenValRef(L);
UpVal p;
UpVal uv;
while (pp.get() != null && (p = ngcotouv(pp.get())).v >= level) {
lua_assert(p.v != p.u.value);
if (p.v == level) { /* found a corresponding upvalue? */
if (isdead(g, obj2gco(p))) /* is it dead? */
changewhite(obj2gco(p)); /* ressurect it */
return p;
}
pp = new NextRef(p);
}
uv = luaM_new<UpVal>(L); /* not found: create a new one */
uv.tt = LUA_TUPVAL;
uv.marked = luaC_white(g);
uv.v = level; /* current value lives in the stack */
uv.next = pp.get(); /* chain it in the proper position */
pp.set( obj2gco(uv) );
uv.u.l.prev = g.uvhead; /* double link it in `uvhead' list */
uv.u.l.next = g.uvhead.u.l.next;
uv.u.l.next.u.l.prev = uv;
g.uvhead.u.l.next = uv;
lua_assert(uv.u.l.next.u.l.prev == uv && uv.u.l.prev.u.l.next == uv);
return uv;
}
/*
** move all unreachable objects that need finalization from list 'finobj'
** to list 'tobefnz'
*/
public static void luaC_separateudata(lua_State L, int all)
{
global_State g = G(L);
GCObjectRef p = new FinobjRef(g);
GCObject curr;
GCObjectRef lastnext = new TobefnzRef(g); //FIXME:??????next???
/* find last 'next' field in 'tobefnz' list (to add elements in its end) */
while (lastnext.get() != null)
{
lastnext = new NextRef(gch(lastnext.get())); //FIXME:next???PtrRef???
}
while ((curr = p.get()) != null) /* traverse all finalizable objects */
{
lua_assert(!isfinalized(curr));
lua_assert(testbit(gch(curr).marked, SEPARATED));
if (!(all != 0 || iswhite(curr))) /* not being collected? */
{
p = new NextRef(gch(curr)); /* don't bother with it */
}
else
{
l_setbit(ref gch(curr).marked, FINALIZEDBIT); /* won't be finalized again */
p.set(gch(curr).next); /* remove 'curr' from 'finobj' list */
gch(curr).next = lastnext.get(); /* link at the end of 'tobefnz' list */
lastnext.set(curr);
lastnext = new NextRef(gch(curr));
}
}
}
/*
** if object 'o' has a finalizer, remove it from 'allgc' list (must
** search the list to find it) and link it in 'finobj' list.
*/
public static void luaC_checkfinalizer(lua_State L, GCObject o, Table mt)
{
global_State g = G(L);
if (testbit(gch(o).marked, SEPARATED) || /* obj. is already separated... */
isfinalized(o) || /* ... or is finalized... */
gfasttm(g, mt, TMS.TM_GC) == null) /* or has no finalizer? */
{
return; /* nothing to be done */
}
else /* move 'o' to 'finobj' list */
{
GCObjectRef p;
for (p = new AllGCRef(g); p.get() != o; p = new NextRef(gch(p.get())))
{
;
}
p.set(gch(o).next); /* remove 'o' from root list */
gch(o).next = g.finobj; /* link it in list 'finobj' */
g.finobj = o;
l_setbit(ref gch(o).marked, SEPARATED); /* mark it as such */
resetoldbit(o); /* see MOVE OLD rule */
}
}
/*
** if userdata 'u' has a finalizer, remove it from 'allgc' list (must
** search the list to find it) and link it in 'udgc' list.
*/
public static void luaC_checkfinalizer(lua_State L, Udata u)
{
global_State g = G(L);
if (testbit(u.uv.marked, SEPARATED) || /* userdata is already separated... */
isfinalized(u.uv) || /* ... or is finalized... */
gfasttm(g, u.uv.metatable, TMS.TM_GC) == null) /* or has no finalization? */
{
return; /* nothing to be done */
}
else /* move 'u' to 'udgc' list */
{
GCObjectRef p;
for (p = new AllGCRef(g); p.get() != obj2gco(u); p = new NextRef(gch(p.get())))
{
;
}
p.set(u.uv.next); /* remove 'u' from root list */
u.uv.next = g.udgc; /* link it in list 'udgc' */
g.udgc = obj2gco(u);
l_setbit(ref u.uv.marked, SEPARATED); /* mark it as such */
resetoldbit(obj2gco(u)); /* see MOVE OLD rule */
}
}
