114     static void join(handle_type handle);
117     static void detach_thread(handle_type handle);
157 void thread_monitor::join(handle_type handle) {  in join()  argument
161         WaitForSingleObjectEx(handle, INFINITE, FALSE);  in join()
166         CloseHandle(handle);  in join()
170 void thread_monitor::detach_thread(handle_type handle) {  in detach_thread()  argument
174         CloseHandle(handle);  in detach_thread()
198     pthread_t handle;  in launch()  local
208       error = pthread_create(&handle, &s, thread_routine, arg);  in launch()
215     return handle;  in launch()
218 void thread_monitor::join(handle_type handle) {  in join()  argument
219     check(pthread_join(handle, nullptr), "pthread_join has failed");  in join()
222 void thread_monitor::detach_thread(handle_type handle) {  in detach_thread()  argument
223     check(pthread_detach(handle), "pthread_detach has failed");  in detach_thread()