Re: MPS: native comp

[Andrea Corallo <acorallo@gnu.org>]

Gerd Möllmann <gerd.moellmann@gmail.com> writes:

> Andrea Corallo <acorallo@gnu.org> writes:
>
>> Yes but this way seems that there's no way to tell the GC that something
>> exists other than making it reachable from the heap.  There's really no
>> better way to tell MPS at runtime that a certain obj was allocated and
>> needs to be tracked?
>
> I'm sorry, I don't understand. Could you perhaps rephrase?

I suspect ATM don't have a better way to express that.

You said:

> The problem is not liveness, it's the existence of untraced references
> there.

So my question is, there's really no way to express to MPS the
'existence' of an object without impacting his 'liveness'?

This case is supported by alloc.c as the change in discussion
demonstrates.

Thanks

  Andrea