Kunshan Wang

@wenyuzhao asked how to store null pointer to an `Edge` (a slot). In general, this should be done in a VM-specific way, because not all programming languages have null pointers....

> MMTk can only use `None` in `Option` to refer to a null reference, which may be too restrictive. In your languages survey, when a language has different representations of...

> This is slightly off-topic, but perhaps we want to add functions like `fn is_null() -> bool` and `fn store_null()` to the `Edge`/`Slot` trait to aid debugging and help implement...

During the meeting on 31 January 2024, we reached consensus on this MEP. We will wait for 24 hours for anyone to raise objections against this MEP. I nobody express...

I made some changes according to our discussion today. - Explicitly listed "skipping edges to singleton NULL-like objects" as a non-goal, and linked to https://github.com/mmtk/mmtk-core/issues/1076 - Mentioned `alloc` may return...

Since there is no objections raised after the meeting, this MEP passes the review.

> One thing that concerns me is that most of the 'axioms' are deduced from the _current code_. As the code may not be correct, the conclusions drawn from the...

`gc_end` should be OK, but there is one difficulty for `gc_start`. the `gc_start` trace point needs to happen before the `ScheduleCollection` work packet so that the bpftrace script can start...

> If you want it to be specific to current GC, you could edit the `is_movable` function itself instead of creating a new function. (Arguably in cases like the ones...

> 1. When can this method be used? It mentions 'current GC' which assumes it can only be called during a GC. However, it also uses information like `is_current_gc_nursery()` and...