On Sun, Nov 26, 2023 at 08:32:30PM +0100, Samuel Thibault wrote: > I found the issue, it's because of the quiescence support in libports, > which assumes that all threads will sooner or later go through a > quiescent state (because it finished processing a message). But that's > not true, proc doesn't set a thread timeout, and thus some threads can > stay indefinitely stuck in receiving messages. And thus the deferred > dereferencing used by ports_destroy_right never gets achieved. > > I'll push a fix.
Very nice catch. -- Richard Braun