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=-2.4 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS,USER_AGENT_SANE_2 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 4017FC3F68F for ; Mon, 10 Feb 2020 19:20:53 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id E97C120661 for ; Mon, 10 Feb 2020 19:20:52 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lca.pw header.i=@lca.pw header.b="PFLoOMSZ" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org E97C120661 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=lca.pw Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 5F1D36B0158; Mon, 10 Feb 2020 14:20:52 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 5A2C06B0159; Mon, 10 Feb 2020 14:20:52 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 491736B015A; Mon, 10 Feb 2020 14:20:52 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0151.hostedemail.com [216.40.44.151]) by kanga.kvack.org (Postfix) with ESMTP id 2D6986B0158 for ; Mon, 10 Feb 2020 14:20:52 -0500 (EST) Received: from smtpin16.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay01.hostedemail.com (Postfix) with ESMTP id DA11C180AD801 for ; Mon, 10 Feb 2020 19:20:51 +0000 (UTC) X-FDA: 76475184702.16.name88_41acaae6fb941 X-HE-Tag: name88_41acaae6fb941 X-Filterd-Recvd-Size: 3772 Received: from mail-qk1-f193.google.com (mail-qk1-f193.google.com [209.85.222.193]) by imf16.hostedemail.com (Postfix) with ESMTP for ; Mon, 10 Feb 2020 19:20:51 +0000 (UTC) Received: by mail-qk1-f193.google.com with SMTP id v195so7631599qkb.11 for ; Mon, 10 Feb 2020 11:20:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lca.pw; s=google; h=message-id:subject:from:to:cc:date:in-reply-to:references :mime-version:content-transfer-encoding; bh=51cTgMiOzN6t4plcVzbyVxA/Hfa9K5s86D9XKz8foUc=; b=PFLoOMSZfjTakPZVVHiqEzms+nZhWicg0v1zcsw8tTRzCJMxWDJuQmA5jwSoqKlU4s JICVBeW0DysNGyBGonFTojE65BcE/jOVXNjeXDgaswSP6ZNIGTfsSvZwmkwVTW6w6IUS ygpfrmETR+yc0G4Xvye/XEUrAX7m18ZDcTlxSDPA8FQhebaeiQfdX6bxvzNMBmKYwT6g zd92I1ne0J1nArS0hsBnidJtl9YcKa4D+oRXMnE2Z5Cue6LyEvVkv0f6xcHqtvPZwvMg eiv5m6+Gmxp7qv0gnj21PnW80beAnVVJawRgiZBcYZcHbCGxGDKowx7ZfpH2s/SXZD2u RMKw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:subject:from:to:cc:date:in-reply-to :references:mime-version:content-transfer-encoding; bh=51cTgMiOzN6t4plcVzbyVxA/Hfa9K5s86D9XKz8foUc=; b=NWWiLzQCwMvXjlWrU0MgSHDbpKtsk4JgT4BOlPnJ8BRYvIkTdJ9q1UHH0ovfmk+bqs vvabaMjS4xNrC9BRQtZQGkTbnamB1ws10CjPZlzyks1F0k1qtCK/1oC8GV4EPjyaGdBL c6RBs3xAZUaOUoxFM4X/ufWB9MscWG9dqcbaM11/b3APqS05ogDkIWzCYoLH1aiInWjJ Yyej2PlybU1lcSKBelNkH9bbLL+sX8wRMlV7RKHCxGvVI+Tn9ispTa6E80Jtf6CH3gw9 HwnnmC8yNOQA8v8Crg1LPVW/ZXPpaH9GvhhGcPEWusVH4HqnJz2wAHNxugnyBrYwm9Rt IxAQ== X-Gm-Message-State: APjAAAWm/yBfiujvKFCSzU0P2PhMSDmPRfNAlDePwlZFmOcHDTdqBmtP bhI6U3J6uOsO/Ol60/n8sUA5vg== X-Google-Smtp-Source: APXvYqyhQWGDq29aObGBXAbdpZaBnQ19QBKCnGJjv7qDahD+7HvQ+r+O5f2OoOpwicdmPlWezdUQuA== X-Received: by 2002:a05:620a:a09:: with SMTP id i9mr2788276qka.132.1581362450559; Mon, 10 Feb 2020 11:20:50 -0800 (PST) Received: from dhcp-41-57.bos.redhat.com (nat-pool-bos-t.redhat.com. [66.187.233.206]) by smtp.gmail.com with ESMTPSA id h6sm665297qtr.33.2020.02.10.11.20.49 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 10 Feb 2020 11:20:50 -0800 (PST) Message-ID: <1581362448.7365.38.camel@lca.pw> Subject: Re: [PATCH -next] mm/filemap: fix a data race in filemap_fault() From: Qian Cai To: Matthew Wilcox Cc: akpm@linux-foundation.org, elver@google.com, linux-mm@kvack.org, linux-kernel@vger.kernel.org Date: Mon, 10 Feb 2020 14:20:48 -0500 In-Reply-To: <20200210172511.GL8731@bombadil.infradead.org> References: <1581354029-20154-1-git-send-email-cai@lca.pw> <20200210172511.GL8731@bombadil.infradead.org> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.22.6 (3.22.6-10.el7) Mime-Version: 1.0 Content-Transfer-Encoding: 7bit X-Bogosity: Ham, tests=bogofilter, spamicity=0.003676, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Mon, 2020-02-10 at 09:25 -0800, Matthew Wilcox wrote: > On Mon, Feb 10, 2020 at 12:00:29PM -0500, Qian Cai wrote: > > @@ -2622,7 +2622,7 @@ void filemap_map_pages(struct vm_fault *vmf, > > if (page->index >= max_idx) > > goto unlock; > > > > - if (file->f_ra.mmap_miss > 0) > > + if (data_race(file->f_ra.mmap_miss > 0)) > > file->f_ra.mmap_miss--; > > How is this safe? Two threads can each see 1, and then both decrement the > in-memory copy, causing it to end up at -1. Well, I meant to say it is safe from *data* races rather than all other races, but it is a good catch for the underflow cases and makes some sense to fix them together (so we don't need to touch the same lines over and over again).