I think Mach got this right, going the other direction from fork(). Instead of mashing even more functionality into one function, disaggregate more. You creat

I think Mach got this right, going the other direction from fork(). Instead of mashing even more functionality into one function, disaggregate more. You create a new task, which may or may not inherit your address space. This new task does not contain any threads. You can then give it address space as needed (for example if you didn't set it to inherit any). You can then create threads within the new task and start them as needed. And yes, having a separate task without threads can be useful.