Kunshan Wang

We had some prior discussion about `is_live` and `is_reachable`. Those are not 100% the same as this issue, but some points, such as the meaning of "live", are still relevant....

If there are two object A and B allocated adjacent to each other, A is before B, and A has a `char buffer[0]` as the last field. If `&A.buffer` happens...

> > If there are two object A and B allocated adjacent to each other, A is before B, and A has a `char buffer[0]` as the last field. If...

> [@wks](https://github.com/wks) Hopefully we won't need too much CPU-specific implementation in mmtk-core. I mean we probably won't need ISA-specific things (x86, ARM, etc.). Things like endianness or pointer width is...

Another concern is that limited by resources (expertise, available machines, license fees, funding, etc.), we are probably not going to maintain all possible targets. But there are researchers and enthusiasts...

@sepcnt Thank you for your PR. While it is nice to support a popular platform, I think this change should be made after we refactor the mmtk-core code base and...

> > @sepcnt Thank you for your PR. While it is nice to support a popular platform, I think this change should be made after we refactor the mmtk-core code...

> Honestly, that does not seem to be a prerequisite for a PR to be merged. To me, for a PR to be merged, it needs to: > > 1....

> There are a few things that I dont understand about the issue > > In TLDR, > > > * This is not strictly necessary for porting the OpenJDK-specific...

`std::sync::ReentrantLock` is an unstable feature. But a third-party crate [parking_lot](https://docs.rs/parking_lot/latest/parking_lot/) has an implementation of [`ReentrantMutex`](https://docs.rs/parking_lot/latest/parking_lot/type.ReentrantMutex.html). If that is helpful, we can add the `parking_lot` as a dependency when the `mock_test`...