3:14:27hayleySo the OCaml people have been experimenting with prefetching in the major GC, which led to quite impressive results: https://github.com/ocaml/ocaml/pull/10195
3:23:14hayleyAlso, I left a comment at the bottom pertaining to using a different kind of prefetch (as someone mentioned it elsewhere; in short, we avoid the usual cache as the GC visits each object only once). But I am not sure if I wrote it very clearly.
3:26:16beachIt looks like it would be clear to the OCaml people.
7:31:25hayleyWhat is left to do in register allocation? I can only think of your idea to ensure lexical locations are saved in the same stack slots for instructions using the dynamic environment of a CATCH instruction.
7:32:07beachIf you have done every instruction type, and you did the adaptation, I can't think of anything else.
7:33:31hayleyGuess I should make a list then, as I know all the instructions used in bootstrapping and all the floating-point instructions are covered, but that may not be all the instructions.
7:34:18beachYou can do that if you like, but I wouldn't bother until they are needed. I would go to code generation instead. Up to you.