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 kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 798B7C433EF for ; Fri, 4 Mar 2022 04:36:41 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 19A818D0002; Thu, 3 Mar 2022 23:36:41 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 148018D0001; Thu, 3 Mar 2022 23:36:41 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 0101D8D0002; Thu, 3 Mar 2022 23:36:40 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (relay.hostedemail.com [64.99.140.27]) by kanga.kvack.org (Postfix) with ESMTP id E60468D0001 for ; Thu, 3 Mar 2022 23:36:40 -0500 (EST) Received: from smtpin11.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay13.hostedemail.com (Postfix) with ESMTP id BF58A6015D for ; Fri, 4 Mar 2022 04:36:40 +0000 (UTC) X-FDA: 79205442960.11.FA09F9C Received: from mail-oi1-f169.google.com (mail-oi1-f169.google.com [209.85.167.169]) by imf05.hostedemail.com (Postfix) with ESMTP id 2C9B8100005 for ; Fri, 4 Mar 2022 04:36:40 +0000 (UTC) Received: by mail-oi1-f169.google.com with SMTP id a6so6820002oid.9 for ; Thu, 03 Mar 2022 20:36:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20210112; h=date:from:to:cc:subject:message-id:mime-version; bh=ubRT/I2CUv/CzU15sag0BpLExw0Z36MhxpinxaZMddo=; b=YugMkUli8LsdB9nS9HQQQosFcFUTuoqbdLGjwTuiOUuwjBA5Sp2FiTvHOlv8NwcSV/ TJjcptFoAXLc9DKWb5AIuNzuGcI80pdxp0yOMjcQazOLY0PiRncTn0z6NtoTFm2BDDwp ZlHMnYBowB22BPxfNxxwxr4gejxB4xnxJnTsduKgWKc1H7TzYmqfaBIThrtCOL6l9Td3 bjQbsvh5d13H9MgTwUgiHIkkWiplOGhXXmsYURs3ybPJou9WvzRsJ/ggf96v06xC+yFg KZnCbkIpmJOai64bQCC1jNEbyZlKWsZ1e3QAOymaAUq5EuDJXIm45gTp12/gei6J8CrD fmxw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version; bh=ubRT/I2CUv/CzU15sag0BpLExw0Z36MhxpinxaZMddo=; b=2qlQoPS/6D9byAGq10U+Cqxq+g4NJH/0D/FncB88v7SO1pTgOpfTQfinxmb2N9x+9o drbvDTEjAokjlBfZ48YL363v1CAAickRTa/QUZFXZahMDNe8tIa/wILcL3BtxyqG+l9Y p+SS2pYI7EH82ao3DJ2I8U2MR6wEZ8qyyoReTSgTyVJLS3AAXo9GBSumSlB2JuALj9ea YZDgVTW8kGCc/ExQt0gJ+K+jqFihs5CoW/jNWIfQq65AFlMLNnVk7FJdyvpHOIb1UtPn lV5uYAE9pUwI9ZeenyEngTtL3F6pjxx4VJ2AfwMzWePLXDPqMZyv/6yWN0u+06M76NDs 19gQ== X-Gm-Message-State: AOAM530hAxhVz0nqYWGt2irKfOq7tkrthRFJt8QKYEnECosmYbFG6yrs rILgEMfiwBPpD7zAyAGmmpc60iLfQ4JgsA== X-Google-Smtp-Source: ABdhPJzDzlnRtq19dk5gPif9sFxsnduzhWmgwCGwUxyPHc1RvGhdM80t5mtiNsm/vCrKANLzMTSpqA== X-Received: by 2002:a05:6808:308f:b0:2d4:c4e4:9a66 with SMTP id bl15-20020a056808308f00b002d4c4e49a66mr7480347oib.50.1646368599319; Thu, 03 Mar 2022 20:36:39 -0800 (PST) Received: from ripple.attlocal.net (172-10-233-147.lightspeed.sntcca.sbcglobal.net. [172.10.233.147]) by smtp.gmail.com with ESMTPSA id i3-20020a056820138300b0031c0d227905sm1829839oow.19.2022.03.03.20.36.38 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 03 Mar 2022 20:36:38 -0800 (PST) Date: Thu, 3 Mar 2022 20:36:37 -0800 (PST) From: Hugh Dickins X-X-Sender: hugh@ripple.anvils To: Andrew Morton cc: Oleg Nesterov , Liam Howlett , linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: [PATCH mmotm] mempolicy: mbind_range() set_policy() after vma_merge() Message-ID: <319e4db9-64ae-4bca-92f0-ade85d342ff@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Rspamd-Server: rspam09 X-Rspamd-Queue-Id: 2C9B8100005 X-Stat-Signature: 7d5ey8n9o3qwiqntx5t1jqh49kjckggn Authentication-Results: imf05.hostedemail.com; dkim=pass header.d=google.com header.s=20210112 header.b=YugMkUli; spf=pass (imf05.hostedemail.com: domain of hughd@google.com designates 209.85.167.169 as permitted sender) smtp.mailfrom=hughd@google.com; dmarc=pass (policy=reject) header.from=google.com X-Rspam-User: X-HE-Tag: 1646368600-940135 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: v2.6.34 commit 9d8cebd4bcd7 ("mm: fix mbind vma merge problem") introduced vma_merge() to mbind_range(); but unlike madvise, mlock and mprotect, it put a "continue" to next vma where its precedents go to update flags on current vma before advancing: that left vma with the wrong setting in the infamous vma_merge() case 8. v3.10 commit 1444f92c8498 ("mm: merging memory blocks resets mempolicy") tried to fix that in vma_adjust(), without fully understanding the issue. v3.11 commit 3964acd0dbec ("mm: mempolicy: fix mbind_range() && vma_adjust() interaction") reverted that, and went about the fix in the right way, but chose to optimize out an unnecessary mpol_dup() with a prior mpol_equal() test. But on tmpfs, that also pessimized out the vital call to its ->set_policy(), leaving the new mbind unenforced. Just delete that optimization now (though it could be made conditional on vma not having a set_policy). Also remove the "next" variable: it turned out to be blameless, but also pointless. Fixes: 3964acd0dbec ("mm: mempolicy: fix mbind_range() && vma_adjust() interaction") Signed-off-by: Hugh Dickins --- mm/mempolicy.c | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) --- a/mm/mempolicy.c +++ b/mm/mempolicy.c @@ -786,7 +786,6 @@ static int vma_replace_policy(struct vm_area_struct *vma, static int mbind_range(struct mm_struct *mm, unsigned long start, unsigned long end, struct mempolicy *new_pol) { - struct vm_area_struct *next; struct vm_area_struct *prev; struct vm_area_struct *vma; int err = 0; @@ -801,8 +800,7 @@ static int mbind_range(struct mm_struct *mm, unsigned long start, if (start > vma->vm_start) prev = vma; - for (; vma && vma->vm_start < end; prev = vma, vma = next) { - next = vma->vm_next; + for (; vma && vma->vm_start < end; prev = vma, vma = vma->vm_next) { vmstart = max(start, vma->vm_start); vmend = min(end, vma->vm_end); @@ -817,10 +815,6 @@ static int mbind_range(struct mm_struct *mm, unsigned long start, anon_vma_name(vma)); if (prev) { vma = prev; - next = vma->vm_next; - if (mpol_equal(vma_policy(vma), new_pol)) - continue; - /* vma_merge() joined vma && vma->next, case 8 */ goto replace; } if (vma->vm_start != vmstart) {