RISC-V: Apply Zicboz to clear_page
Subsystems (3)
v5 cover RISC-V: Apply Zicboz to clear_page
When the Zicboz extension is available we can more rapidly zero naturally aligned Zicboz block sized chunks of memory. As pages are always page aligned and are larger than any Zicboz block size will be, then clear_page() appears to be a good candidate for the extension. While cycle count and energy consumption should also be considered, we can be pretty certain that implementing clear_page() with the Zicboz extension is a win by comparing the new dynamic instruction count with its current count[1]. Doing so we see that the new count is just over a quarter of the old count (see patch6's commit message for more details).
For those of you who reviewed v1[2], you may be looking for the memset() patches. As pointed out in v1, and a couple follow-up emails, it's not clear that patching memset() is a win yet. When I get a chance to test on real hardware with a comprehensive benchmark collection then I can post the memset() patches separately (assuming the benchmarks show it's worthwhile).
Based on riscv-linux/for-next plus the dependencies listed below.
Dependencies:
https://lore.kernel.org/linux-riscv/20230221185603.570882-1-ajones at ventanamicro.com/
The patches are also available here
https://github.com/jones-drew/linux/commits/riscv/zicboz-v5
To test over QEMU this branch may be used to enable Zicboz
https://gitlab.com/jones-drew/qemu/-/commits/riscv/zicboz
To test running a KVM guest with Zicboz this kvmtool branch may be used
https://github.com/jones-drew/kvmtool/commits/riscv/zicboz
Thanks,
drew
[1] I ported the functions under test to userspace and linked them with a test program. Then, I ran them under gdb with a script[3] which counted instructions by single stepping.
[2] https://lore.kernel.org/all/20221027130247.31634-1-ajones at ventanamicro.com/
[3] https://gist.github.com/jones-drew/487791c956ceca8c18adc2847eec9c60
v5:
- Rebased on latest for-next which allowed dropping v4's dependencies
- Added a new dependency on an alternatives/cpufeatures cleanup series
- Replaced "RISC-V: cpufeature: Put vendor_id to work" with "riscv:
cpufeatures: Put the upper 16 bits of patch ID to work" since touching vendor_id is probably a bad idea [Conor]
- Picked up an r-b from Conor
v4:
- Rebased on latest for-next which allowed dropping one dependency
- Added "RISC-V: alternatives: Support patching multiple insns in assembly" since I needed to use more than one instruction in an ALTERNATIVE call from assembly. I can post this patch separately as a fix if desired.
- Improved the dt-binding patch commit message [Conor]
- Picked up some tags from Conor and Rob (I kept Conor's a-b on the clear_page patch, even though there are several changes to it, because I interpreted the a-b as "OK by me to implement a Zicboz clear_page")
- Added "RISC-V: cpufeature: Put vendor_id to work", which was necessary for how I wanted to use ALTERNATIVE in clear_page.
- Fallback to memset when the Zicboz block size is too big for the Zicboz implementation of clear_page [Palmer]
- Use lw without la in clear_page impl [Palmer]
- Implement a Duff device for clear_page using the new 'vendor_id' alternatives support [drew]
v3:
- CC'ed DT list
- Improved commit message of DT bindings patch to point out relationship with cbom-block-size
- Picked up an a-b from Conor
v2:
- s/blksz/block_size/, improved commit message for "RISC-V: Add Zicboz detection and block size parsing", isa ext sorting [Conor]
- Added dt binding patch [Heiko]
- Picked up r-b's from Conor, Heiko, and Anup
- Moved config symbol and CBO_zero() introduction to "RISC-V: Use Zicboz in clear_page when available" and improved its commit message and implementation (unrolled four times) [drew]
- Dropped memset() patches [drew]
- Rebased on ae4d39f75308 ("Merge patch "RISC-V: fix incorrect type of ARCH_CANAAN_K210_DTB_SOURCE"") plus the dependencies
Andrew Jones (8):
RISC-V: alternatives: Support patching multiple insns in assembly
RISC-V: Factor out body of riscv_init_cbom_blocksize loop
dt-bindings: riscv: Document cboz-block-size
RISC-V: Add Zicboz detection and block size parsing
riscv: cpufeatures: Put the upper 16 bits of patch ID to work
RISC-V: Use Zicboz in clear_page when available
RISC-V: KVM: Provide UAPI for Zicboz block size
RISC-V: KVM: Expose Zicboz to the guest
.../devicetree/bindings/riscv/cpus.yaml | 5 ++ arch/riscv/Kconfig | 13 ++++ arch/riscv/include/asm/alternative-macros.h | 6 +- arch/riscv/include/asm/alternative.h | 3 + arch/riscv/include/asm/cacheflush.h | 3 +- arch/riscv/include/asm/hwcap.h | 1 + arch/riscv/include/asm/insn-def.h | 4 + arch/riscv/include/asm/page.h | 6 +- arch/riscv/include/uapi/asm/kvm.h | 2 + arch/riscv/kernel/cpu.c | 1 + arch/riscv/kernel/cpufeature.c | 58 ++++++++++++++- arch/riscv/kernel/setup.c | 2 +- arch/riscv/kvm/vcpu.c | 11 +++ arch/riscv/lib/Makefile | 1 + arch/riscv/lib/clear_page.S | 73 +++++++++++++++++++ arch/riscv/mm/cacheflush.c | 64 +++++++++------- 16 files changed, 217 insertions(+), 36 deletions(-) create mode 100644 arch/riscv/lib/clear_page.S
Signature · 1 line
2.39.1
PATCH v5 1/8 RISC-V: alternatives: Support patching multiple insns in assembly
As pointed out in commit d374a16539b1 ("RISC-V: fix compile error from deduplicated __ALTERNATIVE_CFG_2"), we need quotes around parameters passed to macros within macros to avoid spaces being interpreted as separators. ALT_NEW_CONTENT was trying to handle this by defining new_c has a vararg, but this isn't sufficient for calling ALTERNATIVE() from assembly with multiple instructions in the new/old sequences. Remove the vararg "hack" and use quotes.
--- arch/riscv/include/asm/alternative-macros.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-)
arch/riscv/include/asm/alternative-macros.h +3 -3
@@ -14,7 +14,7 @@ .4byte \patch_id .endm -.macro ALT_NEW_CONTENT vendor_id, patch_id, enable = 1, new_c : vararg +.macro ALT_NEW_CONTENT vendor_id, patch_id, enable = 1, new_c .if \enable .pushsection .alternative,"a" ALT_ENTRY 886b, 888f, \vendor_id, \patch_id, 889f - 888f
@@ -41,13 +41,13 @@ \old_c .option pop 887 : - ALT_NEW_CONTENT \vendor_id, \patch_id, \enable, \new_c + ALT_NEW_CONTENT \vendor_id, \patch_id, \enable, "\new_c" .endm .macro ALTERNATIVE_CFG_2 old_c, new_c_1, vendor_id_1, patch_id_1, enable_1, \ new_c_2, vendor_id_2, patch_id_2, enable_2 ALTERNATIVE_CFG "\old_c", "\new_c_1", \vendor_id_1, \patch_id_1, \enable_1 - ALT_NEW_CONTENT \vendor_id_2, \patch_id_2, \enable_2, \new_c_2 + ALT_NEW_CONTENT \vendor_id_2, \patch_id_2, \enable_2, "\new_c_2" .endm #define __ALTERNATIVE_CFG(...) ALTERNATIVE_CFG __VA_ARGS__
Signature · 1 line
2.39.1
PATCH v5 2/8 RISC-V: Factor out body of riscv_init_cbom_blocksize loop
In reply to Andrew JonesRefactor riscv_init_cbom_blocksize() to prepare for it to be used for both cbom block size and cboz block size.
--- arch/riscv/mm/cacheflush.c | 45 +++++++++++++++++++++----------------- 1 file changed, 25 insertions(+), 20 deletions(-)
arch/riscv/mm/cacheflush.c +25 -20
@@ -98,34 +98,39 @@ void flush_icache_pte(pte_t pte)unsigned int riscv_cbom_block_size;EXPORT_SYMBOL_GPL (riscv_cbom_block_size); +static void cbo_get_block_size (struct device_node *node, +const char *name,u32 *block_size, +unsigned long *first_hartid) +{ +unsigned long hartid; +u32 val; + +if (riscv_of_processor_hartid (node, &hartid)) +return ; + +if (of_property_read_u32 (node, name, &val)) +return ; + +if (!*block_size) { + *block_size = val; + *first_hartid = hartid; + }else if (*block_size != val) { +pr_warn ("%s mismatched between harts %lu and %lu\n" , + name, *first_hartid, hartid); + } +} +void riscv_init_cbom_blocksize (void ) {struct device_node *node;unsigned long cbom_hartid; -u32 val, probed_block_size; -int ret; +u32 probed_block_size; probed_block_size =0 ;for_each_of_cpu_node (node) { -unsigned long hartid; - - ret =riscv_of_processor_hartid (node, &hartid); -if (ret) -continue ; -/* set block-size for cbom extension if available */ - ret =of_property_read_u32 (node,"riscv,cbom-block-size" , &val); -if (ret) -continue ; - -if (!probed_block_size) { - probed_block_size = val; - cbom_hartid = hartid; - }else { -if (probed_block_size != val) -pr_warn ("cbom-block-size mismatched between harts %lu and %lu\n" , - cbom_hartid, hartid); - } +cbo_get_block_size (node,"riscv,cbom-block-size" , + &probed_block_size, &cbom_hartid); }if (probed_block_size)
Signature · 1 line
2.39.1
PATCH v5 3/8 dt-bindings: riscv: Document cboz-block-size
In reply to Andrew JonesThe Zicboz operation (cbo.zero) operates on a block-size defined for the cpu-core. While we already have the riscv,cbom-block-size property, it only provides the block size for Zicbom operations. Even though it's likely Zicboz and Zicbom will use the same size, that's not required by the specification. Create another property specifically for Zicboz.
--- Documentation/devicetree/bindings/riscv/cpus.yaml | 5 +++++ 1 file changed, 5 insertions(+)
Documentation/devicetree/bindings/riscv/cpus.yaml +5 -0
@@ -72,6 +72,11 @@ properties: description: The blocksize in bytes for the Zicbom cache operations. + riscv,cboz-block-size: + $ref: /schemas/types.yaml#/definitions/uint32 + description: + The blocksize in bytes for the Zicboz cache operations. + riscv,isa: description: Identifies the specific RISC-V instruction set architecture
Signature · 1 line
2.39.1
PATCH v5 4/8 RISC-V: Add Zicboz detection and block size parsing
In reply to Andrew JonesParse "riscv,cboz-block-size" from the DT by piggybacking on Zicbom's riscv_init_cbom_blocksize(). Additionally check the DT for the presence of the "zicboz" extension and, when it's present, validate the parsed cboz block size as we do Zicbom's cbom block size with riscv_isa_extension_check().
--- arch/riscv/include/asm/cacheflush.h | 3 ++- arch/riscv/include/asm/hwcap.h | 1 + arch/riscv/kernel/cpu.c | 1 + arch/riscv/kernel/cpufeature.c | 10 ++++++++++ arch/riscv/kernel/setup.c | 2 +- arch/riscv/mm/cacheflush.c | 23 +++++++++++++++-------- 6 files changed, 30 insertions(+), 10 deletions(-)
arch/riscv/include/asm/cacheflush.h +2 -1
@@ -50,7 +50,8 @@ void flush_icache_mm(struct mm_struct *mm, bool local);#endif /* CONFIG_SMP */ extern unsigned int riscv_cbom_block_size; -void riscv_init_cbom_blocksize (void ); +extern unsigned int riscv_cboz_block_size; +void riscv_init_cbo_blocksizes (void );#ifdef CONFIG_RISCV_DMA_NONCOHERENT void riscv_noncoherent_supported (void );
arch/riscv/include/asm/hwcap.h +1 -0
@@ -47,6 +47,7 @@#define RISCV_ISA_EXT_ZBB 30#define RISCV_ISA_EXT_ZICBOM 31#define RISCV_ISA_EXT_ZIHINTPAUSE 32 +#define RISCV_ISA_EXT_ZICBOZ 33#ifndef __ASSEMBLY__
arch/riscv/kernel/cpu.c +1 -0
@@ -187,6 +187,7 @@ arch_initcall(riscv_cpuinfo_init);static struct riscv_isa_ext_data isa_ext_arr[] = {__RISCV_ISA_EXT_DATA (zbb,RISCV_ISA_EXT_ZBB ),__RISCV_ISA_EXT_DATA (zicbom,RISCV_ISA_EXT_ZICBOM ), +__RISCV_ISA_EXT_DATA (zicboz,RISCV_ISA_EXT_ZICBOZ ),__RISCV_ISA_EXT_DATA (zihintpause,RISCV_ISA_EXT_ZIHINTPAUSE ),__RISCV_ISA_EXT_DATA (sscofpmf,RISCV_ISA_EXT_SSCOFPMF ),__RISCV_ISA_EXT_DATA (sstc,RISCV_ISA_EXT_SSTC ),
arch/riscv/kernel/cpufeature.c +10 -0
@@ -73,6 +73,15 @@ static bool riscv_isa_extension_check(int id)return false; }return true; +case RISCV_ISA_EXT_ZICBOZ : +if (!riscv_cboz_block_size) { +pr_err ("Zicboz detected in ISA string, but no cboz-block-size found\n" ); +return false; + }else if (!is_power_of_2 (riscv_cboz_block_size)) { +pr_err ("cboz-block-size present, but is not a power-of-2\n" ); +return false; + } +return true; }return true;
@@ -221,6 +230,7 @@ void __init riscv_fill_hwcap(void)SET_ISA_EXT_MAP ("svpbmt" ,RISCV_ISA_EXT_SVPBMT );SET_ISA_EXT_MAP ("zbb" ,RISCV_ISA_EXT_ZBB );SET_ISA_EXT_MAP ("zicbom" ,RISCV_ISA_EXT_ZICBOM ); +SET_ISA_EXT_MAP ("zicboz" ,RISCV_ISA_EXT_ZICBOZ );SET_ISA_EXT_MAP ("zihintpause" ,RISCV_ISA_EXT_ZIHINTPAUSE ); }#undef SET_ISA_EXT_MAP
arch/riscv/kernel/setup.c +1 -1
@@ -297,7 +297,7 @@ void __init setup_arch(char **cmdline_p)setup_smp ();#endif -riscv_init_cbom_blocksize (); +riscv_init_cbo_blocksizes ();riscv_fill_hwcap ();apply_boot_alternatives (); if (IS_ENABLED(CONFIG_RISCV_ISA_ZICBOM) &&
arch/riscv/mm/cacheflush.c +15 -8
@@ -98,6 +98,9 @@ void flush_icache_pte(pte_t pte)unsigned int riscv_cbom_block_size;EXPORT_SYMBOL_GPL (riscv_cbom_block_size); +unsigned int riscv_cboz_block_size; +EXPORT_SYMBOL_GPL (riscv_cboz_block_size); +static void cbo_get_block_size (struct device_node *node,const char *name,u32 *block_size,unsigned long *first_hartid)
@@ -120,19 +123,23 @@ static void cbo_get_block_size(struct device_node *node, } } -void riscv_init_cbom_blocksize (void ) +void riscv_init_cbo_blocksizes (void ) { +unsigned long cbom_hartid, cboz_hartid; +u32 cbom_block_size =0 , cboz_block_size =0 ;struct device_node *node; -unsigned long cbom_hartid; -u32 probed_block_size; - probed_block_size =0 ;for_each_of_cpu_node (node) { -/* set block-size for cbom extension if available */ +/* set block-size for cbom and/or cboz extension if available */ cbo_get_block_size (node,"riscv,cbom-block-size" , - &probed_block_size, &cbom_hartid); + &cbom_block_size, &cbom_hartid); +cbo_get_block_size (node,"riscv,cboz-block-size" , + &cboz_block_size, &cboz_hartid); } -if (probed_block_size) - riscv_cbom_block_size = probed_block_size; +if (cbom_block_size) + riscv_cbom_block_size = cbom_block_size; + +if (cboz_block_size) + riscv_cboz_block_size = cboz_block_size; }
Signature · 1 line
2.39.1
PATCH v5 5/8 riscv: cpufeatures: Put the upper 16 bits of patch ID to work
In reply to Andrew Jonescpufeature IDs are consecutive integers starting at 26, so a 32-bit patch ID allows an aircraft carrier load of feature IDs. Repurposing the upper 16 bits still leaves a boat load of feature IDs and gains 16 bits which may be used to control patching on a per patch-site basis.
This will be initially used in Zicboz's application to clear_page(), as Zicboz's block size must also be considered. In that case, the upper 16-bit value's role will be to convey the maximum block size which the Zicboz clear_page() implementation supports.
cpufeature patch sites which need to check for the existence or absence of other cpufeatures may also be able to make use of this.
--- arch/riscv/include/asm/alternative.h | 3 +++ arch/riscv/kernel/cpufeature.c | 37 +++++++++++++++++++++++++--- 2 files changed, 36 insertions(+), 4 deletions(-)
arch/riscv/include/asm/alternative.h +3 -0
@@ -17,6 +17,9 @@#include <linux/stddef.h> #include <asm/hwcap.h> +#define PATCH_ID_CPUFEATURE_ID (p) ((u16)((u32)(p) & 0xffff)) +#define PATCH_ID_CPUFEATURE_VALUE (p) ((u16)(((u32)(p) >> 16) & 0xffff)) +#define RISCV_ALTERNATIVES_BOOT 0/* alternatives applied during regular boot */ #define RISCV_ALTERNATIVES_MODULE 1/* alternatives applied during module-init */ #define RISCV_ALTERNATIVES_EARLY_BOOT 2/* alternatives applied before mmu start */
arch/riscv/kernel/cpufeature.c +33 -4
@@ -273,12 +273,35 @@ void __init riscv_fill_hwcap(void) }#ifdef CONFIG_RISCV_ALTERNATIVE +/* +* Alternative patch sites consider 48 bits when determining when to patch +* the old instruction sequence with the new. These bits are broken into a +* 16-bit vendor ID and a 32-bit patch ID. A non-zero vendor ID means the +* patch site is for an erratum, identified by the 32-bit patch ID. When +* the vendor ID is zero, the patch site is for a cpufeature. cpufeatures +* further break down patch ID into two 16-bit numbers. The lower 16 bits +* are the cpufeature ID and the upper 16 bits are used for a value specific +* to the cpufeature and patch site. If the upper 16 bits are zero, then it +* implies no specific value is specified. cpufeatures that want to control +* patching on a per-site basis will provide non-zero values and implement +* checks here. The checks return true when patching should be done, and +* false otherwise. +*/ +static bool riscv_cpufeature_patch_check (u16 id,u16 value) +{ +if (!value) +return true; + +return false; +} + void __init_or_module riscv_cpufeature_patch_func(struct alt_entry *begin,struct alt_entry *end,unsigned int stage) {struct alt_entry *alt;void *oldptr, *altptr; +u16 id, value;if (stage ==RISCV_ALTERNATIVES_EARLY_BOOT )return ;
@@ -286,13 +309,19 @@ void __init_or_module riscv_cpufeature_patch_func(struct alt_entry *begin,for (alt = begin; alt < end; alt++) {if (alt->vendor_id !=0 )continue ; -if (alt->patch_id >=RISCV_ISA_EXT_MAX ) { -WARN (1 ,"This extension id:%d is not in ISA extension list" , - alt->patch_id); + + id =PATCH_ID_CPUFEATURE_ID (alt->patch_id); + +if (id >=RISCV_ISA_EXT_MAX ) { +WARN (1 ,"This extension id:%d is not in ISA extension list" , id);continue ; } -if (!__riscv_isa_extension_available (NULL , alt->patch_id)) +if (!__riscv_isa_extension_available (NULL , id)) +continue ; + + value =PATCH_ID_CPUFEATURE_VALUE (alt->patch_id); +if (!riscv_cpufeature_patch_check (id, value))continue ; oldptr =ALT_OLD_PTR (alt);
Signature · 1 line
2.39.1
PATCH v5 5/8 riscv: cpufeatures: Put the upper 16 bits of patch ID to work
Quoted 25 lines · Andrew Jones
cpufeature IDs are consecutive integers starting at 26, so a 32-bit patch ID allows an aircraft carrier load of feature IDs. Repurposing the upper 16 bits still leaves a boat load of feature IDs and gains 16 bits which may be used to control patching on a per patch-site basis.
This will be initially used in Zicboz's application to
clear_page(), as Zicboz's block size must also be considered. In that case, the upper 16-bit value's role will be to convey the maximum block size which the Zicbozclear_page()implementation supports.cpufeature patch sites which need to check for the existence or absence of other cpufeatures may also be able to make use of this.
Signed-off-by Andrew Jones <[email protected]>--- arch/riscv/include/asm/alternative.h | 3 +++ arch/riscv/kernel/cpufeature.c | 37 +++++++++++++++++++++++++--- 2 files changed, 36 insertions(+), 4 deletions(-)arch/riscv/include/asm/alternative.h +0
-0
arch/riscv/include/asm/alternative.h line 21
Quoted 5 lines
arch/riscv/include/asm/alternative.h +2
-0@@ -17,6 +17,9 @@#include <linux/stddef.h> #include <asm/hwcap.h> +#define PATCH_ID_CPUFEATURE_ID (p) ((u16)((u32)(p) & 0xffff)) +#define PATCH_ID_CPUFEATURE_VALUE (p) ((u16)(((u32)(p) >> 16) & 0xffff))
I was just fiddling around a bit with macros, I think these do the same thing:
#define PATCH_ID_CPUFEATURE_ID(p) ((p) & GENMASK(15, 0))
#define PATCH_ID_CPUFEATURE_VALUE(p) FIELD_GET(GENMASK(31, 16), (p))
Although without the same care about types - is there a specific reason you were casting like that?
Either way, I think I prefer this approach to the vendor_id stuffing! If we do end up needing to fit an aircraft carrier, we can come back and revisit another parameter in the alternatives I suppose...
I don't really know if the macros do anything to help with understandability, so with or without trying to use macros:
Thanks,
Conor.
Quoted 70 lines
arch/riscv/include/asm/alternative.h +0
-0#define RISCV_ALTERNATIVES_BOOT 0/* alternatives applied during regular boot */ #define RISCV_ALTERNATIVES_MODULE 1/* alternatives applied during module-init */ #define RISCV_ALTERNATIVES_EARLY_BOOT 2/* alternatives applied before mmu start */ arch/riscv/kernel/cpufeature.c +33
-4@@ -273,12 +273,35 @@ void __init riscv_fill_hwcap(void) }#ifdef CONFIG_RISCV_ALTERNATIVE +/* +* Alternative patch sites consider 48 bits when determining when to patch +* the old instruction sequence with the new. These bits are broken into a +* 16-bit vendor ID and a 32-bit patch ID. A non-zero vendor ID means the +* patch site is for an erratum, identified by the 32-bit patch ID. When +* the vendor ID is zero, the patch site is for a cpufeature. cpufeatures +* further break down patch ID into two 16-bit numbers. The lower 16 bits +* are the cpufeature ID and the upper 16 bits are used for a value specific +* to the cpufeature and patch site. If the upper 16 bits are zero, then it +* implies no specific value is specified. cpufeatures that want to control +* patching on a per-site basis will provide non-zero values and implement +* checks here. The checks return true when patching should be done, and +* false otherwise. +*/ +static bool riscv_cpufeature_patch_check (u16 id,u16 value) +{ +if (!value) +return true; + +return false; +} + void __init_or_module riscv_cpufeature_patch_func(struct alt_entry *begin,struct alt_entry *end,unsigned int stage) {struct alt_entry *alt;void *oldptr, *altptr; +u16 id, value;if (stage ==RISCV_ALTERNATIVES_EARLY_BOOT )return ;@@ -286,13 +309,19 @@ void __init_or_module riscv_cpufeature_patch_func(struct alt_entry *begin,for (alt = begin; alt < end; alt++) {if (alt->vendor_id !=0 )continue ; -if (alt->patch_id >=RISCV_ISA_EXT_MAX ) { -WARN (1 ,"This extension id:%d is not in ISA extension list" , - alt->patch_id); + + id =PATCH_ID_CPUFEATURE_ID (alt->patch_id); + +if (id >=RISCV_ISA_EXT_MAX ) { +WARN (1 ,"This extension id:%d is not in ISA extension list" , id);continue ; } -if (!__riscv_isa_extension_available (NULL , alt->patch_id)) +if (!__riscv_isa_extension_available (NULL , id)) +continue ; + + value =PATCH_ID_CPUFEATURE_VALUE (alt->patch_id); +if (!riscv_cpufeature_patch_check (id, value))continue ; oldptr =ALT_OLD_PTR (alt);Signature · 1 line
2.39.1
PATCH v5 5/8 riscv: cpufeatures: Put the upper 16 bits of patch ID to work
Quoted 29 lines · Conor Dooley
Quoted 28 lines · Andrew Jones
cpufeature IDs are consecutive integers starting at 26, so a 32-bit patch ID allows an aircraft carrier load of feature IDs. Repurposing the upper 16 bits still leaves a boat load of feature IDs and gains 16 bits which may be used to control patching on a per patch-site basis.
This will be initially used in Zicboz's application to
clear_page(), as Zicboz's block size must also be considered. In that case, the upper 16-bit value's role will be to convey the maximum block size which the Zicbozclear_page()implementation supports.cpufeature patch sites which need to check for the existence or absence of other cpufeatures may also be able to make use of this.
Signed-off-by Andrew Jones <[email protected]>--- arch/riscv/include/asm/alternative.h | 3 +++ arch/riscv/kernel/cpufeature.c | 37 +++++++++++++++++++++++++--- 2 files changed, 36 insertions(+), 4 deletions(-)arch/riscv/include/asm/alternative.h +0
-0@@ -17,6 +17,9 @@#include <linux/stddef.h> #include <asm/hwcap.h>
Quoted 9 lines
arch/riscv/include/asm/alternative.h line 21
Quoted 2 lines
arch/riscv/include/asm/alternative.h +2
-0+#define PATCH_ID_CPUFEATURE_ID (p) ((u16)((u32)(p) & 0xffff)) +#define PATCH_ID_CPUFEATURE_VALUE (p) ((u16)(((u32)(p) >> 16) & 0xffff))I was just fiddling around a bit with macros, I think these do the same thing:
#definePATCH_ID_CPUFEATURE_ID(p)((p) &GENMASK(15, 0))
#definePATCH_ID_CPUFEATURE_VALUE(p)FIELD_GET(GENMASK(31, 16), (p))
Although without the same care about types - is there a specific reason you were casting like that?
Just to be pedantic, but I just remembered we already have upper/lower_16_bits() in linux/kernel.h. I'll use those.
Quoted 8 lines
Either way, I think I prefer this approach to the
vendor_idstuffing! If we do end up needing to fit an aircraft carrier, we can come back and revisit another parameter in the alternatives I suppose...I don't really know if the macros do anything to help with understandability, so with or without trying to use macros:
Reviewed-by Conor Dooley <[email protected]>
Thanks,
drew
Quoted 74 lines
Thanks,
Conor.Quoted 70 lines
arch/riscv/include/asm/alternative.h +0
-0#define RISCV_ALTERNATIVES_BOOT 0/* alternatives applied during regular boot */ #define RISCV_ALTERNATIVES_MODULE 1/* alternatives applied during module-init */ #define RISCV_ALTERNATIVES_EARLY_BOOT 2/* alternatives applied before mmu start */ arch/riscv/kernel/cpufeature.c +33
-4@@ -273,12 +273,35 @@ void __init riscv_fill_hwcap(void) }#ifdef CONFIG_RISCV_ALTERNATIVE +/* +* Alternative patch sites consider 48 bits when determining when to patch +* the old instruction sequence with the new. These bits are broken into a +* 16-bit vendor ID and a 32-bit patch ID. A non-zero vendor ID means the +* patch site is for an erratum, identified by the 32-bit patch ID. When +* the vendor ID is zero, the patch site is for a cpufeature. cpufeatures +* further break down patch ID into two 16-bit numbers. The lower 16 bits +* are the cpufeature ID and the upper 16 bits are used for a value specific +* to the cpufeature and patch site. If the upper 16 bits are zero, then it +* implies no specific value is specified. cpufeatures that want to control +* patching on a per-site basis will provide non-zero values and implement +* checks here. The checks return true when patching should be done, and +* false otherwise. +*/ +static bool riscv_cpufeature_patch_check (u16 id,u16 value) +{ +if (!value) +return true; + +return false; +} + void __init_or_module riscv_cpufeature_patch_func(struct alt_entry *begin,struct alt_entry *end,unsigned int stage) {struct alt_entry *alt;void *oldptr, *altptr; +u16 id, value;if (stage ==RISCV_ALTERNATIVES_EARLY_BOOT )return ;@@ -286,13 +309,19 @@ void __init_or_module riscv_cpufeature_patch_func(struct alt_entry *begin,for (alt = begin; alt < end; alt++) {if (alt->vendor_id !=0 )continue ; -if (alt->patch_id >=RISCV_ISA_EXT_MAX ) { -WARN (1 ,"This extension id:%d is not in ISA extension list" , - alt->patch_id); + + id =PATCH_ID_CPUFEATURE_ID (alt->patch_id); + +if (id >=RISCV_ISA_EXT_MAX ) { +WARN (1 ,"This extension id:%d is not in ISA extension list" , id);continue ; } -if (!__riscv_isa_extension_available (NULL , alt->patch_id)) +if (!__riscv_isa_extension_available (NULL , id)) +continue ; + + value =PATCH_ID_CPUFEATURE_VALUE (alt->patch_id); +if (!riscv_cpufeature_patch_check (id, value))continue ; oldptr =ALT_OLD_PTR (alt);Signature · 1 line
2.39.1
PATCH v5 6/8 RISC-V: Use Zicboz in clear_page when available
In reply to Andrew JonesUsing memset() to zero a 4K page takes 563 total instructions, where 20 are branches. clear_page(), with Zicboz and a 64 byte block size, takes 169 total instructions, where 4 are branches and 33 are nops. Even though the block size is a variable, thanks to alternatives, we can still implement a Duff device without having to do any preliminary calculations. This is achieved by using the alternatives' cpufeature value (the upper 16 bits of patch_id). The value used is the maximum zicboz block size order accepted at the patch site. This enables us to stop patching / unrolling when 4K bytes have been zeroed (we would loop and continue after 4K if the page size would be larger)
For 4K pages, unrolling 16 times allows block sizes of 64 and 128 to only loop a few times and larger block sizes to not loop at all. Since cbo.zero doesn't take an offset, we also need an 'add' after each instruction, making the loop body 112 to 160 bytes. Hopefully this is small enough to not cause icache misses.
--- arch/riscv/Kconfig | 13 ++++++ arch/riscv/include/asm/insn-def.h | 4 ++ arch/riscv/include/asm/page.h | 6 ++- arch/riscv/kernel/cpufeature.c | 11 +++++ arch/riscv/lib/Makefile | 1 + arch/riscv/lib/clear_page.S | 73 +++++++++++++++++++++++++++++++ 6 files changed, 107 insertions(+), 1 deletion(-) create mode 100644 arch/riscv/lib/clear_page.S
arch/riscv/Kconfig +13 -0
@@ -456,6 +456,19 @@ config RISCV_ISA_ZICBOM If you don't know what to do here, say Y. +config RISCV_ISA_ZICBOZ + bool "Zicboz extension support for faster zeroing of memory" + depends on !XIP_KERNEL && MMU + select RISCV_ALTERNATIVE + default y + help + Enable the use of the ZICBOZ extension (cbo.zero instruction) + when available. + + The Zicboz extension is used for faster zeroing of memory. + + If you don't know what to do here, say Y. + config TOOLCHAIN_HAS_ZIHINTPAUSE bool default y
arch/riscv/include/asm/insn-def.h +4 -0
@@ -192,4 +192,8 @@INSN_I (OPCODE_MISC_MEM ,FUNC3 (2 ),__RD (0 ), \ RS1(base), SIMM12(2)) +#define CBO_zero (base) \ + INSN_I(OPCODE_MISC_MEM, FUNC3(2), __RD(0), \ + RS1(base), SIMM12(4)) +#endif /* __ASM_INSN_DEF_H */
arch/riscv/include/asm/page.h +5 -1
@@ -49,10 +49,14 @@#ifndef __ASSEMBLY__ +#ifdef CONFIG_RISCV_ISA_ZICBOZ +void clear_page (void *page); +#else #define clear_page (pgaddr) memset((pgaddr), 0, PAGE_SIZE) +#endif #define copy_page (to, from) memcpy((to), (from), PAGE_SIZE) -#define clear_user_page (pgaddr, vaddr, page) memset((pgaddr), 0, PAGE_SIZE) +#define clear_user_page (pgaddr, vaddr, page) clear_page(pgaddr)#define copy_user_page (vto, vfrom, vaddr, topg) \ memcpy((vto), (vfrom), PAGE_SIZE)
arch/riscv/kernel/cpufeature.c +11 -0
@@ -292,6 +292,17 @@ static bool riscv_cpufeature_patch_check(u16 id, u16 value)if (!value)return true; +switch (id) { +case RISCV_ISA_EXT_ZICBOZ : +/* +* Zicboz alternative applications provide the maximum +* supported block size order, or zero when it doesn't +* matter. If the current block size exceeds the maximum, +* then the alternative cannot be applied. +*/ +return riscv_cboz_block_size <= (1U << value); + } +return false; }
arch/riscv/lib/Makefile +1 -0
@@ -8,5 +8,6 @@ lib-y += strlen.o lib-y += strncmp.o lib-$(CONFIG_MMU) += uaccess.o lib-$(CONFIG_64BIT) += tishift.o +lib-$(CONFIG_RISCV_ISA_ZICBOZ) += clear_page.o obj-$(CONFIG_FUNCTION_ERROR_INJECTION) += error-inject.o
arch/riscv/lib/clear_page.S new file +73 -0
73 lines not on this page · raw message
Signature · 1 line
2.39.1
PATCH 1/1 RISC-V: Fixup clear_page export when using Zicboz
When the clear_page() via Zicboz is enabled, the module build fails as clear_page() is not marked as a ksym entry. Fix this by changing the asm code to use <asm-generic/export.h> to add the correct export.
Also remove the weak clear_page() as there's nothing else in the build defining this symbol, so just make it the entry when the Zicboz is enabled.
Fixes modpost errors such as this:
ERROR: modpost: "clear_page" [drivers/gpu/drm/ttm/ttm.ko] undefined!
--- arch/riscv/lib/clear_page.S | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)
arch/riscv/lib/clear_page.S +4 -2
@@ -6,6 +6,7 @@ #include <linux/linkage.h> #include <asm/asm.h> #include <asm/alternative-macros.h> +#include <asm-generic/export.h> #include <asm/hwcap.h> #include <asm/insn-def.h> #include <asm/page.h>
@@ -17,7 +18,7 @@ /* void clear_page(void *page) */ ENTRY(__clear_page) -WEAK(clear_page) +SYM_FUNC_START(clear_page) li a2, PAGE_SIZE /*
@@ -70,4 +71,5 @@ WEAK(clear_page) .Lno_zicboz: li a1, 0 tail __memset -END(__clear_page) +SYM_FUNC_END(clear_page) +EXPORT_SYMBOL(clear_page)
Signature · 7 lines
2.39.1 _______________________________________________ linux-riscv mailing list [email protected] http://lists.infradead.org/mailman/listinfo/linux-riscv
Re: [PATCH] RISC-V: Fixup clear_page export when using Zicboz
Quoted 49 lines · Ben Dooks
When the
clear_page()via Zicboz is enabled, the module build fails asclear_page()is not marked as a ksym entry. Fix this by changing the asm code to use <asm-generic/export.h> to add the correct export.Also remove the weak
clear_page()as there's nothing else in the build defining this symbol, so just make it the entry when the Zicboz is enabled.Fixes modpost errors such as this:
ERROR: modpost: "clear_page" [drivers/gpu/drm/ttm/ttm.ko] undefined!Reported-by Sudip Mukherjee <[email protected]>Signed-off-by Ben Dooks <[email protected]>--- arch/riscv/lib/clear_page.S | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)arch/riscv/lib/clear_page.S +4
-2@@ -6,6 +6,7 @@ #include <linux/linkage.h> #include <asm/asm.h> #include <asm/alternative-macros.h> +#include <asm-generic/export.h> #include <asm/hwcap.h> #include <asm/insn-def.h> #include <asm/page.h>@@ -17,7 +18,7 @@ /* void clear_page(void *page) */ ENTRY(__clear_page) -WEAK(clear_page) +SYM_FUNC_START(clear_page) li a2, PAGE_SIZE /*@@ -70,4 +71,5 @@ WEAK(clear_page) .Lno_zicboz: li a1, 0 tail __memset -END(__clear_page) +SYM_FUNC_END(clear_page) +EXPORT_SYMBOL(clear_page)Signature · 1 line
2.39.1
Hi Ben,
This looks good to me. I agree that I shouldn't have made clear_page weak, but not because there isn't currently anything else defining it, but because it's not something a subsystem is likely to ever define. Exporting for modules is also definitely needed.
Is there any reason I shouldn't just squash this into the patch which introduces clear_page? That patch is still under review, and merging it broken just to immediately fix it would break bisection for no reason.
Thanks,
drew
_______________________________________________
linux-riscv mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/linux-riscv
Re: [PATCH] RISC-V: Fixup clear_page export when using Zicboz
Quoted 53 lines · Andrew Jones
Quoted 49 lines · Ben Dooks
When the
clear_page()via Zicboz is enabled, the module build fails asclear_page()is not marked as a ksym entry. Fix this by changing the asm code to use <asm-generic/export.h> to add the correct export.Also remove the weak
clear_page()as there's nothing else in the build defining this symbol, so just make it the entry when the Zicboz is enabled.Fixes modpost errors such as this:
ERROR: modpost: "clear_page" [drivers/gpu/drm/ttm/ttm.ko] undefined!Reported-by Sudip Mukherjee <[email protected]>Signed-off-by Ben Dooks <[email protected]>--- arch/riscv/lib/clear_page.S | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)arch/riscv/lib/clear_page.S +4
-2@@ -6,6 +6,7 @@ #include <linux/linkage.h> #include <asm/asm.h> #include <asm/alternative-macros.h> +#include <asm-generic/export.h> #include <asm/hwcap.h> #include <asm/insn-def.h> #include <asm/page.h>@@ -17,7 +18,7 @@ /* void clear_page(void *page) */ ENTRY(__clear_page) -WEAK(clear_page) +SYM_FUNC_START(clear_page) li a2, PAGE_SIZE /*@@ -70,4 +71,5 @@ WEAK(clear_page) .Lno_zicboz: li a1, 0 tail __memset -END(__clear_page) +SYM_FUNC_END(clear_page) +EXPORT_SYMBOL(clear_page)Signature · 1 line
2.39.1Hi Ben,
Quoted 8 lines
This looks good to me. I agree that I shouldn't have made
clear_pageweak, but not because there isn't currently anything else defining it, but because it's not something a subsystem is likely to ever define. Exporting for modules is also definitely needed.Is there any reason I shouldn't just squash this into the patch which introduces
clear_page? That patch is still under review, and merging it broken just to immediately fix it would break bisection for no reason.
Yeah, as long as you note fixes from myself an sudip, then go for it.
Signature · 10 lines
Ben Dooks http://www.codethink.co.uk/ Senior Engineer Codethink - Providing Genius https://www.codethink.co.uk/privacy.html _______________________________________________ linux-riscv mailing list [email protected] http://lists.infradead.org/mailman/listinfo/linux-riscv
Re: [PATCH] RISC-V: Fixup clear_page export when using Zicboz
Quoted 57 lines · Ben Dooks
Quoted 56 lines · Andrew Jones
Quoted 47 lines · Ben Dooks
When the
clear_page()via Zicboz is enabled, the module build fails asclear_page()is not marked as a ksym entry. Fix this by changing the asm code to use <asm-generic/export.h> to add the correct export.Also remove the weak
clear_page()as there's nothing else in the build defining this symbol, so just make it the entry when the Zicboz is enabled.Fixes modpost errors such as this:
ERROR: modpost: "clear_page" [drivers/gpu/drm/ttm/ttm.ko] undefined!Reported-by Sudip Mukherjee <[email protected]>Signed-off-by Ben Dooks <[email protected]>--- arch/riscv/lib/clear_page.S | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)arch/riscv/lib/clear_page.S +4
-2@@ -6,6 +6,7 @@ #include <linux/linkage.h> #include <asm/asm.h> #include <asm/alternative-macros.h> +#include <asm-generic/export.h> #include <asm/hwcap.h> #include <asm/insn-def.h> #include <asm/page.h>@@ -17,7 +18,7 @@ /* void clear_page(void *page) */ ENTRY(__clear_page) -WEAK(clear_page) +SYM_FUNC_START(clear_page) li a2, PAGE_SIZE /*@@ -70,4 +71,5 @@ WEAK(clear_page) .Lno_zicboz: li a1, 0 tail __memset -END(__clear_page) +SYM_FUNC_END(clear_page) +EXPORT_SYMBOL(clear_page)Signature · 1 line
2.39.1Hi Ben,
This looks good to me. I agree that I shouldn't have made
clear_pageweak, but not because there isn't currently anything else defining it, but because it's not something a subsystem is likely to ever define. Exporting for modules is also definitely needed.
Quoted 5 lines
Quoted 3 lines
Is there any reason I shouldn't just squash this into the patch which introduces
clear_page? That patch is still under review, and merging it broken just to immediately fix it would break bisection for no reason.Yeah, as long as you note fixes from myself an sudip, then go for it.
I'll mention it in the changelog, but there's not really a good way to give credit for things like this. There's either nothing (except the changelog) or a Co-developed-by tag. I don't think this warrants the latter.
Of course, I'd be happy to pick up T-b's and/or R-b's from you and Sudip, which would then be applied to the patch(es), if you submit them.
Thanks,
drew
_______________________________________________
linux-riscv mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/linux-riscv
Re: [PATCH] RISC-V: Fixup clear_page export when using Zicboz
In reply to Ben DooksQuoted 31 lines · Ben Dooks
When the
clear_page()via Zicboz is enabled, the module build fails asclear_page()is not marked as a ksym entry. Fix this by changing the asm code to use <asm-generic/export.h> to add the correct export.Also remove the weak
clear_page()as there's nothing else in the build defining this symbol, so just make it the entry when the Zicboz is enabled.Fixes modpost errors such as this:
ERROR: modpost: "clear_page" [drivers/gpu/drm/ttm/ttm.ko] undefined!Reported-by Sudip Mukherjee <[email protected]>Signed-off-by Ben Dooks <[email protected]>--- arch/riscv/lib/clear_page.S | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)arch/riscv/lib/clear_page.S +1
-0@@ -6,6 +6,7 @@ #include <linux/linkage.h> #include <asm/asm.h> #include <asm/alternative-macros.h> +#include <asm-generic/export.h> #include <asm/hwcap.h> #include <asm/insn-def.h> #include <asm/page.h>
arch/riscv/lib/clear_page.S line 20
Quoted 3 lines
arch/riscv/lib/clear_page.S +0
-0@@ -17,7 +18,7 @@ /* void clear_page(void *page) */ ENTRY(__clear_page)
Shouldn't this be removed also? Am I missing something?
Signature · 7 lines
Regards Sudip _______________________________________________ linux-riscv mailing list [email protected] http://lists.infradead.org/mailman/listinfo/linux-riscv
Re: [PATCH] RISC-V: Fixup clear_page export when using Zicboz
Quoted 35 lines · Sudip Mukherjee
Quoted 32 lines · Ben Dooks
When the
clear_page()via Zicboz is enabled, the module build fails asclear_page()is not marked as a ksym entry. Fix this by changing the asm code to use <asm-generic/export.h> to add the correct export.Also remove the weak
clear_page()as there's nothing else in the build defining this symbol, so just make it the entry when the Zicboz is enabled.Fixes modpost errors such as this:
ERROR: modpost: "clear_page" [drivers/gpu/drm/ttm/ttm.ko] undefined!Reported-by Sudip Mukherjee <[email protected]>Signed-off-by Ben Dooks <[email protected]>--- arch/riscv/lib/clear_page.S | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)arch/riscv/lib/clear_page.S +1
-0@@ -6,6 +6,7 @@ #include <linux/linkage.h> #include <asm/asm.h> #include <asm/alternative-macros.h> +#include <asm-generic/export.h> #include <asm/hwcap.h> #include <asm/insn-def.h> #include <asm/page.h>@@ -17,7 +18,7 @@
Quoted 4 lines
arch/riscv/lib/clear_page.S line 20
Quoted 2 lines
arch/riscv/lib/clear_page.S +0
-0/* void clear_page(void *page) */ ENTRY(__clear_page)Shouldn't this be removed also? Am I missing something?
Yes, it should be dropped, I've done so while squashing.
Thanks,
drew
_______________________________________________
linux-riscv mailing list
[email protected]
http://lists.infradead.org/mailman/listinfo/linux-riscv
PATCH v5 6/8 RISC-V: Use Zicboz in clear_page when available
In reply to Andrew JonesQuoted 28 lines · Andrew Jones
Using
memset()to zero a 4K page takes 563 total instructions, where 20 are branches.clear_page(), with Zicboz and a 64 byte block size, takes 169 total instructions, where 4 are branches and 33 are nops. Even though the block size is a variable, thanks to alternatives, we can still implement a Duff device without having to do any preliminary calculations. This is achieved by using the alternatives' cpufeature value (the upper 16 bits ofpatch_id). The value used is the maximum zicboz block size order accepted at the patch site. This enables us to stop patching / unrolling when 4K bytes have been zeroed (we would loop and continue after 4K if the page size would be larger)For 4K pages, unrolling 16 times allows block sizes of 64 and 128 to only loop a few times and larger block sizes to not loop at all. Since cbo.zero doesn't take an offset, we also need an 'add' after each instruction, making the loop body 112 to 160 bytes. Hopefully this is small enough to not cause icache misses.
Signed-off-by Andrew Jones <[email protected]>Acked-by Conor Dooley <[email protected]>--- arch/riscv/Kconfig | 13 ++++++ arch/riscv/include/asm/insn-def.h | 4 ++ arch/riscv/include/asm/page.h | 6 ++- arch/riscv/kernel/cpufeature.c | 11 +++++ arch/riscv/lib/Makefile | 1 + arch/riscv/lib/clear_page.S | 73 +++++++++++++++++++++++++++++++ 6 files changed, 107 insertions(+), 1 deletion(-)create mode 100644
arch/riscv/lib/clear_page.S
[snip]
Quoted 49 lines
arch/riscv/kernel/cpufeature.c +11
-0@@ -292,6 +292,17 @@ static bool riscv_cpufeature_patch_check(u16 id, u16 value)if (!value)return true; +switch (id) { +case RISCV_ISA_EXT_ZICBOZ : +/* +* Zicboz alternative applications provide the maximum +* supported block size order, or zero when it doesn't +* matter. If the current block size exceeds the maximum, +* then the alternative cannot be applied. +*/ +return riscv_cboz_block_size <= (1U << value); + } +return false; }arch/riscv/lib/Makefile +1
-0@@ -8,5 +8,6 @@ lib-y += strlen.o lib-y += strncmp.o lib-$(CONFIG_MMU) += uaccess.o lib-$(CONFIG_64BIT) += tishift.o +lib-$(CONFIG_RISCV_ISA_ZICBOZ) += clear_page.o obj-$(CONFIG_FUNCTION_ERROR_INJECTION) += error-inject.oarch/riscv/lib/clear_page.S new file +10
-0@@ -0,0 +1,73 @@ +/* SPDX-License-Identifier: GPL-2.0-only */ +/* + * Copyright (c) 2023 Ventana Micro Systems Inc. + */ + +#include <linux/linkage.h> +#include <asm/asm.h> +#include <asm/alternative-macros.h> +#include <asm/hwcap.h> +#include <asm/insn-def.h>
arch/riscv/lib/clear_page.S line 20
Quoted 10 lines
arch/riscv/lib/clear_page.S new file +10
-0+#include <asm/page.h> + +#define CBOZ_ALT(order, old, new) \ + ALTERNATIVE(old, new, 0, \ + ((order) << 16) | RISCV_ISA_EXT_ZICBOZ, \ + CONFIG_RISCV_ISA_ZICBOZ) + +/* void clear_page(void *page) */ +ENTRY(__clear_page) +WEAK(clear_page)
out of interest, why the __clear_page() entry and the WEAK(clear_page)?
Just followed up with a patch to fix the modpost.
So far this seems to be working with qemu and a backport to 5.19.x
Signature · 4 lines
Ben Dooks http://www.codethink.co.uk/ Senior Engineer Codethink - Providing Genius https://www.codethink.co.uk/privacy.html
PATCH v5 6/8 RISC-V: Use Zicboz in clear_page when available
Quoted 83 lines · Ben Dooks
Quoted 28 lines · Andrew Jones
Using
memset()to zero a 4K page takes 563 total instructions, where 20 are branches.clear_page(), with Zicboz and a 64 byte block size, takes 169 total instructions, where 4 are branches and 33 are nops. Even though the block size is a variable, thanks to alternatives, we can still implement a Duff device without having to do any preliminary calculations. This is achieved by using the alternatives' cpufeature value (the upper 16 bits ofpatch_id). The value used is the maximum zicboz block size order accepted at the patch site. This enables us to stop patching / unrolling when 4K bytes have been zeroed (we would loop and continue after 4K if the page size would be larger)For 4K pages, unrolling 16 times allows block sizes of 64 and 128 to only loop a few times and larger block sizes to not loop at all. Since cbo.zero doesn't take an offset, we also need an 'add' after each instruction, making the loop body 112 to 160 bytes. Hopefully this is small enough to not cause icache misses.
Signed-off-by Andrew Jones <[email protected]>Acked-by Conor Dooley <[email protected]>--- arch/riscv/Kconfig | 13 ++++++ arch/riscv/include/asm/insn-def.h | 4 ++ arch/riscv/include/asm/page.h | 6 ++- arch/riscv/kernel/cpufeature.c | 11 +++++ arch/riscv/lib/Makefile | 1 + arch/riscv/lib/clear_page.S | 73 +++++++++++++++++++++++++++++++ 6 files changed, 107 insertions(+), 1 deletion(-)create mode 100644
arch/riscv/lib/clear_page.S[snip]
Quoted 51 lines
arch/riscv/kernel/cpufeature.c +11
-0@@ -292,6 +292,17 @@ static bool riscv_cpufeature_patch_check(u16 id, u16 value)if (!value)return true; +switch (id) { +case RISCV_ISA_EXT_ZICBOZ : +/* +* Zicboz alternative applications provide the maximum +* supported block size order, or zero when it doesn't +* matter. If the current block size exceeds the maximum, +* then the alternative cannot be applied. +*/ +return riscv_cboz_block_size <= (1U << value); + } +return false; }arch/riscv/lib/Makefile +1
-0@@ -8,5 +8,6 @@ lib-y += strlen.o lib-y += strncmp.o lib-$(CONFIG_MMU) += uaccess.o lib-$(CONFIG_64BIT) += tishift.o +lib-$(CONFIG_RISCV_ISA_ZICBOZ) += clear_page.o obj-$(CONFIG_FUNCTION_ERROR_INJECTION) += error-inject.oarch/riscv/lib/clear_page.S new file +15
-0@@ -0,0 +1,73 @@ +/* SPDX-License-Identifier: GPL-2.0-only */ +/* + * Copyright (c) 2023 Ventana Micro Systems Inc. + */ + +#include <linux/linkage.h> +#include <asm/asm.h> +#include <asm/alternative-macros.h> +#include <asm/hwcap.h> +#include <asm/insn-def.h> +#include <asm/page.h> + +#define CBOZ_ALT(order, old, new) \ + ALTERNATIVE(old, new, 0, \ + ((order) << 16) | RISCV_ISA_EXT_ZICBOZ, \
Quoted 8 lines
arch/riscv/lib/clear_page.S line 20
Quoted 5 lines
arch/riscv/lib/clear_page.S new file +5
-0+ CONFIG_RISCV_ISA_ZICBOZ) + +/* void clear_page(void *page) */ +ENTRY(__clear_page) +WEAK(clear_page)out of interest, why the
__clear_page()entry and theWEAK(clear_page)?
I was inspired by memset, but, in hindsight, it doesn't make sense for clear_page to be weak.
Quoted 2 lines
Just followed up with a patch to fix the modpost.
Thanks!
Quoted 2 lines
So far this seems to be working with qemu and a backport to 5.19.x
Great news!
Thanks,
drew
PATCH v5 6/8 RISC-V: Use Zicboz in clear_page when available
Quoted 2 lines · Andrew Jones
Quoted 1 line · Ben Dooks
On 21/02/2023 19:09, Andrew Jones wrote:
...
Quoted 9 lines
Quoted 6 lines
arch/riscv/lib/clear_page.S line 20
Quoted 3 lines
arch/riscv/lib/clear_page.S new file +3
-0+/* void clear_page(void *page) */ +ENTRY(__clear_page) +WEAK(clear_page)out of interest, why the
__clear_page()entry and theWEAK(clear_page)?I was inspired by memset, but, in hindsight, it doesn't make sense for
clear_pageto be weak.
Of course I failed to completely follow the memset pattern, which also has an export (in riscv_ksyms.c). I prefer the export in clear_page.S, though, as you've done.
Thanks,
drew
PATCH v5 7/8 RISC-V: KVM: Provide UAPI for Zicboz block size
In reply to Andrew JonesWe're about to allow guests to use the Zicboz extension. KVM userspace needs to know the cache block size in order to properly advertise it to the guest. Provide a virtual config register for userspace to get it with the GET_ONE_REG API, but setting it cannot be supported, so disallow SET_ONE_REG.
--- arch/riscv/include/uapi/asm/kvm.h | 1 + arch/riscv/kvm/vcpu.c | 7 +++++++ 2 files changed, 8 insertions(+)
arch/riscv/include/uapi/asm/kvm.h +1 -0
@@ -52,6 +52,7 @@ struct kvm_riscv_config {unsigned long mvendorid;unsigned long marchid;unsigned long mimpid; +unsigned long zicboz_block_size; };/* CORE registers for KVM_GET_ONE_REG and KVM_SET_ONE_REG */
arch/riscv/kvm/vcpu.c +7 -0
@@ -276,6 +276,11 @@ static int kvm_riscv_vcpu_get_reg_config(struct kvm_vcpu *vcpu,return -EINVAL ; reg_val = riscv_cbom_block_size;break ; +case KVM_REG_RISCV_CONFIG_REG (zicboz_block_size): +if (!riscv_isa_extension_available (vcpu->arch.isa,ZICBOZ )) +return -EINVAL ; + reg_val = riscv_cboz_block_size; +break ;case KVM_REG_RISCV_CONFIG_REG (mvendorid): reg_val = vcpu->arch.mvendorid;break ;
@@ -347,6 +352,8 @@ static int kvm_riscv_vcpu_set_reg_config(struct kvm_vcpu *vcpu,break ;case KVM_REG_RISCV_CONFIG_REG (zicbom_block_size):return -EOPNOTSUPP ; +case KVM_REG_RISCV_CONFIG_REG (zicboz_block_size): +return -EOPNOTSUPP ;case KVM_REG_RISCV_CONFIG_REG (mvendorid):if (!vcpu->arch.ran_atleast_once) vcpu->arch.mvendorid = reg_val;
Signature · 1 line
2.39.1
PATCH v5 8/8 RISC-V: KVM: Expose Zicboz to the guest
In reply to Andrew JonesGuests may use the cbo.zero instruction when the CPU has the Zicboz extension and the hypervisor sets henvcfg.CBZE.
Add Zicboz support for KVM guests which may be enabled and disabled from KVM userspace using the ISA extension ONE_REG API.
--- arch/riscv/include/uapi/asm/kvm.h | 1 + arch/riscv/kvm/vcpu.c | 4 ++++ 2 files changed, 5 insertions(+)
arch/riscv/include/uapi/asm/kvm.h +1 -0
@@ -106,6 +106,7 @@ enum KVM_RISCV_ISA_EXT_ID {KVM_RISCV_ISA_EXT_SVINVAL ,KVM_RISCV_ISA_EXT_ZIHINTPAUSE ,KVM_RISCV_ISA_EXT_ZICBOM , +KVM_RISCV_ISA_EXT_ZICBOZ , KVM_RISCV_ISA_EXT_MAX, };
arch/riscv/kvm/vcpu.c +4 -0
@@ -63,6 +63,7 @@ static const unsigned long kvm_isa_ext_arr[] = {KVM_ISA_EXT_ARR (SVPBMT ),KVM_ISA_EXT_ARR (ZIHINTPAUSE ),KVM_ISA_EXT_ARR (ZICBOM ), + KVM_ISA_EXT_ARR(ZICBOZ), };static unsigned long kvm_riscv_vcpu_base2isa_ext (unsigned long base_ext)
@@ -865,6 +866,9 @@ static void kvm_riscv_vcpu_update_config(const unsigned long *isa)if (riscv_isa_extension_available (isa,ZICBOM )) henvcfg |= (ENVCFG_CBIE |ENVCFG_CBCFE ); +if (riscv_isa_extension_available (isa,ZICBOZ )) + henvcfg |=ENVCFG_CBZE ; +csr_write (CSR_HENVCFG , henvcfg);#ifdef CONFIG_32BIT csr_write (CSR_HENVCFGH , henvcfg >>32 );
Signature · 1 line
2.39.1