> constraints like "how to make sure each running execution context gets a fair share of time and can't lock up the VM

IIRC that's because it preempts based on reduction counts rather than waiting on some thread to decide to yield itself.