Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <bbc01477-231b-3dbb-3e09-9338f5413f06@oracle.com>
Date:   Wed, 20 Jul 2022 13:27:28 +1000
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0)
 Gecko/20100101 Thunderbird/91.11.0
Subject: Query regarding deadlock involving cgroup_threadgroup_rwsem and
 cpu_hotplug_lock
Content-Language: en-US
From:   Imran Khan <imran.f.khan@oracle.com>
To:     tj@kernel.org, lizefan.x@bytedance.com, hannes@cmpxchg.org,
        tglx@linutronix.de, steven.price@arm.com, peterz@infradead.org
Cc:     cgroups@vger.kernel.org, linux-kernel@vger.kernel.org
References: <8245b710-8acb-d8e6-7045-99a5f71dad4e@oracle.com>
 <26d0e4cc-be0e-2c12-6174-dfbb1edb1ed6@oracle.com>
In-Reply-To: <26d0e4cc-be0e-2c12-6174-dfbb1edb1ed6@oracle.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?UWFPaEtNWlZrWjJmb3E1Z1FpYS9Ed3JPVXQ4WUozNUl1T2ZsY1pUYXVYZGNi?=
 =?utf-8?B?OTVpaW5sTWlYTkJBOUtnQWpFcVE3NTYrMVVGZEo5dDhHYS9BL0lTc1p5eEln?=
 =?utf-8?B?U1FGOVNaWGpmSmpGbG1mOThpUmpnMTlLNkpYZWhDV2dWemc5a05qekh5VVN6?=
 =?utf-8?B?R2JNK1JuelBXNHVOdVVhdDBZM0VNT1dqaXRCdnRaZEl6cVlqeTNGcVJHalN0?=
 =?utf-8?B?blNINmpmdysyck5vSENTZzdKSGJPVnVUak1raVVBbTVGdDdJRW5FdC9yV1cx?=
 =?utf-8?B?Q2FrMHcyU1FHMTR0emVEUCs3ZzAvQm5MaWZCeXhSTlVOQzdINVdQaldOU2R0?=
 =?utf-8?B?MjRGRkdYZmRqUnlxTmdpcXNUMEVwNmVnSDBOTHJGRlBCQW1ZTllFL1gxTmVv?=
 =?utf-8?B?emZaNzRVUXJERUZ4Y2VOQm1WSHY4Zk92MmZ0OVhpQVpKZlFabW9tcHFlL3Nv?=
 =?utf-8?B?ZFRCcUd1TEZNMzlNeURjT2VOUXMyelZ1WENDdVRjMFhteGdXakJpVjNUVlVG?=
 =?utf-8?B?S2htSm9UZlA0VjB2MVIrZzUyTitjdnFVQUI1VlZTempXZTFjU1J5bXVSRG8y?=
 =?utf-8?B?eGdsQlRWdXFCVEFISWxKV2MzbXhCWmw4RTNwNVJBeEpXNUZSMFhsRVJqQ1hF?=
 =?utf-8?B?THhXM0ZvV1AwMTJkNE16bUIxVGxVTmxuTmQ1Q0FhNjVOQmxCTnJSZnhFL3lp?=
 =?utf-8?B?WExmaTB3a3QxUnY0WU01MHJMMjUvalNPd204UFpwc3h0d1AvQUgvMHRLWkwr?=
 =?utf-8?B?RGpmdytxaCtycWVoT3FFNUg4dHdQZGdVbzBoZ09JSjVFRTlQanRwY3J1UENJ?=
 =?utf-8?B?czVVMC8rNHNTWmJ3YnRUUWdTRzNvcFhxblF3WGNad2FvMlhmUFBHeTUyanhW?=
 =?utf-8?B?aThCajQ4WThuTjVtb1NFeDBqVTNoS1M1ZUg1N1BVUmRFMWRMcHBheGVWdGRs?=
 =?utf-8?B?UllaMmdublNKa1NNcWpvR2hIdjVsWG5mcGJ2MDF4R2ZLYkpablYyNFVZR0pm?=
 =?utf-8?B?TFhpYy8vMDFJRUNvTm5aRjZpanR6bnphZitUdHNOdUVURjYvVmdxRnFuelpu?=
 =?utf-8?B?YVViSHdNeER6QzdvWitlU29mT2xHbUlyaTc2Z0ZsOHBQMUJPUUJXZktjL1Rm?=
 =?utf-8?B?UVY2ZkVNZWtuT0lONndEQVljMCszSzc4S0hIMkF4RDBFWTBqSjBuV0xSb3R6?=
 =?utf-8?B?UThYaWZUTkZZV1VPckR0ZmlLQWtWdzBhcG1jZUtXL2F5bEdQb0tMRzFUNWlt?=
 =?utf-8?B?c3RlQllXNGxmVjVZWFZ6SVA0MWtMK0tGZWNVQlVIYS9zTUgzamIzUzBvMTB6?=
 =?utf-8?B?ZGNVSFkvczlpZngwWDJ6c0dlVGM5anZ1Kzl3czdsOVhyUHdJTm5uaHdKVnp1?=
 =?utf-8?B?OEorbUhmc2x2RGlsWmlqeW9yWURuQ0lCODBLRmVGRU9zcVg1VHB1aEZtSC8w?=
 =?utf-8?B?UmpLdC9va3ZIdkQvbS9Qc1F4Vnowb1kvcFJDbElKTFhrdjBBTGVwYTBpc3RV?=
 =?utf-8?B?aXR5L1U2UUxiZnZkWWFydVdzZjM2bnZwNi9mTndYMXBVVWpTZnN1Nm1BUjB5?=
 =?utf-8?B?UVVnV2NYenBCU1oxcXJON0tlRzlTZFdvZTBPOVc5TnVwRkhDQ1pkaUFxdURF?=
 =?utf-8?B?Y2NpTlRFdXo4RGt5eFNPTDkyQUtJNkNNbFRrNHYxV1JwazVBR0N4Rjk2cmpV?=
 =?utf-8?B?bGh2ZTZMRjZRajRncHA2dVNtVmpPeU9iNUFSRkt3TVlNellUMXhhaTIwb3pL?=
 =?utf-8?B?ZDNTL2JXaHdrTVlkZjZOVDVvUjUxWmdsS2dnOG9Eem14ZmFxTmp2eHEramRp?=
 =?utf-8?B?aEZHYVdSRGYwUnZIZnhGRFVobWtEcm5lOWlkcjNRZXpiS3VSZC9nUmlRRjVY?=
 =?utf-8?B?UjlVcUJnV25wS0RoYi9pZndMMjZISnlhVGhtekFjcjdCZVZiMmpMbzhyajZx?=
 =?utf-8?B?b3l4cTRRMmVEWU8xQmVDZzZqamsxVGRRS2dnMmd4RE9kT3RTdkNuK0ZtVkg5?=
 =?utf-8?B?ZTM0Zk1SUmxtdkhWbG4zVHUvRU40OUJNWFM3c2g3TUxKazRKSVJIRHoxSE9T?=
 =?utf-8?B?WE9xOGR5cVpYbTRhdFRGRUl6VXdHTmJ2NWtwaWwyYURrRnVNQ0R3dEZ6bEtH?=
 =?utf-8?Q?iO67tw6KsMGyOfboU8PO1VcxV?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 4e2b4c00-8595-4fe7-39bf-08da69ffce40
