From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id ECDF0C4332F for ; Thu, 24 Nov 2022 07:49:20 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229653AbiKXHtT (ORCPT ); Thu, 24 Nov 2022 02:49:19 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:40400 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229652AbiKXHtI (ORCPT ); Thu, 24 Nov 2022 02:49:08 -0500 Received: from mail-pf1-x436.google.com (mail-pf1-x436.google.com [IPv6:2607:f8b0:4864:20::436]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id B2DB9240A0 for ; Wed, 23 Nov 2022 23:49:07 -0800 (PST) Received: by mail-pf1-x436.google.com with SMTP id x66so965748pfx.3 for ; Wed, 23 Nov 2022 23:49:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=shopee.com; s=shopee.com; h=content-transfer-encoding:in-reply-to:from:references:cc:to:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=G7mIOYx5XpbGQFlC8Ida0reEU5Je0qsdFez1FBYqNyg=; b=NjotXgc97HbmEPcoHrS+QOmRpacOKDb6QdXBznUNud1zfBEYbcLcS0Xt2g3PItbFnr h2QU44T4XntjX+yX5aGFm63L8ScVMzk1QnKOSbFWpMjeDfEt7yvCS4NDOuIXfg82fZnh DZzGBg5gfIpGza1QU53WZ6sK/ar+0Nz7Mf6oySCBTtb8gXxzc2hXUes7f3Je+8/5ietR 9h/mbj4vZ4lepK0FPHfAd8Y215fWJxhs+X16DRMm8Nj8EduGiaUZuO9UvZWHyabH7cNa kqGuLQR40VQZmVKmSTG+2MvAwq4nPCFJCV8Pos7IuGYCwARs3J6QL7bZBK6+bnipJ8iM coPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:in-reply-to:from:references:cc:to:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=G7mIOYx5XpbGQFlC8Ida0reEU5Je0qsdFez1FBYqNyg=; b=trrVy4vY6DUkCei9zGUkrRXK6MD9+F0ZUfCNaooLaV0gvDuU8t83BEHF7leetx36lt cIJZpuRwAt5pekxfsZxpNhzbxV3YR5gVigUg/zzA2bBjm89sTsjZCL9Rcl9IsJoUbwOU JYVudZX8i0avGFBP0WVIbYdS/6NVy3Aa36wN6bgKtIBIMba8mxrHri+OMkz5uV/RPxVG NiUQZ0DIIyWvIn0+oyl9d+V26sabgjsxZNMpbBkkBaA2cF0uAoScM46ySsfoO1ZuOSlq UFR2Zqb60PHKs6Y5tNnkPmW5t5OIuAlUL1kG7tJeIJplOo0grBCx8gSHhX31h6B6HNs3 q4zQ== X-Gm-Message-State: ANoB5pkNtYapsBgsd3HoaFlvIabBkv8I6Wi8F39Ssxfp1yuU/CFzjoiC qo15uHgeSLq/G8hqtozXpegcng== X-Google-Smtp-Source: AA0mqf5pzoo6QD8W/O4UzNRjG/dH8mFcNXz4MwupnYm372vlZ08PSLVbYtDXpowYkklRamgw7dATgg== X-Received: by 2002:a63:ff63:0:b0:477:8d4f:3dda with SMTP id s35-20020a63ff63000000b004778d4f3ddamr13055439pgk.552.1669276146630; Wed, 23 Nov 2022 23:49:06 -0800 (PST) Received: from [10.54.24.49] ([143.92.118.2]) by smtp.gmail.com with ESMTPSA id p5-20020a170902e74500b0018691ce1696sm532146plf.131.2022.11.23.23.49.04 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 23 Nov 2022 23:49:06 -0800 (PST) Message-ID: <21e73dad-c6d0-21ea-dcdf-355b71c8537b@shopee.com> Date: Thu, 24 Nov 2022 15:49:02 +0800 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.5.0 Subject: Re: [PATCH] cgroup/cpuset: Optimize update_tasks_nodemask() To: Waiman Long Cc: lizefan.x@bytedance.com, tj@kernel.org, hannes@cmpxchg.org, cgroups@vger.kernel.org, linux-kernel@vger.kernel.org References: <20221123082157.71326-1-haifeng.xu@shopee.com> <2ac6f207-e08a-2a7f-01ae-dfaf15eefaf6@redhat.com> <4de8821b-e0c0-bf63-4d76-b0ce208cce3b@shopee.com> From: Haifeng Xu In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 2022/11/24 12:24, Waiman Long wrote: > On 11/23/22 22:33, Haifeng Xu wrote: >> >> On 2022/11/24 04:23, Waiman Long wrote: >>> On 11/23/22 03:21, haifeng.xu wrote: >>>> When change the 'cpuset.mems' under some cgroup, system will hung >>>> for a long time. From the dmesg, many processes or theads are >>>> stuck in fork/exit. The reason is show as follows. >>>> >>>> thread A: >>>> cpuset_write_resmask /* takes cpuset_rwsem */ >>>>     ... >>>>       update_tasks_nodemask >>>>         mpol_rebind_mm /* waits mmap_lock */ >>>> >>>> thread B: >>>> worker_thread >>>>     ... >>>>       cpuset_migrate_mm_workfn >>>>         do_migrate_pages /* takes mmap_lock */ >>>> >>>> thread C: >>>> cgroup_procs_write /* takes cgroup_mutex and >>>> cgroup_threadgroup_rwsem */ >>>>     ... >>>>       cpuset_can_attach >>>>         percpu_down_write /* waits cpuset_rwsem */ >>>> >>>> Once update the nodemasks of cpuset, thread A wakes up thread B to >>>> migrate mm. But when thread A iterates through all tasks, including >>>> child threads and group leader, it has to wait the mmap_lock which >>>> has been take by thread B. Unfortunately, thread C wants to migrate >>>> tasks into cgroup at this moment, it must wait thread A to release >>>> cpuset_rwsem. If thread B spends much time to migrate mm, the >>>> fork/exit which acquire cgroup_threadgroup_rwsem also need to >>>> wait for a long time. >>>> >>>> There is no need to migrate the mm of child threads which is >>>> shared with group leader. Just iterate through the group >>>> leader only. >>>> >>>> Signed-off-by: haifeng.xu >>>> --- >>>>    kernel/cgroup/cpuset.c | 3 +++ >>>>    1 file changed, 3 insertions(+) >>>> >>>> diff --git a/kernel/cgroup/cpuset.c b/kernel/cgroup/cpuset.c >>>> index 589827ccda8b..43cbd09546d0 100644 >>>> --- a/kernel/cgroup/cpuset.c >>>> +++ b/kernel/cgroup/cpuset.c >>>> @@ -1968,6 +1968,9 @@ static void update_tasks_nodemask(struct cpuset >>>> *cs) >>>>              cpuset_change_task_nodemask(task, &newmems); >>>>    +        if (!thread_group_leader(task)) >>>> +            continue; >>>> + >>>>            mm = get_task_mm(task); >>>>            if (!mm) >>>>                continue; >>> Could you try the attached test patch to see if it can fix your problem? >>> Something along the line of this patch will be more acceptable. >>> >>> Thanks, >>> Longman >>> >> Hi, Longman. >> Thanks for your patch, but there are still some problems. >> >> 1） >>    (group leader, node: 0,1) >>           cgroup0 >>           /     \ >>          /       \ >>      cgroup1   cgroup2 >>     (threads)  (threads) >> >> If set node 0 in cgroup1 and node 1 in cgroup2, both of them will update >> the mm. And the nodemask of mm depends on who set the node last. > > Yes, that is the existing behavior. It was not that well defined in the > past and so it is somewhat ambiguous as to what we need to do about it. > The test patch works if the child threads are in same cpuset with group leader which has same logic with my patch. But if they are in different cpusets, the test patch will fail because the contention of mmap_lock still exsits and seems similar to the original logic. > BTW, cgroup1 has a memory_migrate flag which will force page migration > if set. I guess you may have it set in your case as it will introduce a > lot more delay as page migration takes time. That is probably the reason > why you are seeing a long delay. So one possible solution is to turn > this flag off. Cgroup v2 doesn't have this flag. > Dou you mean 'CS_MEMORY_MIGRATE'? This flag can be turn off in Cgroup v1, but it has been set in Cgroup v2 (cpuset_css_alloc) in default and couldn't be changed. >> >> 2） >>     (process, node: 0,1) >>           cgroup0 >>           /     \ >>          /       \ >>      cgroup1   cgroup2 >>     (node: 0)  (node: 1) >> >> If migrate thread from cgroup0 to cgroup1 or cgroup2, cpuset_attach >> won't update the mm. So the nodemask of thread, including mems_allowed >> and mempolicy（updated in cpuset_change_task_nodemask）, is different >> from >> the vm_policy in vma(updated in mpol_rebind_mm). > > Yes, that can be the case. > >> >> >> In a word, if threads have different cpusets with different nodemask, it >> will cause inconsistent memory behavior. > > So do you have suggestion of what we need to do going forward? Should we prevent thread from migrating to those cgroups which have different nodemask with the cgroup that contains the group leader? In addition, the group leader and child threads should be in same cgroup tree, also the level of cgroup containes group leader must be higher than these cgroups contain child threads, so update_nodemask will work. Or just disable thread migration in cpuset？It's easy to achieve but will affect cpu bind. > > Cheers, > Longman > >