From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Google-Smtp-Source: AH8x225Wb0+eJK+L7Kn/+CDUHvDZgkPYSXNxaFWOttafoelGH7LzKCePEn5X4Fxy3bVJVA9I8lgf ARC-Seal: i=1; a=rsa-sha256; t=1517256412; cv=none; d=google.com; s=arc-20160816; b=WRLoC67shaHOq0xKse4F9J0s7GzcTRFI/imERFz4LlEu53uAShRXwvqYoISIvOOq50 mfktyhICuWLGX9+IaJai15Yt3odjpG4CCANpguecBDYHgi8tGm6w3MWcIhpI1382OBaK 8VLbGxnmDL/nkggXBtMoJK1In6u3TEnCzfjXi7RvOJCY7/TyFMXNwM5ixxJdBFLECms1 39nVmEoPRoWbvkC0t4RUPmkF7n4DdWLh9IEZHhaFgaj3DWigtfldUZN+1aENvv/N4wqC jfXMH8h+L4lzmhZfkTskPivlQ1skGH2ivRPak98H216xzHI76x+CShptCqadB78WlK9/ 44AQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:user-agent:references:in-reply-to:message-id:date :subject:cc:to:from:arc-authentication-results; bh=hIh5S2HHgtp0/sDgm4vUin0fZ/f+LHoSn4HdN4e1jso=; b=0Wi2nygtW0E7yBWm9yWVfVL6TUA0JVT/fikUqpeI35/KvURyMyhnoGB5v+SUc4Yhpi nTo9bZNhpPy+ZIOKGKseObgnUUEbQD9j2kaF0SbkH8Scgs2o5aWUhyLWfnQ/45ELkIlV XMswOsXFMXnAJnq194ldN/VsK6ZhRA9BrPaitW269Dy6EsT9CGyPX1f8EBPKDnZi8b/v NM1tS7mwj2Pg/EXASZzKnJbD6B/gSv/o2COH1mtYvAkVDtFi++ME9N501ItqNThnk+kt d0Sl4y3BcrpQtaoZB7Z3p3thkmofKmIeDWRTomZlFcdQA83UdQ7XrK5ahEt7qEG55fqb 1fXw== ARC-Authentication-Results: i=1; mx.google.com; spf=softfail (google.com: domain of transitioning gregkh@linuxfoundation.org does not designate 90.92.71.90 as permitted sender) smtp.mailfrom=gregkh@linuxfoundation.org Authentication-Results: mx.google.com; spf=softfail (google.com: domain of transitioning gregkh@linuxfoundation.org does not designate 90.92.71.90 as permitted sender) smtp.mailfrom=gregkh@linuxfoundation.org From: Greg Kroah-Hartman To: linux-kernel@vger.kernel.org Cc: Greg Kroah-Hartman , stable@vger.kernel.org, Vlastimil Babka , Mel Gorman , Joonsoo Kim , Rik van Riel , David Rientjes , Johannes Weiner , Andrew Morton , Linus Torvalds Subject: [PATCH 4.14 03/71] mm, page_alloc: fix potential false positive in __zone_watermark_ok Date: Mon, 29 Jan 2018 13:56:31 +0100 Message-Id: <20180129123827.538497640@linuxfoundation.org> X-Mailer: git-send-email 2.16.1 In-Reply-To: <20180129123827.271171825@linuxfoundation.org> References: <20180129123827.271171825@linuxfoundation.org> User-Agent: quilt/0.65 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-LABELS: =?utf-8?b?IlxcU2VudCI=?= X-GMAIL-THRID: =?utf-8?q?1590958660133940935?= X-GMAIL-MSGID: =?utf-8?q?1590958660133940935?= X-Mailing-List: linux-kernel@vger.kernel.org List-ID: 4.14-stable review patch. If anyone has any objections, please let me know. ------------------ From: Vlastimil Babka commit b050e3769c6b4013bb937e879fc43bf1847ee819 upstream. Since commit 97a16fc82a7c ("mm, page_alloc: only enforce watermarks for order-0 allocations"), __zone_watermark_ok() check for high-order allocations will shortcut per-migratetype free list checks for ALLOC_HARDER allocations, and return true as long as there's free page of any migratetype. The intention is that ALLOC_HARDER can allocate from MIGRATE_HIGHATOMIC free lists, while normal allocations can't. However, as a side effect, the watermark check will then also return true when there are pages only on the MIGRATE_ISOLATE list, or (prior to CMA conversion to ZONE_MOVABLE) on the MIGRATE_CMA list. Since the allocation cannot actually obtain isolated pages, and might not be able to obtain CMA pages, this can result in a false positive. The condition should be rare and perhaps the outcome is not a fatal one. Still, it's better if the watermark check is correct. There also shouldn't be a performance tradeoff here. Link: http://lkml.kernel.org/r/20171102125001.23708-1-vbabka@suse.cz Fixes: 97a16fc82a7c ("mm, page_alloc: only enforce watermarks for order-0 allocations") Signed-off-by: Vlastimil Babka Acked-by: Mel Gorman Cc: Joonsoo Kim Cc: Rik van Riel Cc: David Rientjes Cc: Johannes Weiner Signed-off-by: Andrew Morton Signed-off-by: Linus Torvalds Signed-off-by: Greg Kroah-Hartman --- mm/page_alloc.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) --- a/mm/page_alloc.c +++ b/mm/page_alloc.c @@ -3011,9 +3011,6 @@ bool __zone_watermark_ok(struct zone *z, if (!area->nr_free) continue; - if (alloc_harder) - return true; - for (mt = 0; mt < MIGRATE_PCPTYPES; mt++) { if (!list_empty(&area->free_list[mt])) return true; @@ -3025,6 +3022,9 @@ bool __zone_watermark_ok(struct zone *z, return true; } #endif + if (alloc_harder && + !list_empty(&area->free_list[MIGRATE_HIGHATOMIC])) + return true; } return false; }