[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <alpine.LNX.2.00.1502131109200.2423@pobox.suse.cz>
Date: Fri, 13 Feb 2015 11:14:01 +0100 (CET)
From: Jiri Kosina <jkosina@...e.cz>
To: Josh Poimboeuf <jpoimboe@...hat.com>
cc: Seth Jennings <sjenning@...hat.com>,
Vojtech Pavlik <vojtech@...e.cz>,
Masami Hiramatsu <masami.hiramatsu.pt@...achi.com>,
live-patching@...r.kernel.org, linux-kernel@...r.kernel.org
Subject: Re: [RFC PATCH 0/9] livepatch: consistency model
On Mon, 9 Feb 2015, Josh Poimboeuf wrote:
> My biggest concerns and questions related to this patch set are:
>
> 1) To safely examine the task stacks, the transition code locks each task's rq
> struct, which requires using the scheduler's internal rq locking functions.
> It seems to work well, but I'm not sure if there's a cleaner way to safely
> do stack checking without stop_machine().
How about we take a slightly different aproach -- put a probe (or ftrace)
on __switch_to() during a klp transition period, and examine stacktraces
for tasks that are just about to start running from there?
The only tasks that would not be covered by this would be purely CPU-bound
tasks that never schedule. But we are likely in trouble with those anyway,
because odds are that non-rescheduling CPU-bound tasks are also
RT-priority tasks running on isolated CPUs, which we will fail to handle
anyway.
I think Masami used similar trick in his kpatch-without-stopmachine
aproach.
--
Jiri Kosina
SUSE Labs
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists