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

xo-gc: + execute_gc() scaffold

Browse source
This commit is contained in:
Roland Conybeare 2026-01-03 00:19:26 -05:00
commit e0cb07c9f5
9 changed files with 112 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

27
xo-gc/include/xo/gc/DX1Collector.hpp
View file

@ -221,6 +221,22 @@ namespace xo {
**/
bool install_type(const AGCObject & meta) noexcept;
/** add GC root at @p root_addr, with type @p typeseq **/
void add_gc_root(typeseq tseq, Opaque * root_addr) noexcept;
/** Request immediate collection.
* 1. if collection is enabled, immediately collect all generations
* up to (but not including) g
* 2. may nevertheless escalate to older generations,
* depending on collector state.
* 3. if collection is currently disabled,
* collection will trigger the next time gc is enabled.
**/
void request_gc(generation upto) noexcept;
/** Execute gc immediately, for all generations < @p upto **/
void execute_gc(generation upto) noexcept;
// ----- allocation -----
/** simple allocation. allocate @p z bytes of memory
@ -269,6 +285,12 @@ namespace xo {
/** discard all allocated memory **/
void clear() noexcept;
private:
/** swap from- and to- roles for all generations < @p upto **/
void swap_roles(generation upto) noexcept;
/** copy roots + everything reachable from them, to to-space **/
void copy_roots(generation upto) noexcept;
public:
/** garbage collector configuration **/
CollectorConfig config_;
@ -281,6 +303,11 @@ namespace xo {
**/
DArena object_types_;
/** gc disabled whenever gc_blocked_ > 0 **/
uint32_t gc_blocked_ = 0;
/** if > 0: need gc for all generations < gc_pending_upto_ **/
generation gc_pending_upto_;
/** collector-managed memory here.
* - space_[1] is from-space
* - space_[0] is to-space

10
xo-gc/include/xo/gc/detail/ACollector.hpp
View file

@ -59,6 +59,16 @@ namespace xo {
virtual bool install_type(Opaque d, const AGCObject & iface) = 0;
virtual void add_gc_root(Opaque d, int32_t tseq, Opaque * root) = 0;
/** Request immediate collection.
* 1. if collection is enabled, immediately collect all generations
* up to (but not including) g
* 2. may nevertheless escalate to older generations,
* depending on collector state.
* 3. if collection is currently disabled,
* collection will trigger the next time gc is enabled.
**/
virtual void request_gc(Opaque d, generation upto) = 0;
/** evacuate @p *lhs, that refers to state with interface @p lhs_iface,
* to collector @p d's to-space. Replace *lhs_data with forwarding pointer
*

1
xo-gc/include/xo/gc/detail/ICollector_Any.hpp
View file

@ -39,6 +39,7 @@ namespace xo {
// non-const methods
[[noreturn]] bool install_type(Opaque, const AGCObject &) noexcept override { _fatal(); }
[[noreturn]] void add_gc_root(Opaque, int32_t, Opaque *) override { _fatal(); }
[[noreturn]] void request_gc(Opaque, generation) override { _fatal(); }
[[noreturn]] void forward_inplace(Opaque, AGCObject *, void **) override { _fatal(); }
private:

1
xo-gc/include/xo/gc/detail/ICollector_DX1Collector.hpp
View file

@ -45,6 +45,7 @@ namespace xo {
static bool install_type(DX1Collector & d, const AGCObject & iface);
static void add_gc_root(DX1Collector & d, int32_t tseq, Opaque * root);
static void request_gc(DX1Collector & d, generation upto);
static void forward_inplace(DX1Collector & d, AGCObject * lhs_iface, void ** lhs_data);
static int32_t s_typeseq;

6
xo-gc/include/xo/gc/detail/ICollector_Xfer.hpp
View file

@ -53,7 +53,11 @@ namespace xo {
void add_gc_root(Opaque d, int32_t tseq, Opaque * root) override {
I::add_gc_root(_dcast(d), tseq, root);
}
void forward_inplace(Opaque d, AGCObject * lhs_iface, void ** lhs_data) override {
void request_gc(Opaque d, generation upto) override {
I::request_gc(_dcast(d), upto);
}
void forward_inplace(Opaque d,
AGCObject * lhs_iface, void ** lhs_data) override {
I::forward_inplace(_dcast(d), lhs_iface, lhs_data);
}

2
xo-gc/include/xo/gc/detail/RCollector.hpp
View file

@ -31,7 +31,7 @@ namespace xo {
bool install_type(const AGCObject & iface) { return O::iface()->install_type(O::data(), iface); }
void add_gc_root(int32_t tseq, Opaque * root) { O::iface()->add_gc_root(O::data(), tseq, root); }
void request_gc(generation g) { O::iface()->request_gc(O::data(), g); }
void forward_inplace(AGCObject * lhs_iface, void ** lhs_data) { O::iface()->forward_inplace(O::data(), lhs_iface, lhs_data); }
static bool _valid;