[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20130307193820.GB3209@htj.dyndns.org>
Date: Thu, 7 Mar 2013 11:38:20 -0800
From: Tejun Heo <tj@...nel.org>
To: Oleg Nesterov <oleg@...hat.com>
Cc: Dave Jones <davej@...hat.com>,
Linux Kernel <linux-kernel@...r.kernel.org>,
Alexander Viro <viro@...iv.linux.org.uk>,
Li Zefan <lizefan@...wei.com>, cgroups@...r.kernel.org
Subject: Re: lockdep trace from prepare_bprm_creds
Hello,
On Thu, Mar 07, 2013 at 08:12:42PM +0100, Oleg Nesterov wrote:
> Well yes, I agree. I think that perfomance-wise threadgroup_change_begin()
> in de_thread() is fine, and perhaps it is even more clean because we are
> going to do the thread-group change. The scope of cred_guard_mutex is huge,
> it doesn't look very nice in threadgroup_lock().
>
> But we should avoid the cgroup-specific hooks as much as possible, so I
> like your patch more.
I don't really mind how it's done but while my approach seems to limit
itself to cgroup proper, threadgroup locking is actually more invasive
by meddling with cred_mutex. As you said, yours is the cleaner and
probably more permanent one here.
> > + if (threadgroup && !thread_group_leader(tsk)) {
> > + /*
> > + * a race with de_thread from another thread's exec() may
> > + * strip us of our leadership, if this happens, there is no
> > + * choice but to throw this task away and try again; this
> > + * is "double-double-toil-and-trouble-check locking".
> > + */
> > + threadgroup_unlock(tsk);
> > + put_task_struct(tsk);
> > + goto retry_find_task;
> > + }
> >
> > + ret = -ENODEV;
> > + if (cgroup_lock_live_group(cgrp)) {
> > + if (threadgroup)
> > + ret = cgroup_attach_proc(cgrp, tsk);
>
> Offtopic, but with or without this change I do not understand the
> thread_group_leader/retry_find_task logic.
>
> Why do we actually need to restart? We do not really care if it is leader
> or not, we only need to ensure we can safely use while_each_thread() to
> find all !PF_EXITING threads.
If my memory serves me right (which BTW often fails), it's cgroup API
thing. cgroup wants to guarantee to the controllers that if multiple
tasks are migrated together, they always constitute a threadgroup and
the first one is the leader. ISTR a controller callback which depends
on the first one being the leader.
Thanks.
--
tejun
--
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