From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pf0-f197.google.com (mail-pf0-f197.google.com [209.85.192.197]) by kanga.kvack.org (Postfix) with ESMTP id EB3216B0005 for ; Mon, 16 Jul 2018 10:47:46 -0400 (EDT) Received: by mail-pf0-f197.google.com with SMTP id u8-v6so17838209pfn.18 for ; Mon, 16 Jul 2018 07:47:46 -0700 (PDT) Received: from mail-sor-f65.google.com (mail-sor-f65.google.com. [209.85.220.65]) by mx.google.com with SMTPS id u188-v6sor4830703pgu.152.2018.07.16.07.47.45 for (Google Transport Security); Mon, 16 Jul 2018 07:47:45 -0700 (PDT) Date: Mon, 16 Jul 2018 17:47:39 +0300 From: "Kirill A. Shutemov" Subject: Re: [PATCH 1/2] mm: Fix vma_is_anonymous() false-positives Message-ID: <20180716144739.que5362bofty6ocp@kshutemo-mobl1> References: <20180710134821.84709-1-kirill.shutemov@linux.intel.com> <20180710134821.84709-2-kirill.shutemov@linux.intel.com> <20180710134858.3506f097104859b533c81bf3@linux-foundation.org> <20180716133028.GQ17280@dhcp22.suse.cz> <20180716140440.fd3sjw5xys5wozw7@black.fi.intel.com> <20180716142245.GT17280@dhcp22.suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180716142245.GT17280@dhcp22.suse.cz> Sender: owner-linux-mm@kvack.org List-ID: To: Michal Hocko Cc: "Kirill A. Shutemov" , Andrew Morton , Dmitry Vyukov , Oleg Nesterov , Andrea Arcangeli , linux-mm@kvack.org, linux-kernel@vger.kernel.org, stable@vger.kernel.org On Mon, Jul 16, 2018 at 04:22:45PM +0200, Michal Hocko wrote: > On Mon 16-07-18 17:04:41, Kirill A. Shutemov wrote: > > On Mon, Jul 16, 2018 at 01:30:28PM +0000, Michal Hocko wrote: > > > On Tue 10-07-18 13:48:58, Andrew Morton wrote: > > > > On Tue, 10 Jul 2018 16:48:20 +0300 "Kirill A. Shutemov" wrote: > > > > > > > > > vma_is_anonymous() relies on ->vm_ops being NULL to detect anonymous > > > > > VMA. This is unreliable as ->mmap may not set ->vm_ops. > > > > > > > > > > False-positive vma_is_anonymous() may lead to crashes: > > > > > > > > > > ... > > > > > > > > > > This can be fixed by assigning anonymous VMAs own vm_ops and not relying > > > > > on it being NULL. > > > > > > > > > > If ->mmap() failed to set ->vm_ops, mmap_region() will set it to > > > > > dummy_vm_ops. This way we will have non-NULL ->vm_ops for all VMAs. > > > > > > > > Is there a smaller, simpler fix which we can use for backporting > > > > purposes and save the larger rework for development kernels? > > > > > > Why cannot we simply keep anon vma with null vm_ops and set dummy_vm_ops > > > for all users who do not initialize it in their mmap callbacks? > > > Basically have a sanity check&fixup in call_mmap? > > > > As I said, there's a corner case of MAP_PRIVATE of /dev/zero. > > This is really creative. I really didn't think about that. I am > wondering whether this really has to be handled as a private anonymous > mapping implicitly. Why does vma_is_anonymous has to succeed for these > mappings? Why cannot we simply handle it as any other file backed > PRIVATE mapping? Because it's established way to create anonymous mappings in Linux. And we cannot break the semantics. -- Kirill A. Shutemov