[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
|