[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <201911211151.45A9C4F5F6@keescook>
Date: Thu, 21 Nov 2019 11:52:17 -0800
From: Kees Cook <keescook@...omium.org>
To: Rasmus Villemoes <linux@...musvillemoes.dk>
Cc: Jonathan Corbet <corbet@....net>, linux-doc@...r.kernel.org,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH 3/3] docs, parallelism: Rearrange how jobserver
reservations are made
On Thu, Nov 21, 2019 at 11:39:03AM -0800, Kees Cook wrote:
> On Thu, Nov 21, 2019 at 09:09:37AM +0100, Rasmus Villemoes wrote:
> > Similarly (and the harder problem), what happens when our parent wants
> > to send its child a signal to say "stop what you're doing, return the
> > tokens, brush your teeth and go to bed". We should forward that signal
> > to the real job instead of just dying, losing track of both the tokens
> > we've claimed as well as orphaning the child.
>
> Hm, hm. I guess I could pass INT and TERM to the child. That seems like
> the most sensible best-effort here. It seems "make" isn't only looking
> at the slots to determine process management.
Actually, this doesn't seem to work at all. Interruption already behaves
correctly. I'm going to ignore this for now...
--
Kees Cook
Powered by blists - more mailing lists