Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754742AbaBRRvq (ORCPT ); Tue, 18 Feb 2014 12:51:46 -0500 Received: from mail-vc0-f173.google.com ([209.85.220.173]:45148 "EHLO mail-vc0-f173.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752225AbaBRRvp (ORCPT ); Tue, 18 Feb 2014 12:51:45 -0500 MIME-Version: 1.0 In-Reply-To: <53035FE2.4080300@redhat.com> References: <1392662333-25470-1-git-send-email-kirill.shutemov@linux.intel.com> <53035FE2.4080300@redhat.com> Date: Tue, 18 Feb 2014 09:51:44 -0800 X-Google-Sender-Auth: hz5_3o00MH2qm7oAhhicSOtu6g0 Message-ID: Subject: Re: [RFC, PATCHv2 0/2] mm: map few pages around fault address if they are in page cache From: Linus Torvalds To: Rik van Riel Cc: "Kirill A. Shutemov" , Andrew Morton , Mel Gorman , Andi Kleen , Matthew Wilcox , Dave Hansen , Alexander Viro , Dave Chinner , linux-mm , linux-fsdevel , Linux Kernel Mailing List Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Feb 18, 2014 at 5:28 AM, Rik van Riel wrote: > > What would the direct io code do when it runs into a page with > elevated mapcount, but for which a mapping cannot be found yet? Actually, you cannot get into that situation, since the definition of "found" is that you have to follow the page tables (remember: this is a *file* mapping, not an anonymous one, so you don't actually have an rmap list, you have the inode mapping list). And since we hold the page table lock, you cannot actually get to the point where you see that it's not mapped yet. See? That said: > Looking at the code, it looks like the above scheme could cause > some trouble with invalidate_inode_pages2_range(), which has > the following sequence: > > if (page_mapped(page)) { > ... unmap page > } > BUG_ON(page_mapped(page)); The BUG_ON() itself could trigger, because it could race with us optimistically trying to increment the page mapping code. And yes, we might have to remove that. But the actual "unmap page" logic should not be able to ever see any difference. See my argument? Linus -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/