Re: MPS: weak hash tables

["Gerd Möllmann" <gerd.moellmann@gmail.com>]

Pip Cet <pipcet@protonmail.com> writes:

> Is it correct that all IGC objects need to be scannable when they're
> still zeroed-out from allocation?

I'm not 100% cure what you mean. One must arrange things so that the
objects are always scannable, that is so, from the moment on their
memory is commited with mps_commit.

> (I'm currently trying to simply delay setting the weak->strong and
> strong->weak pointers until the parts are initialized, and to turn the
> scan into a nop if they aren't. I'm not convinced that's sufficient to
> prevent the compiler from reordering the initialization so an invalid
> state becomes visible to the scan function, though...)

Hm, don't know. I didn't get that far when reading the code yesterday.

> Also, any opinions on :weakness 'key-or-value? Can we just not support
> it and use strong hash tables instead?

I'll try to come up with opinions today :-)