[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [PATCH v4 03/14] xen/arm32: flushtlb: Reduce scope of barrier for local TLB flush


  • To: Julien Grall <julien@xxxxxxx>, "xen-devel@xxxxxxxxxxxxxxxxxxxx" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: Henry Wang <Henry.Wang@xxxxxxx>
  • Date: Fri, 13 Jan 2023 13:46:31 +0000
  • Accept-language: zh-CN, en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=wAEK+RqGvxPVZAACK1CWck7z0+Hezw0Fa0EVFz32+os=; b=jQ+iNa4jmfmGlKhVMdNFDLlVs3jQGq76B6x9ckclbHJ1yJGzGY4EG2et/uI0YdS4GMBXYoslsREzVBEk1eNPAC3uHUAxLPZHl4lE5EWRLAowoeZWeChiq6NsFOJeSFV9SnVbk+RK6343m0XCaigB8ibscUHKsxNbPvyTqtKYCqkxTf8dw6MfI7r3ccVFnzwrOZQSh0Q4r8fHRxVN0C7NcRkSL6RlZgnCJjSMcw+pIiXG9UP1AZxYxs9tU5UykKbMx24fAGaAHBK32vkDh5EPZyQiiePVRz8+gsc+JSmt+9/Km3qmKJURApCAv+Ajc4+DWCF9cxXwPICs2lHQAFME7Q==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=KWNQwsRg/GOr5bGVWWnRpiinWAuRSulfnSR9HsX7M1EJdx7URHw9xpOBQxu1kkuWoEjIfVccv0Fmk1zE3C98OjVlfl2VOB30C1r0xaYOX7JfDhaRyclDQzwHChUqVqY2/KoAPm2wvehpE0cZoz/s1NgKEzCOGwL/3gWdzL6RKy5AqXXplxRCB7ftQmuVrVhnYnsFU60BzZLOKJWXNYJ0iclNXyrMDx5V/ImbtRLHu0k+H0GZ8zuDT6YqXrz2hAW4rEM9yX0G63436/dNsa7/ktAVYfIicXs7auYk09a/+WX03pQSQyX27n4SNYOESfca6k9OoEeb+n9EyJpRL/zToA==
  • Authentication-results-original: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Cc: Luca Fancellu <Luca.Fancellu@xxxxxxx>, Julien Grall <jgrall@xxxxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Bertrand Marquis <Bertrand.Marquis@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>
  • Delivery-date: Fri, 13 Jan 2023 13:46:58 +0000
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Nodisclaimer: true
  • Original-authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=arm.com;
  • Thread-index: AQHZJzd7+kqmWE84JkGI+nHeBx9+r66cUqgQ
  • Thread-topic: [PATCH v4 03/14] xen/arm32: flushtlb: Reduce scope of barrier for local TLB flush

Hi Julien,

> -----Original Message-----
> Subject: [PATCH v4 03/14] xen/arm32: flushtlb: Reduce scope of barrier for
> local TLB flush
> 
> From: Julien Grall <jgrall@xxxxxxxxxx>
> 
> Per G5-9224 in ARM DDI 0487I.a:
> 
> "A DSB NSH is sufficient to ensure completion of TLB maintenance
>  instructions that apply to a single PE. A DSB ISH is sufficient to
>  ensure completion of TLB maintenance instructions that apply to PEs
>  in the same Inner Shareable domain.
> "
> 
> This is quoting the Armv8 specification because I couldn't find an
> explicit statement in the Armv7 specification. Instead, I could find
> bits in various places that confirm the same implementation.
> 
> Furthermore, Linux has been using 'nsh' since 2013 (62cbbc42e001
> "ARM: tlb: reduce scope of barrier domains for TLB invalidation").
> 
> This means barrier after local TLB flushes could be reduced to
> non-shareable.
> 
> Signed-off-by: Julien Grall <jgrall@xxxxxxxxxx>
> Reviewed-by: Michal Orzel <michal.orzel@xxxxxxx>

I've tested this patch on FVP in arm32 execution mode using the same
testing approach for patch#1, and this patch is good, so:

Tested-by: Henry Wang <Henry.Wang@xxxxxxx>

Kind regards,
Henry



 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.