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 autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by aws-us-west-2-korg-lkml-1.web.codeaurora.org (Postfix) with ESMTP id 11E79C433EF for ; Wed, 13 Jun 2018 07:16:02 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id C1581208B2 for ; Wed, 13 Jun 2018 07:16:01 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org C1581208B2 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=kernel.org Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S934517AbeFMHQA (ORCPT ); Wed, 13 Jun 2018 03:16:00 -0400 Received: from mx2.suse.de ([195.135.220.15]:37499 "EHLO mx2.suse.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S933999AbeFMHP6 (ORCPT ); Wed, 13 Jun 2018 03:15:58 -0400 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay1.suse.de (charybdis-ext-too.suse.de [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 843F5AD08; Wed, 13 Jun 2018 07:15:56 +0000 (UTC) Date: Wed, 13 Jun 2018 09:15:52 +0200 From: Michal Hocko To: Vlastimil Babka Cc: Jason Baron , akpm@linux-foundation.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, Joonsoo Kim , Mel Gorman , "Kirill A. Shutemov" , linux-api@vger.kernel.org, emunson@mgebm.net Subject: Re: [PATCH] mm/madvise: allow MADV_DONTNEED to free memory that is MLOCK_ONFAULT Message-ID: <20180613071552.GD13364@dhcp22.suse.cz> References: <1528484212-7199-1-git-send-email-jbaron@akamai.com> <20180611072005.GC13364@dhcp22.suse.cz> <4c4de46d-c55a-99a8-469f-e1e634fb8525@akamai.com> <20180611150330.GQ13364@dhcp22.suse.cz> <775adf2d-140c-1460-857f-2de7b24bafe7@akamai.com> <20180612074646.GS13364@dhcp22.suse.cz> <5a9398f4-453c-5cb5-6bbc-f20c3affc96a@akamai.com> <0daccb7c-f642-c5ce-ca7a-3b3e69025a1e@suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <0daccb7c-f642-c5ce-ca7a-3b3e69025a1e@suse.cz> User-Agent: Mutt/1.9.5 (2018-04-13) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed 13-06-18 08:32:19, Vlastimil Babka wrote: > On 06/12/2018 04:11 PM, Jason Baron wrote: > > > > > > On 06/12/2018 03:46 AM, Michal Hocko wrote: > >> On Mon 11-06-18 12:23:58, Jason Baron wrote: > >>> On 06/11/2018 11:03 AM, Michal Hocko wrote: > >>>> So can we start discussing whether we want to allow MADV_DONTNEED on > >>>> mlocked areas and what downsides it might have? Sure it would turn the > >>>> strong mlock guarantee to have the whole vma resident but is this > >>>> acceptable for something that is an explicit request from the owner of > >>>> the memory? > >>>> > >>> > >>> If its being explicity requested by the owner it makes sense to me. I > >>> guess there could be a concern about this breaking some userspace that > >>> relied on MADV_DONTNEED not freeing locked memory? > >> > >> Yes, this is always the fear when changing user visible behavior. I can > >> imagine that a userspace allocator calling MADV_DONTNEED on free could > >> break. The same would apply to MLOCK_ONFAULT/MCL_ONFAULT though. We > >> have the new flag much shorter so the probability is smaller but the > >> problem is very same. So I _think_ we should treat both the same because > >> semantically they are indistinguishable from the MADV_DONTNEED POV. Both > >> remove faulted and mlocked pages. Mlock, once applied, should guarantee > >> no later major fault and MADV_DONTNEED breaks that obviously. > > I think more concerning than guaranteeing no later major fault is > possible data loss, e.g. replacing data with zero-filled pages. But MADV_DONTNEED is an explicit call for data loss. Or do I miss your point? > The madvise manpage is also quite specific about not allowing > MADV_DONTNEED and MADV_FREE for locked pages. Yeah, but that seems to describe the state of the art rather than explain why. > So I don't think we should risk changing that for all mlocked pages. > Maybe we can risk MCL_ONFAULT, since it's relatively new and has few users? That is what Jason wanted but I argued that the two are the same from MADV_DONTNEED point of view. I do not see how treating them differently would be less confusing or error prone. It's new so we can make it behave differently is certainly not an argument. > >> So the more I think about it the more I am worried about this but I am > >> more and more convinced that making ONFAULT special is just a wrong way > >> around this. > >> > > > > Ok, I share the concern that there is a chance that userspace is relying > > on MADV_DONTNEED not free'ing locked memory. In that case, what if we > > introduce a MADV_DONTNEED_FORCE, which does everything that > > MADV_DONTNEED currently does but in addition will also free mlock areas. > > That way there is no concern about breaking something. > > A new niche case flag? Sad :( > > BTW I didn't get why we should allow this for MADV_DONTNEED but not > MADV_FREE. Can you expand on that? Well, I wanted to bring this up as well. I guess this would require some more hacks to handle the reclaim path correctly because we do rely on VM_LOCK at many places for the lazy mlock pages culling. -- Michal Hocko SUSE Labs