From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-pg0-f71.google.com (mail-pg0-f71.google.com [74.125.83.71]) by kanga.kvack.org (Postfix) with ESMTP id 621106B0033 for ; Wed, 25 Oct 2017 22:43:07 -0400 (EDT) Received: by mail-pg0-f71.google.com with SMTP id g6so1521607pgn.11 for ; Wed, 25 Oct 2017 19:43:07 -0700 (PDT) Received: from lgeamrelo12.lge.com (LGEAMRELO12.lge.com. [156.147.23.52]) by mx.google.com with ESMTP id f2si2334266plm.480.2017.10.25.19.43.05 for ; Wed, 25 Oct 2017 19:43:05 -0700 (PDT) Date: Thu, 26 Oct 2017 11:47:07 +0900 From: Joonsoo Kim Subject: Re: [PATCH 1/2] mm: drop migrate type checks from has_unmovable_pages Message-ID: <20171026024707.GA11791@js1304-P5Q-DELUXE> References: <20171019082041.5zudpqacaxjhe4gw@dhcp22.suse.cz> <20171019122118.y6cndierwl2vnguj@dhcp22.suse.cz> <20171020021329.GB10438@js1304-P5Q-DELUXE> <20171020055922.x2mj6j66obmp52da@dhcp22.suse.cz> <20171020065014.GA11145@js1304-P5Q-DELUXE> <20171020070220.t4o573zymgto5kmi@dhcp22.suse.cz> <20171023052309.GB23082@js1304-P5Q-DELUXE> <20171023081009.7fyz3gfrmurvj635@dhcp22.suse.cz> <20171024044423.GA31424@js1304-P5Q-DELUXE> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Sender: owner-linux-mm@kvack.org List-ID: To: Vlastimil Babka Cc: Michal Hocko , linux-mm@kvack.org, Michael Ellerman , Andrew Morton , KAMEZAWA Hiroyuki , Reza Arbab , Yasuaki Ishimatsu , qiuxishi@huawei.com, Igor Mammedov , Vitaly Kuznetsov , LKML On Tue, Oct 24, 2017 at 10:12:58AM +0200, Vlastimil Babka wrote: > On 10/24/2017 06:44 AM, Joonsoo Kim wrote: > >>> I'm not sure what is the confusing semantic you mentioned. I think > >>> that set_migratetype_isolate() has confusing semantic and should be > >>> fixed since making the pageblock isolated doesn't need to check if > >>> there is unmovable page or not. Do you think that > >>> set_migratetype_isolate() need to check it? If so, why? > >> > >> My intuitive understanding of set_migratetype_isolate is that it either > >> suceeds and that means that the given pfn range can be isolated for the > >> given type of allocation (be it movable or cma). No new pages will be > >> allocated from this range to allow converging into a free range in a > >> finit amount of time. At least this is how the hotplug code would like > >> to use it and I suppose that the alloc_contig_range would like to > >> guarantee the same to not rely on a fixed amount of migration attempts. > > > > Yes, alloc_contig_range() also want to guarantee the similar thing. > > Major difference between them is 'given pfn range'. memory hotplug > > works by pageblock unit but alloc_contig_range() doesn't. > > alloc_contig_range() works by the page unit. However, there is no easy > > way to isolate individual page so it uses pageblock isolation > > regardless of 'given pfn range'. In this case, checking movability of > > all pages on the pageblock would cause the problem as I mentioned > > before. > > I couldn't look too closely yet, but do I understand correctly that the > *potential* problem (because as you say there are no such > alloc_contig_range callers) you are describing is not newly introduced > by Michal's series? Then his patch fixing the introduced regression This potential problem exists there before Michal's series if the migratetype of the target pageblock isn't MIGRATE_MOVABLE or MIGRATE_CMA. However, his series enlarges this potential problem surface. It would be the problem now even if the migratetype of the target pageblock is MIGRATE_MOVABLE. > should be enough for now, and further improvements could be posted on > top, and not vice versa? Please don't take it wrong, I agree the current > state is a bit of a mess and improvements are welcome. Also it seems to I'm not very sensitive that which patch is applied first. I can do rebase. But, IMHO, correct applying order is my patch first and then Michal's series. Anyway, Michal, feel free to do what you think correct. > me that Michal is right, and there's nothing preventing > alloc_contig_range() to allocate from CMA pageblocks for non-CMA > purposes (likely not movable), and that should be also fixed? I noticed the problem you mentioned now and, yes, it should be fixed. My patch will naturally fixes this issue, too. Thanks. -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@kvack.org. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: email@kvack.org