Integrating MMTk in OCaml - 3

Ok, I decided to pause the implementation of the traits and structs right now and continue the NoGC port and… I cannot progress. I know too little of OCaml's memory and thread model to be able to do anything significant. Which is sad. This thing is convoluted and I cannot do anything but just stare at it.

WHAT EVEN IS A MEMORY SLICE USED FOR??? THIS IS SO ANNOYING! Ugh. This is not good. 😢

Seems to be used by the compiler from VM's side and is supposed to help with generational and concurrent collection schemes. Apart from that, I have no idea where else it's being used.

Apart from that, there are so many things that make absolutely no sense to me. Seems like there will be a lot of asking questions on this topic. First, I need ocaml's memory model paper to be read and understood well. Because if I don't, it's practically useless for me. Almost everything needs some idea/notion of a thread and the mutator control structure around it. It's almost diabolical, in fact.

Ugh, I need sleep. Goodbye.