roland/xo-gc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-reader2: expand utest to run gc [WIP]

Browse source
This commit is contained in:
Roland Conybeare 2026-03-28 09:43:43 -04:00
commit c16deab464
1 changed files with 12 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

17
src/gc/DX1Collector.cpp
View file

@ -732,7 +732,8 @@ namespace xo {
}
void
DX1Collector::_forward_children_until_fixpoint(Generation upto, GCMoveCheckpoint gray_lo_v)
DX1Collector::_forward_children_until_fixpoint(Generation upto,
GCMoveCheckpoint gray_lo_v)
{
scope log(XO_DEBUG(config_.debug_flag_));
@ -832,7 +833,7 @@ namespace xo {
assert(iface->_has_null_vptr() == false);
auto gc = this->ref<ACollector>(); //obj<ACollector, DX1Collector> gc(this);
auto gc = this->ref<ACollector>();
iface->forward_children(src, gc);
@ -887,7 +888,7 @@ namespace xo {
{
scope log(XO_DEBUG(config_.debug_flag_),
xtag("lhs_data", lhs_data),
xtag("*lhs_data", *lhs_data));
xtag("*lhs_data", lhs_data ? *lhs_data : nullptr));
/* coordinates with DX1Collector::_deep_move() */
@ -909,7 +910,10 @@ namespace xo {
void * object_data = (std::byte *)*lhs_data;
if (!this->contains(role::from_space(), object_data)) {
if (!object_data) {
/* trivial to forward nullptr */
return;
} else if (!this->contains(role::from_space(), object_data)) {
/* *lhs_data either:
* 1. already in to-space
* 2. not in GC-allocated space at all
@ -919,7 +923,10 @@ namespace xo {
* Since not allocated from GC, they don't have
* an alloc-header.
*/
log && log("disposition: not in from-space");
log && log("disposition: not in from-space. Don't forward, but check children");
obj<AGCObject> gco(lhs_iface, object_data);
gco.forward_children(this->ref<ACollector>());
return;
}