We have to drop the kernel_thread port from the thread structure, to
avoid pthread_kill's call to _hurd_thread_sigstate trying to reference
it and fail.
if (pthread == NULL)
return ESRCH;
+ if (pthread->kernel_thread == MACH_PORT_DEAD)
+ /* The pthread ID is still valid but we cannot send a signal any more. */
+ return 0;
+
ss = _hurd_thread_sigstate (pthread->kernel_thread);
assert (ss);
/* The wake up port is now no longer needed. */
__mach_port_destroy (__mach_task_self (), wakeup_port);
+ /* The kernel thread won't be there any more. */
+ thread->kernel_thread = MACH_PORT_DEAD;
+
/* Terminate and release all that's left. */
err = __thread_terminate_release (kernel_thread, mach_task_self (),
kernel_thread, reply_port,