Assigns a logical thread to execute the supplied op.
This routine is called by spawn. It is expected to instantiate a new
logical thread and run the supplied operation. This thread must call
thisInfo.cleanup() when the thread terminates if the scheduled thread
is not a kernel thread--all kernel threads will have their ThreadInfo
cleaned up automatically by a thread-local destructor.
Assigns a logical thread to execute the supplied op.
This routine is called by spawn. It is expected to instantiate a new logical thread and run the supplied operation. This thread must call thisInfo.cleanup() when the thread terminates if the scheduled thread is not a kernel thread--all kernel threads will have their ThreadInfo cleaned up automatically by a thread-local destructor.