From patchwork Sat Oct 14 20:40:40 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "Kirill A. Shutemov" X-Patchwork-Id: 13422112 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 kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id AABEECDB465 for ; Sat, 14 Oct 2023 20:42:12 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id BEE546B01AA; Sat, 14 Oct 2023 16:42:11 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id B78F46B01AB; Sat, 14 Oct 2023 16:42:11 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id A18706B01AE; Sat, 14 Oct 2023 16:42:11 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0015.hostedemail.com [216.40.44.15]) by kanga.kvack.org (Postfix) with ESMTP id 8DF326B01AA for ; Sat, 14 Oct 2023 16:42:11 -0400 (EDT) Received: from smtpin07.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay02.hostedemail.com (Postfix) with ESMTP id 5446912068B for ; Sat, 14 Oct 2023 20:42:11 +0000 (UTC) X-FDA: 81345239262.07.02225A5 Received: from mgamail.intel.com (mgamail.intel.com [192.55.52.136]) by imf01.hostedemail.com (Postfix) with ESMTP id 4D1C440002 for ; Sat, 14 Oct 2023 20:42:08 +0000 (UTC) Authentication-Results: imf01.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=WS1mbjgr; dmarc=pass (policy=none) header.from=intel.com; spf=none (imf01.hostedemail.com: domain of kirill.shutemov@linux.intel.com has no SPF policy when checking 192.55.52.136) smtp.mailfrom=kirill.shutemov@linux.intel.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1697316128; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-transfer-encoding:content-transfer-encoding: in-reply-to:references:dkim-signature; bh=nrBmvd9+HKQtjiJXEc2CELH7cTTlhGMjGBmYVCmqqBE=; b=hfz43+hA63nUianJYX20FlKsQjI0IkwEMSscKQvm297N6SHutQCJNtc/JoBq/oP+/ytFTI HBzWQaYTk7uY+gzTp2Y/nOvFbnRm3TE2aTJ9DC68ciKFe1v/bJOM2AynElQ7pcvQFO0Dsa 5tImzf0UIVsqPN2anmJL8ixE+wzGVzk= ARC-Authentication-Results: i=1; imf01.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=WS1mbjgr; dmarc=pass (policy=none) header.from=intel.com; spf=none (imf01.hostedemail.com: domain of kirill.shutemov@linux.intel.com has no SPF policy when checking 192.55.52.136) smtp.mailfrom=kirill.shutemov@linux.intel.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1697316128; a=rsa-sha256; cv=none; b=RkfV04vdJ/601BF+Ei1amfDZ+RPcAMYKYgvCxW+hHTwxj2V840HVw7xRZMQ01CbP9Zk/EM xTazdmOB+obaAJrUVUsgVBshevoBir7EPkOC1LppJ9jK8dRskqJou/dFIyn9+7FY8BsCNf bUUUoSLjHaUZQygE+jlCx7LaNRYL8Rs= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1697316128; x=1728852128; h=from:to:cc:subject:date:message-id:mime-version: content-transfer-encoding; bh=OaslphHan7Hv5PmKPolRGCoW4aUeL2tsgJv2nV+xZCk=; b=WS1mbjgr7rFcK/qdb2OsxzQ/E4Q6DNOTN0qG7USCLSX+vYzAJe7tR/vO hU+ELNor6hmxN8xld03B0EwTls7w1GaCcTHNOG0b4QvdxZLlAK9uahN98 uZuSx8OG/OshPRyNFHUTY09q5K0Rv9J3QS+ik/nj8ZH57OQTZHziM/hA4 ObNwJBbWD2fDyoIR0rT+DI3gOit9LwsUmxosRKLQQI/2rwGAvhLgTOt6m RTw9VR7+yI1O+3XDTWL+Pyr0FNFW5fSXjPu9H5qWKBVk57QeRLgjj15d4 /grHsmn2xUFntDsr9o0jXSKFaplidU/HKTW7z7M3EGzj4aBsauJCDZ0Sw w==; X-IronPort-AV: E=McAfee;i="6600,9927,10863"; a="364709456" X-IronPort-AV: E=Sophos;i="6.03,224,1694761200"; d="scan'208";a="364709456" Received: from orsmga007.jf.intel.com ([10.7.209.58]) by fmsmga106.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Oct 2023 13:42:06 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6600,9927,10863"; a="748755154" X-IronPort-AV: E=Sophos;i="6.03,224,1694761200"; d="scan'208";a="748755154" Received: from asamachi-mobl.amr.corp.intel.com (HELO box.shutemov.name) ([10.251.223.207]) by orsmga007-auth.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Oct 2023 13:41:58 -0700 Received: by box.shutemov.name (Postfix, from userid 1000) id 5676210A1C3; Sat, 14 Oct 2023 23:41:55 +0300 (+03) From: "Kirill A. Shutemov" To: Borislav Petkov , Andy Lutomirski , Dave Hansen , Sean Christopherson , Andrew Morton , Joerg Roedel , Ard Biesheuvel Cc: Andi Kleen , Kuppuswamy Sathyanarayanan , David Rientjes , Vlastimil Babka , Tom Lendacky , Thomas Gleixner , Peter Zijlstra , Paolo Bonzini , Ingo Molnar , Dario Faggioli , Mike Rapoport , David Hildenbrand , Mel Gorman , marcelo.cerri@canonical.com, tim.gardner@canonical.com, khalid.elmously@canonical.com, philip.cox@canonical.com, aarcange@redhat.com, peterx@redhat.com, x86@kernel.org, linux-mm@kvack.org, linux-coco@lists.linux.dev, linux-efi@vger.kernel.org, linux-kernel@vger.kernel.org, "Kirill A. Shutemov" , stable@kernel.org Subject: [PATCH] efi/unaccepted: Fix soft lockups caused by parallel memory acceptance Date: Sat, 14 Oct 2023 23:40:40 +0300 Message-ID: <20231014204040.28765-1-kirill.shutemov@linux.intel.com> X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Rspamd-Queue-Id: 4D1C440002 X-Rspam-User: X-Rspamd-Server: rspam02 X-Stat-Signature: swi3pid1f3rpcku59z7m3dr4pjbot7p5 X-HE-Tag: 1697316128-870900 X-HE-Meta: U2FsdGVkX1+Zg/u8kkUiI5RzFFiQpX0Lq2vwyT7V676yEIC6nQ2fDwPNHM04u2rdhx3KpctEQCSd6ObmBOEua1//KOlbLXMzJfZYifs+/ZddjlAE1Pp21jMV8nsotKA8ywhSH8ytonq9Yn+3W3ocntimB8C0L12LS4oe49J13UJdF35A3bkgJ0WeLHPmDASOXmjOZuZ63unddy8OLqBiSbnmVlphfV3vwjIHpvM8Ca9YRU1ReWTDYlfCZveKS5E/DQEWXloYpCCITlf2NHl55R6eeVdqdiH8rXgPqK4ejvuuqpn25eCGoaPS8Jpqx3leYj85HQgAT3CMOr9ApGIGGn7IS+HOHPJ6a7DwbIq1A6DYek2thOOyWRWPpLcogcQwtq1p04uZT31cqs5QfClxU924gAR9iVQkQigWuuF2cgb4DYbv0hzhiR7LcLKD6Idkn9tM3jGeEkhn1zzcm5xu1S6sILwKfFVYZhTOI/BgD3nXo/WR+aIBMfKZN/wmieu1gUAKOFTgcPq2v785AhgXV9cwnXv2k0v6lhE64il/VWjGZniL1r9DdplnPzcmkqLRAa6N2jYVaGp6gMRZYZTYRLvuX/4+D6Pqb8x+SVh0yp/zMtosxGCnx5avN6m4VWMkI9t7H1GpGI7TsYZLiDYOH2KF+0+SZ/hoZ/sfX+6cbOaiSgN7QfaI3qZX98XyZKv6bD53t6hDbyNhckePMAMfpUFY/txZkrQKX1wq6csjUNALgxk4CcE9AEqPIS+3Onin1BRO24+Vxgm7bYODq1+qu41CxeXBmwXSYY8ze+lg7A1xyw4h+hZ/FPu3qu1zA3nym1IVP3jzAzeE5cGkUB5xjiSk9uZnA9ie4DcrBFfmJc7l3sIpDR2WyV66L4tR1GWsyk0cAkcKn4Z7op2qgBeOp5ZINaMD9y/Uw6mvCBHqvaOUcMxzwYJTgo4Z0m8cRv7HVp4NV83IGKnnDXDyeQh /P1O8/HC +3wUhYiuBIq608DDaWWf6nQKGymJf4b9s9WLc8SxLPSpXbv5HbMyhdkvk4ApkfPTl7HhMHrTS4MYVXWmmlWmOgQA1oUv8CFVOOZkgBCW9Rcna9qM598Po8ac3TnVnvNlInF+CjqoIIc8NHVWr9hLWLcghfoTGYk82fgwEgHDq5d34TKwkZaMYjrHPXMULvldp1GgI7IFiBuWNEDg9We78sITsTB/mpJGCJhOp X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: Michael reported soft lockups on a system that has unaccepted memory. This occurs when a user attempts to allocate and accept memory on multiple CPUs simultaneously. The root cause of the issue is that memory acceptance is serialized with a spinlock, allowing only one CPU to accept memory at a time. The other CPUs spin and wait for their turn, leading to starvation and soft lockup reports. To address this, the code has been modified to release the spinlock while accepting memory. This allows for parallel memory acceptance on multiple CPUs. A newly introduced "accepting_list" keeps track of which memory is currently being accepted. This is necessary to prevent parallel acceptance of the same memory block. If a collision occurs, the lock is released and the process is retried. Such collisions should rarely occur. The main path for memory acceptance is the page allocator, which accepts memory in MAX_ORDER chunks. As long as MAX_ORDER is equal to or larger than the unit_size, collisions will never occur because the caller fully owns the memory block being accepted. Aside from the page allocator, only memblock and deferered_free_range() accept memory, but this only happens during boot. The code has been tested with unit_size == 128MiB to trigger collisions and validate the retry codepath. Signed-off-by: Kirill A. Shutemov Reported-by: Michael Roth Reviewed-by: Nikolay Borisov --- drivers/firmware/efi/unaccepted_memory.c | 55 ++++++++++++++++++++++-- 1 file changed, 51 insertions(+), 4 deletions(-) diff --git a/drivers/firmware/efi/unaccepted_memory.c b/drivers/firmware/efi/unaccepted_memory.c index 853f7dc3c21d..8af0306c8e5c 100644 --- a/drivers/firmware/efi/unaccepted_memory.c +++ b/drivers/firmware/efi/unaccepted_memory.c @@ -5,9 +5,17 @@ #include #include -/* Protects unaccepted memory bitmap */ +/* Protects unaccepted memory bitmap and accepting_list */ static DEFINE_SPINLOCK(unaccepted_memory_lock); +struct accept_range { + struct list_head list; + unsigned long start; + unsigned long end; +}; + +static LIST_HEAD(accepting_list); + /* * accept_memory() -- Consult bitmap and accept the memory if needed. * @@ -24,6 +32,7 @@ void accept_memory(phys_addr_t start, phys_addr_t end) { struct efi_unaccepted_memory *unaccepted; unsigned long range_start, range_end; + struct accept_range range, *entry; unsigned long flags; u64 unit_size; @@ -78,20 +87,58 @@ void accept_memory(phys_addr_t start, phys_addr_t end) if (end > unaccepted->size * unit_size * BITS_PER_BYTE) end = unaccepted->size * unit_size * BITS_PER_BYTE; - range_start = start / unit_size; - + range.start = start / unit_size; + range.end = DIV_ROUND_UP(end, unit_size); +retry: spin_lock_irqsave(&unaccepted_memory_lock, flags); + + /* + * Check if anybody works on accepting the same range of the memory. + * + * The check with unit_size granularity. It is crucial to catch all + * accept requests to the same unit_size block, even if they don't + * overlap on physical address level. + */ + list_for_each_entry(entry, &accepting_list, list) { + if (entry->end < range.start) + continue; + if (entry->start >= range.end) + continue; + + /* + * Somebody else accepting the range. Or at least part of it. + * + * Drop the lock and retry until it is complete. + */ + spin_unlock_irqrestore(&unaccepted_memory_lock, flags); + cond_resched(); + goto retry; + } + + /* + * Register that the range is about to be accepted. + * Make sure nobody else will accept it. + */ + list_add(&range.list, &accepting_list); + + range_start = range.start; for_each_set_bitrange_from(range_start, range_end, unaccepted->bitmap, - DIV_ROUND_UP(end, unit_size)) { + range.end) { unsigned long phys_start, phys_end; unsigned long len = range_end - range_start; phys_start = range_start * unit_size + unaccepted->phys_base; phys_end = range_end * unit_size + unaccepted->phys_base; + spin_unlock_irqrestore(&unaccepted_memory_lock, flags); + arch_accept_memory(phys_start, phys_end); + + spin_lock_irqsave(&unaccepted_memory_lock, flags); bitmap_clear(unaccepted->bitmap, range_start, len); } + + list_del(&range.list); spin_unlock_irqrestore(&unaccepted_memory_lock, flags); }