X-MS-Exchange-CrossTenant-AuthSource: CO1PR10MB4468.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 20 Jul 2022 03:27:42.9131
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: BZZ6eSuYQHsG9feGqjFpm2eg99aDkdxf0X6hxt+KXKEeWRFCRIzCleNcpY61/ZzR72WYg1EG8waUI7ODaG8ggg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR10MB2921
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.205,Aquarius:18.0.883,Hydra:6.0.517,FMLib:17.11.122.1
 definitions=2022-07-19_10,2022-07-19_01,2022-06-22_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 mlxscore=0 mlxlogscore=943
 suspectscore=0 phishscore=0 adultscore=0 spamscore=0 malwarescore=0
 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2206140000
 definitions=main-2207200012
X-Proofpoint-GUID: iFSDoTS_U1orb_dQVN6qJjbUd82ADDWz
X-Proofpoint-ORIG-GUID: iFSDoTS_U1orb_dQVN6qJjbUd82ADDWz
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE autolearn=ham
        autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

Hello everyone,

I am seeing a deadlock between cgroup_threadgroup_rwsem and cpu_hotplug_lock in
5.4 kernel.

Due to some missing drivers I don't have this test setup for latest upstream
kernel but looking at the code the issue seems to be present in the latest
kernel as well. If needed I can provide stack traces and other relevant info
from the vmcore that I have got from 5.4 setup.

The description of the problem is as follows (I am using 5.19-rc7 as reference
below):

__cgroup_procs_write acquires cgroup_threadgroup_rwsem via
cgroup_procs_write_start and then invokes cgroup_attach_task. Now
cgroup_attach_task can invoke following call chain:

cgroup_attach_task --> cgroup_migrate --> cgroup_migrate_execute --> cpuset_attach

Here cpuset_attach tries to take cpu_hotplug_lock.

But by this time if some other context

1. is already in the middle of cpu hotplug and has acquired cpu_hotplug_lock in
_cpu_up but
2. has not yet reached CPUHP_ONLINE state and
3. one of the intermediate hotplug states (in my case CPUHP_AP_ONLINE_DYN ) has
a callback which involves creation of a thread (or invocation of copy_process
via some other path) the invoked copy_process will get blocked on
cgroup_threadgroup_rwsem in following call chain:

   copy_process --> cgroup_can_fork --> cgroup_css_set_fork -->
cgroup_threadgroup_change_begin


I am looking for suggestions to fix this deadlock.

Or if I am missing something in the above analysis and the above mention
scenario can't happen in latest upstream kernel, then please let me know as that
would help me in back porting relevant changes to 5.4 kernel because the issue
definitely exists in 5.4 kernel.

Thanks,
-- Imran