B.2.5 wait_thread()

The wait_thread() primitive waits for completion of the thread specified by the thread_id_t passed to it. This in no way interferes with the execution of the specified thread; instead, it merely waits for it. Note that wait_thread() returns the value that was returned by the corresponding thread.



Paul E. McKenney 2011-12-16