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 X-Spam-Level: X-Spam-Status: No, score=-1.0 required=3.0 tests=MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 52A7AC47247 for ; Fri, 1 May 2020 00:03:20 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 1487220873 for ; Fri, 1 May 2020 00:03:19 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 1487220873 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=kernel.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id A07D08E0005; Thu, 30 Apr 2020 20:03:19 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 9B8258E0001; Thu, 30 Apr 2020 20:03:19 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 8A6B88E0005; Thu, 30 Apr 2020 20:03:19 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0130.hostedemail.com [216.40.44.130]) by kanga.kvack.org (Postfix) with ESMTP id 72E588E0001 for ; Thu, 30 Apr 2020 20:03:19 -0400 (EDT) Received: from smtpin21.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay02.hostedemail.com (Postfix) with ESMTP id 34DD45836 for ; Fri, 1 May 2020 00:03:19 +0000 (UTC) X-FDA: 76766200518.21.pear85_3a08381e7665d X-HE-Tag: pear85_3a08381e7665d X-Filterd-Recvd-Size: 5742 Received: from mail-ua1-f67.google.com (mail-ua1-f67.google.com [209.85.222.67]) by imf06.hostedemail.com (Postfix) with ESMTP for ; Fri, 1 May 2020 00:03:18 +0000 (UTC) Received: by mail-ua1-f67.google.com with SMTP id s5so3240582uad.4 for ; Thu, 30 Apr 2020 17:03:18 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to; bh=89Z7r8iD/0NKOVoXCJcX8FvWsMx9t7cw7PfWtZ+Xwlg=; b=K6n+StCEB6Sf+gdNQTqaBZBSnfhcnCPMPiT+kZVo1a/rUNY919hGe3vfbR0sWv/nnf mqwvIbrNnZstBN3engvRxtmfpnFjhHCRRQKsErobgqDdXrY5gHm5ly78XDtqzCMo3CAK Ph8jzqfV1nEgXHmYPB8c0hgRSmzOuiCjRHnO6zlku8XXSAO3yqu8/Y4SbGyilsm87vjL KLWcAd0LGKQrrmvvVP8mGDd2D5Xw2qUdKbztpbKu1d1wH8VVZKaJHvI/pG3lB73c93dk NjeflG7h+Bj/Uo29TGkd254tG1Tklzo1O1ryVdLS2Dti+W7aVfhsQux8h4U8a2KKHYyj HmtQ== X-Gm-Message-State: AGi0PuZPsVwz15KKs6i5WIfWhl/8O3R5HGhgVDvAEgsvAN3+KkbFx0vY VqkYex8FvE1QDbr2fBMNDBA= X-Google-Smtp-Source: APiQypJh1P49t8x/agbwYJf0OrNUf+alwRMWkCbXlYwf0+PXDf/yyr5brZNxy/qfVUaufSFxg2MRwg== X-Received: by 2002:ab0:7025:: with SMTP id u5mr1045186ual.130.1588291398085; Thu, 30 Apr 2020 17:03:18 -0700 (PDT) Received: from google.com (69.104.231.35.bc.googleusercontent.com. [35.231.104.69]) by smtp.gmail.com with ESMTPSA id k184sm379805vke.42.2020.04.30.17.03.13 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 30 Apr 2020 17:03:13 -0700 (PDT) Date: Fri, 1 May 2020 00:03:12 +0000 From: Dennis Zhou To: Filipe Manana Cc: Dennis Zhou , Andrew Morton , linux-mm@kvack.org, linux-kernel@vger.kernel.org, Tejun Heo , cl@linux.com, linux-btrfs , Filipe Manana Subject: Re: [PATCH] percpu: make pcpu_alloc() aware of current gfp context Message-ID: <20200501000312.GA188766@google.com> References: <20200430164356.15543-1-fdmanana@kernel.org> <20200430144018.c855f031b321d68e5c89b30c@linux-foundation.org> <20200430222347.GA164259@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: 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: On Thu, Apr 30, 2020 at 11:43:20PM +0100, Filipe Manana wrote: > On Thu, Apr 30, 2020 at 11:23 PM Dennis Zhou wrote: > > > > On Thu, Apr 30, 2020 at 02:40:18PM -0700, Andrew Morton wrote: > > > On Thu, 30 Apr 2020 17:43:56 +0100 fdmanana@kernel.org wrote: > > > > > > > From: Filipe Manana > > > > > > > > Since 5.7-rc1, on btrfs we have a percpu counter initialization for which > > > > we always pass a GFP_KERNEL gfp_t argument (this happens since commit > > > > 2992df73268f78 ("btrfs: Implement DREW lock")). That is safe in some > > > > contextes but not on others where allowing fs reclaim could lead to a > > > > deadlock because we are either holding some btrfs lock needed for a > > > > transaction commit or holding a btrfs transaction handle open. Because > > > > of that we surround the call to the function that initializes the percpu > > > > counter with a NOFS context using memalloc_nofs_save() (this is done at > > > > btrfs_init_fs_root()). > > > > > > > > However it turns out that this is not enough to prevent a possible > > > > deadlock because percpu_alloc() determines if it is in an atomic context > > > > by looking exclusively at the gfp flags passed to it (GFP_KERNEL in this > > > > case) and it is not aware that a NOFS context is set. Because it thinks > > > > it is in a non atomic context it locks the pcpu_alloc_mutex, which can > > > > result in a btrfs deadlock when pcpu_balance_workfn() is running, has > > > > acquired that mutex and is waiting for reclaim, while the btrfs task that > > > > called percpu_counter_init() (and therefore percpu_alloc()) is holding > > > > either the btrfs commit_root semaphore or a transaction handle (done at > > > > fs/btrfs/backref.c:iterate_extent_inodes()), which prevents reclaim from > > > > finishing as an attempt to commit the current btrfs transaction will > > > > deadlock. > > > > > > > > > > Patch looks good and seems sensible, thanks. > > > > > > > Acked-by: Dennis Zhou > > > > > But why did btrfs use memalloc_nofs_save()/restore() rather than > > > s/GFP_KERNEL/GFP_NOFS/? > > > > I would also like to know. > > For 2 reasons: > > 1) It's the preferred way to do it since > memalloc_nofs_save()/restore() was added (according to > Documentation/core-api/gfp_mask-from-fs-io.rst); > Thanks. I didn't realize it completely superceded GFP_NOFS. > 2) According to Documentation/core-api/gfp_mask-from-fs-io.rst, > passing GFP_NOFS to __vmalloc() doesn't work, so one has to use the > memalloc_nofs_save()/restore() API for that. And pcpu_alloc() calls > helpers that end up calling __vmalloc() (through pcpu_mem_zalloc()). > > And that's it. > I'm starting to remember a bit more. I guess it's not great how percpu manages GFP_ATOMIC as !GFP_KERNEL for the possible vmalloc() calls. At the time I believe the whitelist was the only way to deal with the recursive case. If I get a chance I'll look at the flags again and see if we can't do something better/ more aligned today. > > > > > Thanks, > > Dennis