[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <513A9A67.60909@huawei.com>
Date: Sat, 9 Mar 2013 10:11:51 +0800
From: Li Zefan <lizefan@...wei.com>
To: Tejun Heo <tj@...nel.org>
CC: Oleg Nesterov <oleg@...hat.com>, Dave Jones <davej@...hat.com>,
Linux Kernel <linux-kernel@...r.kernel.org>,
Alexander Viro <viro@...iv.linux.org.uk>,
<cgroups@...r.kernel.org>
Subject: Re: lockdep trace from prepare_bprm_creds
On 2013/3/8 3:38, Tejun Heo wrote:
> 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.
>
Agreed.
Now we need that patch to be resent with SOB and proper changelog.
>>> + 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.
>
It did serve you right this time. :)
--
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