3:50:52no-defun-allowedWith a green threading configuration that assigns many green threads to OS or hardware threads, would it be better to assign one nursery per green thread or per OS thread? I think the latter might be more predictable on the cache (but does it really matter on the millisecond scale?), but it would complicate tracing the nursery significantly.
3:52:27no-defun-allowedOh, and the latter would also require you to copy objects to the global heap to migrate a green thread between OS threads. That is also no good.