hurd: Replace reply port with a dead name on failed interruption
commit4e506f67cbe6cd935377da65909f0606014459aa
authorSergey Bugaev <bugaevc@gmail.com>
Sat, 29 Apr 2023 20:18:19 +0000 (29 23:18 +0300)
committerSamuel Thibault <samuel.thibault@ens-lyon.org>
Mon, 1 May 2023 01:18:48 +0000 (1 03:18 +0200)
treeaa701a83abdd2769c5ee3067cd048646af39ea22
parenteb14819c14d190830df673c9a3089d82d6b7b8f7
hurd: Replace reply port with a dead name on failed interruption

If we're trying to interrupt an interruptible RPC, but the server fails
to respond to our __interrupt_operation () call, we instead destroy the
reply port we were expecting the reply to the RPC on.

Instead of deallocating the name completely, replace it with a dead
name, so the name won't get reused for some other right, and deallocate
it in _hurd_intr_rpc_mach_msg once we return from the signal handler.

Signed-off-by: Sergey Bugaev <bugaevc@gmail.com>
Message-Id: <20230429201822.2605207-4-bugaevc@gmail.com>
hurd/hurdsig.c
hurd/intr-msg.c
sysdeps/mach/hurd/mig-reply.c