Received: by 2002:a05:6a10:206:0:0:0:0 with SMTP id 6csp3540977pxj; Tue, 1 Jun 2021 07:39:25 -0700 (PDT) X-Google-Smtp-Source: ABdhPJwqI/f4gYQwPVE2IBYlkv3xNjpJggQRgLiufPOApjqpgewczeTlOgbwAE4E0QzUmpOlmNbi X-Received: by 2002:a05:6e02:d:: with SMTP id h13mr22254986ilr.112.1622558364878; Tue, 01 Jun 2021 07:39:24 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1622558364; cv=none; d=google.com; s=arc-20160816; b=RH926Jw+Q04NPbxMDRDMFfB2deXYyfl0fbgVhk27Uqwotnb1YGRx9eSsM/LWpNXVml 8KgaLcWlvv8nBKBACQiezkM/U3oCpTDlE5cpvf/yybyNw/LvqUvZiAjplJ1elQs6/ikP i3mGDgDAokhhGX5mVFZh1o7XUn1/+VQgULkX0ckNYXYEeDjaQs5SpfPM/eW6cyydBpae IOYmUNoGojVds88ClXNqg7NDwXBaSrQjaIxzHsUFwpLcYqMekThky69tvENyzVGkd7qq VnaSVYyW/P7tYNg0JZlWl7v3U4GMUocVfCHBn0lIQlUxvoZhM6gOFghT7lY3buLk7BPs 0n3Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:mime-version:user-agent:references:in-reply-to :subject:cc:to:from:message-id:date; bh=dAtN/NTD5gHKEoURbe6uHHQPyWDob+CGVVedj8vHK9I=; b=dUJQG+3RBZ/4nhA2I56lm3ZCSgYn6nnJ/+FQGwcf59J7V5EB6aLaxfFjBsodofemc8 uBKDkHIvxrZbXWdowWkWJvF0UoiK2tL0V369YvJQUk+nsXu7nXW8fiwXNPhit0HA2xvJ VDHLdj67RJh/Zu6scCamN/zoi7oiyVh5bFp9lhyiu9PZFbXiapQZgjn8AAPxigtyImBA rIzx/eAWdRrB8fVMieOo/gdRPPfMVgfhEwOmWDLIgs/tQlK7ciGernkiFcC78ZbB55Yy iE1751J2AIlYbeVuE4RUpNVyitsL10rLhAp3yk6IMH+I5FhAHFZ9alq7EtAiDw7nYJwL xx/A== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id w3si17276208iow.99.2021.06.01.07.39.11; Tue, 01 Jun 2021 07:39:24 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S234038AbhFAOkI (ORCPT + 99 others); Tue, 1 Jun 2021 10:40:08 -0400 Received: from mail.kernel.org ([198.145.29.99]:53480 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S233797AbhFAOkG (ORCPT ); Tue, 1 Jun 2021 10:40:06 -0400 Received: from disco-boy.misterjones.org (disco-boy.misterjones.org [51.254.78.96]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 73E7B61375; Tue, 1 Jun 2021 14:38:25 +0000 (UTC) Received: from 78.163-31-62.static.virginmediabusiness.co.uk ([62.31.163.78] helo=why.misterjones.org) by disco-boy.misterjones.org with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1lo5XD-004q07-As; Tue, 01 Jun 2021 15:38:23 +0100 Date: Tue, 01 Jun 2021 15:38:22 +0100 Message-ID: <87k0nd1wgx.wl-maz@kernel.org> From: Marc Zyngier To: Quentin Perret Cc: will@kernel.org, james.morse@arm.com, alexandru.elisei@arm.com, catalin.marinas@arm.com, suzuki.poulose@arm.com, linux-arm-kernel@lists.infradead.org, kvmarm@lists.cs.columbia.edu, kernel-team@android.com, linux-kernel@vger.kernel.org Subject: Re: [PATCH 3/7] KVM: arm64: Remove list_head from hyp_page In-Reply-To: <20210527125134.2116404-4-qperret@google.com> References: <20210527125134.2116404-1-qperret@google.com> <20210527125134.2116404-4-qperret@google.com> User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue) FLIM-LB/1.14.9 (=?UTF-8?B?R29qxY0=?=) APEL-LB/10.8 EasyPG/1.0.0 Emacs/27.1 (x86_64-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO) MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue") Content-Type: text/plain; charset=US-ASCII X-SA-Exim-Connect-IP: 62.31.163.78 X-SA-Exim-Rcpt-To: qperret@google.com, will@kernel.org, james.morse@arm.com, alexandru.elisei@arm.com, catalin.marinas@arm.com, suzuki.poulose@arm.com, linux-arm-kernel@lists.infradead.org, kvmarm@lists.cs.columbia.edu, kernel-team@android.com, linux-kernel@vger.kernel.org X-SA-Exim-Mail-From: maz@kernel.org X-SA-Exim-Scanned: No (on disco-boy.misterjones.org); SAEximRunCond expanded to false Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, 27 May 2021 13:51:30 +0100, Quentin Perret wrote: > > The list_head member of struct hyp_page is only needed when the page is > attached to a free-list, which by definition implies the page is free. > As such, nothing prevents us from using the page itself to store the > list_head, hence reducing the size of the vmemmap. > > Signed-off-by: Quentin Perret > --- > arch/arm64/kvm/hyp/include/nvhe/memory.h | 1 - > arch/arm64/kvm/hyp/nvhe/page_alloc.c | 39 ++++++++++++++++++++---- > 2 files changed, 33 insertions(+), 7 deletions(-) > > diff --git a/arch/arm64/kvm/hyp/include/nvhe/memory.h b/arch/arm64/kvm/hyp/include/nvhe/memory.h > index fd78bde939ee..7691ab495eb4 100644 > --- a/arch/arm64/kvm/hyp/include/nvhe/memory.h > +++ b/arch/arm64/kvm/hyp/include/nvhe/memory.h > @@ -12,7 +12,6 @@ struct hyp_page { > unsigned int refcount; > unsigned int order; > struct hyp_pool *pool; > - struct list_head node; > }; > > extern u64 __hyp_vmemmap; > diff --git a/arch/arm64/kvm/hyp/nvhe/page_alloc.c b/arch/arm64/kvm/hyp/nvhe/page_alloc.c > index 7ee882f36767..ce7379f1480b 100644 > --- a/arch/arm64/kvm/hyp/nvhe/page_alloc.c > +++ b/arch/arm64/kvm/hyp/nvhe/page_alloc.c > @@ -62,6 +62,34 @@ static struct hyp_page *__find_buddy_avail(struct hyp_pool *pool, > > } > > +/* > + * Pages that are available for allocation are tracked in free-lists, so we use > + * the pages themselves to store the list nodes to avoid wasting space. As the > + * allocator always returns zeroed pages (which are zeroed on the hyp_put_page() > + * path to optimize allocation speed), we also need to clean-up the list node in > + * each page when we take it out of the list. > + */ > +static inline void page_remove_from_list(struct hyp_page *p) > +{ > + struct list_head *node = (struct list_head *)hyp_page_to_virt(p); Nit: How about changing hyp_page_to_virt() so that it returns a convenient 'void *', and get rid of the ugly casts? > + > + __list_del_entry(node); > + memset(node, 0, sizeof(*node)); > +} > + > +static inline void page_add_to_list(struct hyp_page *p, struct list_head *head) > +{ > + struct list_head *node = (struct list_head *)hyp_page_to_virt(p); > + > + INIT_LIST_HEAD(node); > + list_add_tail(node, head); > +} > + > +static inline struct hyp_page *node_to_page(struct list_head *node) > +{ > + return (struct hyp_page *)hyp_virt_to_page(node); Why is this cast necessary? If I'm not mistaken, hyp_vmemmap is already cast as a 'struct hyp_page *', so hyp_virt_to_page() should return the same type. > +} > + > static void __hyp_attach_page(struct hyp_pool *pool, > struct hyp_page *p) > { > @@ -83,14 +111,14 @@ static void __hyp_attach_page(struct hyp_pool *pool, > break; > > /* Take the buddy out of its list, and coallesce with @p */ > - list_del_init(&buddy->node); > + page_remove_from_list(buddy); > buddy->order = HYP_NO_ORDER; > p = min(p, buddy); > } > > /* Mark the new head, and insert it */ > p->order = order; > - list_add_tail(&p->node, &pool->free_area[order]); > + page_add_to_list(p, &pool->free_area[order]); > } > > static struct hyp_page *__hyp_extract_page(struct hyp_pool *pool, > @@ -99,7 +127,7 @@ static struct hyp_page *__hyp_extract_page(struct hyp_pool *pool, > { > struct hyp_page *buddy; > > - list_del_init(&p->node); > + page_remove_from_list(p); > while (p->order > order) { > /* > * The buddy of order n - 1 currently has HYP_NO_ORDER as it > @@ -110,7 +138,7 @@ static struct hyp_page *__hyp_extract_page(struct hyp_pool *pool, > p->order--; > buddy = __find_buddy_nocheck(pool, p, p->order); > buddy->order = p->order; > - list_add_tail(&buddy->node, &pool->free_area[buddy->order]); > + page_add_to_list(buddy, &pool->free_area[buddy->order]); > } > > return p; > @@ -158,7 +186,7 @@ void *hyp_alloc_pages(struct hyp_pool *pool, unsigned int order) > } > > /* Extract it from the tree at the right order */ > - p = list_first_entry(&pool->free_area[i], struct hyp_page, node); > + p = node_to_page(pool->free_area[i].next); > p = __hyp_extract_page(pool, p, order); > > hyp_set_page_refcounted(p); > @@ -186,7 +214,6 @@ int hyp_pool_init(struct hyp_pool *pool, u64 pfn, unsigned int nr_pages, > for (i = 0; i < nr_pages; i++) { > p[i].pool = pool; > p[i].order = 0; > - INIT_LIST_HEAD(&p[i].node); > hyp_set_page_refcounted(&p[i]); > } > > -- > 2.31.1.818.g46aad6cb9e-goog > > Thanks, M. -- Without deviation from the norm, progress is not possible.