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=-6.9 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH,MAILING_LIST_MULTI,SIGNED_OFF_BY, SPF_PASS autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 456E5C282CC for ; Mon, 11 Feb 2019 06:41:00 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id EA53520836 for ; Mon, 11 Feb 2019 06:40:59 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="dURxC2L4" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org EA53520836 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=gmail.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 8A6D98E00BE; Mon, 11 Feb 2019 01:40:59 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 861128E00B4; Mon, 11 Feb 2019 01:40:59 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 71D848E00BE; Mon, 11 Feb 2019 01:40:59 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from mail-ot1-f70.google.com (mail-ot1-f70.google.com [209.85.210.70]) by kanga.kvack.org (Postfix) with ESMTP id 429A08E00B4 for ; Mon, 11 Feb 2019 01:40:59 -0500 (EST) Received: by mail-ot1-f70.google.com with SMTP id r13so706492otn.10 for ; Sun, 10 Feb 2019 22:40:59 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:dkim-signature:subject:to:cc:references:from :message-id:date:user-agent:mime-version:in-reply-to :content-language:content-transfer-encoding; bh=0eTX9Tow9IPWyzaN5D0UVBuXHwWZHi+w6BDkGT9TxSI=; b=IbuBcK725HgxMIjWHsSzw8Y61jCoGy5J0PVnXtCGntplfjbEne1iJOGhKjq0y0Qyt7 cffteivQPprDZQW315wA1/2sOEue5XlawvzlDd/bj4VTRt6S/ii0FJklciI7XVJUHMr/ 2nHtch0yla5MhGC8GeBUxNaMXcpwHTtYFknqTGsmlkb25ZsTtWLHGIXv8mYqhGlC8xzH qtwwzvyCl+RsHCMIbyjDW3iefMp72+uY9Xg8vPlxVVTZBRhf/BFbdfXOqxsb35rf7OoH ecc2Dz1EbOSIaRyTcPimniJU4jLsbXUoXj+/KEvMMiBfZNSGSWWWFtiFnoX1C3BdKPeF GMAQ== X-Gm-Message-State: AHQUAuYvrSEZQlzktYTjEkqaaDx261xVueFBwCe87I70cfh2+76R516P MKS8Pdz27i7W2qbpdsLslwH5AaJEgXTeLjRmq4codjdNu+aYDlOcGqXJgSZeaKMaKKGKYWBLWP/ nLJvYANkrIgrthRj2LhW8Ew1jKkgwKxykXpJv3b/cCAv9x2og2amRtD22tT6j2ca636wJ+usXnV ZCjh34a9uRCqayD/PsnfSTBzDGXO2KZjKEUXVFrbw8IvN5yNfoJThb14HzfiRyhcRdiB6OBbzM8 6yp90yzLBbDIGYo7w7TlAdRVFwjvAxKB7cHklJ0L7/dEOTBa0G+L3X47mDxXBgeS+evsOLewRP0 HUHr1NL6fnMX7lAiVClPG0iF5VdZu68Lq5MYoXRFEXFHGYNMV3v1Z/i7LVkyhV6TYHPN4+HFQyr l X-Received: by 2002:a05:6830:138e:: with SMTP id d14mr8217360otq.172.1549867258895; Sun, 10 Feb 2019 22:40:58 -0800 (PST) X-Received: by 2002:a05:6830:138e:: with SMTP id d14mr8217317otq.172.1549867258095; Sun, 10 Feb 2019 22:40:58 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1549867258; cv=none; d=google.com; s=arc-20160816; b=h8GNQeBFQKMvW00qWnQBSgkQga5syAwK5xRiI1yKduVZ/jWZEADDZrP6Y+uIyBUzuf ZH+IBRaLyiM9inZ4JecdM9jRsjNx0pD8GUfP3Wj5tn/F5p9Xpow9fMhxCBx4nYw3/hVE FG4NnoHwOgt8E97J4k6kpWizpFF/mEEfLTmwyIqnBJU6xnz3B98B9Whja/GpP1D3VngC IWOsq1EoV7yHkn/GwirmkyPTHOsOEVf/Rsk14l8lbQ50ogcD6pKfJQlhC6+VBbFZJfrm gGyHX2kzIadlXVtNNtaDnh2QM+yugTqe9/0cw9IUJ6zQrP9o8muPEumAIQcfNlqSeZ8o QRPA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:from:references:cc:to:subject :dkim-signature; bh=0eTX9Tow9IPWyzaN5D0UVBuXHwWZHi+w6BDkGT9TxSI=; b=O+fuvbrV4wtEqBgNVm9KNNHXljP4qsCGVlo7WbLGXEztKNy4jVZ0s+xHBkimVaokha Rc+bjZk/8SQK8lEFGpKHmKuq7khY5kqjLmMEPJFyyJ/HkJrIfPXxhcxuIjLhodVYpVBh H/8saUZBB5R70W04a/uEKZMmoE+qzF/PLwPRpU7oD781lVhr0fiEMeWzLzz+vgU5Ge8p zWJfaloIFKQ/DoHcMAZq1qfjBtKTfcbEtZMOhVtrRwtjKbmxJopAYKuQlztQ91Rc16jK rULaUCBalhcHKGxAnU2UGUs1i3l3xNh7q0oUOmi+8rKpAj7qUxi4RKOKYY45BaRG9twD HWVA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=dURxC2L4; spf=pass (google.com: domain of aaron.lwe@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=aaron.lwe@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-sor-f65.google.com (mail-sor-f65.google.com. [209.85.220.65]) by mx.google.com with SMTPS id l25sor1572845otk.190.2019.02.10.22.40.58 for (Google Transport Security); Sun, 10 Feb 2019 22:40:58 -0800 (PST) Received-SPF: pass (google.com: domain of aaron.lwe@gmail.com designates 209.85.220.65 as permitted sender) client-ip=209.85.220.65; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=dURxC2L4; spf=pass (google.com: domain of aaron.lwe@gmail.com designates 209.85.220.65 as permitted sender) smtp.mailfrom=aaron.lwe@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:cc:references:from:message-id:date:user-agent :mime-version:in-reply-to:content-language:content-transfer-encoding; bh=0eTX9Tow9IPWyzaN5D0UVBuXHwWZHi+w6BDkGT9TxSI=; b=dURxC2L4T+BPLBNuH8R8jT8DZqN2StbusX7Uq9xo/Tx0Mxze49xx8O+VFFb+BLaI7b Gy+kZnlqwVjh7QRfVLac9AW9MHgwp++x6X7ZdDzEtj1hjzvlvj/lS4KT8kePl0x/OE0G r2ilyuSWC+AOVgmfzL1STM62SUATZzdII1hqiaft74dXZ0+ax0XHGn0M/4xl05U6chbN y/bwGafpVrtjltX/X9VWb96RQDhXPzUgPMCiSFedFkjyzoJ2wbONSGuT5HEJvsvYw2/F R0rd99D/zCyh911+wxbnuyYGUg0PNN21Rw+S+ODTgnTEHHRZSxQLveq0zkhJTua4X6mG kvyg== X-Google-Smtp-Source: AHgI3IZnXnUzG4tnsQCjhbTyw8K1t9ImfH93nYEos0f6Ec4+/E3h75ghWblateJazVqf9JUI8QZecQ== X-Received: by 2002:a9d:2c5:: with SMTP id 63mr26320540otl.271.1549867257781; Sun, 10 Feb 2019 22:40:57 -0800 (PST) Received: from [10.15.232.100] ([205.204.117.38]) by smtp.gmail.com with ESMTPSA id r16sm1687575oie.25.2019.02.10.22.40.52 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 10 Feb 2019 22:40:57 -0800 (PST) Subject: Re: [RFC PATCH 4/4] mm: Add merge page notifier To: Alexander Duyck , linux-mm@kvack.org, linux-kernel@vger.kernel.org, kvm@vger.kernel.org Cc: rkrcmar@redhat.com, alexander.h.duyck@linux.intel.com, x86@kernel.org, mingo@redhat.com, bp@alien8.de, hpa@zytor.com, pbonzini@redhat.com, tglx@linutronix.de, akpm@linux-foundation.org References: <20190204181118.12095.38300.stgit@localhost.localdomain> <20190204181558.12095.83484.stgit@localhost.localdomain> From: Aaron Lu Message-ID: <5e6d22b2-0f14-43eb-846b-a940e629c02b@gmail.com> Date: Mon, 11 Feb 2019 14:40:50 +0800 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.5.0 MIME-Version: 1.0 In-Reply-To: <20190204181558.12095.83484.stgit@localhost.localdomain> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On 2019/2/5 2:15, Alexander Duyck wrote: > From: Alexander Duyck > > Because the implementation was limiting itself to only providing hints on > pages huge TLB order sized or larger we introduced the possibility for free > pages to slip past us because they are freed as something less then > huge TLB in size and aggregated with buddies later. > > To address that I am adding a new call arch_merge_page which is called > after __free_one_page has merged a pair of pages to create a higher order > page. By doing this I am able to fill the gap and provide full coverage for > all of the pages huge TLB order or larger. > > Signed-off-by: Alexander Duyck > --- > arch/x86/include/asm/page.h | 12 ++++++++++++ > arch/x86/kernel/kvm.c | 28 ++++++++++++++++++++++++++++ > include/linux/gfp.h | 4 ++++ > mm/page_alloc.c | 2 ++ > 4 files changed, 46 insertions(+) > > diff --git a/arch/x86/include/asm/page.h b/arch/x86/include/asm/page.h > index 4487ad7a3385..9540a97c9997 100644 > --- a/arch/x86/include/asm/page.h > +++ b/arch/x86/include/asm/page.h > @@ -29,6 +29,18 @@ static inline void arch_free_page(struct page *page, unsigned int order) > if (static_branch_unlikely(&pv_free_page_hint_enabled)) > __arch_free_page(page, order); > } > + > +struct zone; > + > +#define HAVE_ARCH_MERGE_PAGE > +void __arch_merge_page(struct zone *zone, struct page *page, > + unsigned int order); > +static inline void arch_merge_page(struct zone *zone, struct page *page, > + unsigned int order) > +{ > + if (static_branch_unlikely(&pv_free_page_hint_enabled)) > + __arch_merge_page(zone, page, order); > +} > #endif > > #include > diff --git a/arch/x86/kernel/kvm.c b/arch/x86/kernel/kvm.c > index 09c91641c36c..957bb4f427bb 100644 > --- a/arch/x86/kernel/kvm.c > +++ b/arch/x86/kernel/kvm.c > @@ -785,6 +785,34 @@ void __arch_free_page(struct page *page, unsigned int order) > PAGE_SIZE << order); > } > > +void __arch_merge_page(struct zone *zone, struct page *page, > + unsigned int order) > +{ > + /* > + * The merging logic has merged a set of buddies up to the > + * KVM_PV_UNUSED_PAGE_HINT_MIN_ORDER. Since that is the case, take > + * advantage of this moment to notify the hypervisor of the free > + * memory. > + */ > + if (order != KVM_PV_UNUSED_PAGE_HINT_MIN_ORDER) > + return; > + > + /* > + * Drop zone lock while processing the hypercall. This > + * should be safe as the page has not yet been added > + * to the buddy list as of yet and all the pages that > + * were merged have had their buddy/guard flags cleared > + * and their order reset to 0. > + */ > + spin_unlock(&zone->lock); > + > + kvm_hypercall2(KVM_HC_UNUSED_PAGE_HINT, page_to_phys(page), > + PAGE_SIZE << order); > + > + /* reacquire lock and resume freeing memory */ > + spin_lock(&zone->lock); > +} > + > #ifdef CONFIG_PARAVIRT_SPINLOCKS > > /* Kick a cpu by its apicid. Used to wake up a halted vcpu */ > diff --git a/include/linux/gfp.h b/include/linux/gfp.h > index fdab7de7490d..4746d5560193 100644 > --- a/include/linux/gfp.h > +++ b/include/linux/gfp.h > @@ -459,6 +459,10 @@ static inline struct zonelist *node_zonelist(int nid, gfp_t flags) > #ifndef HAVE_ARCH_FREE_PAGE > static inline void arch_free_page(struct page *page, int order) { } > #endif > +#ifndef HAVE_ARCH_MERGE_PAGE > +static inline void > +arch_merge_page(struct zone *zone, struct page *page, int order) { } > +#endif > #ifndef HAVE_ARCH_ALLOC_PAGE > static inline void arch_alloc_page(struct page *page, int order) { } > #endif > diff --git a/mm/page_alloc.c b/mm/page_alloc.c > index c954f8c1fbc4..7a1309b0b7c5 100644 > --- a/mm/page_alloc.c > +++ b/mm/page_alloc.c > @@ -913,6 +913,8 @@ static inline void __free_one_page(struct page *page, > page = page + (combined_pfn - pfn); > pfn = combined_pfn; > order++; > + > + arch_merge_page(zone, page, order); Not a proper place AFAICS. Assume we have an order-8 page being sent here for merge and its order-8 buddy is also free, then order++ became 9 and arch_merge_page() will do the hint to host on this page as an order-9 page, no problem so far. Then the next round, assume the now order-9 page's buddy is also free, order++ will become 10 and arch_merge_page() will again hint to host on this page as an order-10 page. The first hint to host became redundant. I think the proper place is after the done_merging tag. BTW, with arch_merge_page() at the proper place, I don't think patch3/4 is necessary - any freed page will go through merge anyway, we won't lose any hint opportunity. Or do I miss anything? > } > if (max_order < MAX_ORDER) { > /* If we are here, it means order is >= pageblock_order. >