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

xo-gc stack: + request-gc-statistics() primitive

Browse source 
1. xo-gc now depends on xo-object2.
2. use genfacet for ICollector_DX1Collector
3. moves xo-gc utest previously in xo-object2 to more natural
   location in xo-gc/
This commit is contained in:
Roland Conybeare 2026-03-29 13:44:19 -04:00
commit 1dd3a6543f
44 changed files with 980 additions and 332 deletions
Download patch file Download diff file Expand all files Collapse all files

29
xo-alloc2/idl/Collector.json5
View file

@ -29,12 +29,6 @@
"A collector must also suppose the @ref AAllocator facet, see also"
],
types: [
// using typeseq = xo::facet::typeseq; // I think this is automatically provided
// {
// name: "typeseq",
// doc: ["type for an amount of memory"],
// definition: "std::size_t",
// },
// using size_type = std::size_t;
{
name: "size_type",
@ -87,7 +81,7 @@
name: "contains",
doc: ["true if gc responsible for data at @p addr, and data belongs to role @p r"],
return_type: "bool",
args:[
args: [
{type: "role", name: "r"},
{type: "const void *", name: "addr"},
],
@ -100,13 +94,32 @@
name: "is_type_installed",
doc: ["true iff gc-aware object of type @p tseq is installed in this collector"],
return_type: "bool",
args:[
args: [
{type: "typeseq", name: "tseq"},
],
const: true,
noexcept: true,
attributes: [],
},
// obj<AGCObject> summary() const noexcept;
{
name: "report_statistics",
doc: [
"Report gc statistics, at discretion of collector implementation.",
"Creates dictionary using memory from @p report_mm.",
"If unable to comply (e.g. oom), return runtime error allocated from @p error_mm.",
"Avoiding obj<AGCObject> return type to avoid #include cycle"
],
return_type: "bool",
args: [
{type: "obj<AAllocator>", name: "report_mm"},
{type: "obj<AAllocator>", name: "error_mm"},
{type: "obj<AGCObject> *", name: "output"},
],
const: true,
noexcept: true,
attributes: [],
},
],
nonconst_methods: [
// bool install_type(const AGCObject & iface)

5
xo-alloc2/include/xo/alloc2/gc/ACollector.hpp
View file

@ -69,6 +69,11 @@ public:
virtual bool contains(Copaque data, role r, const void * addr) const noexcept = 0;
/** true iff gc-aware object of type @p tseq is installed in this collector **/
virtual bool is_type_installed(Copaque data, typeseq tseq) const noexcept = 0;
/** Report gc statistics, at discretion of collector implementation.
Creates dictionary using memory from @p report_mm.
If unable to comply (e.g. oom), return runtime error allocated from @p error_mm.
Avoiding obj<AGCObject> return type to avoid #include cycle **/
virtual bool report_statistics(Copaque data, obj<AAllocator> report_mm, obj<AAllocator> error_mm, obj<AGCObject> * output) const noexcept = 0;
// nonconst methods
/** install interface @p iface for representation with typeseq @p tseq

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

@ -64,6 +64,7 @@ namespace mm {
[[noreturn]] size_type reserved(Copaque, Generation, role) const noexcept override { _fatal(); }
[[noreturn]] bool contains(Copaque, role, const void *) const noexcept override { _fatal(); }
[[noreturn]] bool is_type_installed(Copaque, typeseq) const noexcept override { _fatal(); }
[[noreturn]] bool report_statistics(Copaque, obj<AAllocator>, obj<AAllocator>, obj<AGCObject> *) const noexcept override { _fatal(); }
// nonconst methods
[[noreturn]] bool install_type(Opaque, const AGCObject &) override;

3
xo-alloc2/include/xo/alloc2/gc/ICollector_Xfer.hpp
View file

@ -61,6 +61,9 @@ namespace mm {
bool is_type_installed(Copaque data, typeseq tseq) const noexcept override {
return I::is_type_installed(_dcast(data), tseq);
}
bool report_statistics(Copaque data, obj<AAllocator> report_mm, obj<AAllocator> error_mm, obj<AGCObject> * output) const noexcept override {
return I::report_statistics(_dcast(data), report_mm, error_mm, output);
}
// non-const methods
bool install_type(Opaque data, const AGCObject & iface) override {

3
xo-alloc2/include/xo/alloc2/gc/RCollector.hpp
View file

@ -94,6 +94,9 @@ public:
bool is_type_installed(typeseq tseq) const noexcept {
return O::iface()->is_type_installed(O::data(), tseq);
}
bool report_statistics(obj<AAllocator> report_mm, obj<AAllocator> error_mm, obj<AGCObject> * output) const noexcept {
return O::iface()->report_statistics(O::data(), report_mm, error_mm, output);
}
// non-const methods (still const in router!)
bool install_type(const AGCObject & iface) {

2
xo-alloc2/include/xo/alloc2/generation.hpp
View file

@ -11,7 +11,7 @@
namespace xo {
namespace mm {
/** hard maximum number of generations **/
static constexpr uint32_t c_max_generation = 2;
static constexpr uint32_t c_max_generation = 3;
/** @class generation
* @brief type-safe generation number