Currently, we do local TLB flush on every MM switch. This is very harsh
on performance because we are forcing page table walks after every MM
switch.
This patch implements ASID allocator for assigning an ASID to every MM
context. The number of ASIDs are limited in HW so we create a logical
entity named CONTEXTID for assigning to MM context. The lower bits of
CONTEXTID are ASID and upper bits are VERSION number. We allocate new
CONTEXTID on first MM switch of a MM context where the ASID is allocated
from an ASID bitmap and VERSION is provide by an atomic counter.
At time of allocating new CONTEXTID, if we run out of ASIDs then:
1. We flush the ASID bitmap
2. Increment VERSION atomic counter
3. Force local tlb flush on all CPUs
4. Re-allocate ASID from ASID bitmap
5. Force CONTEXTID re-assignment on all CPUs
Using above approach, we have virtually infinite CONTEXTIDs on-top-of
limited number of HW ASIDs. This approach is inspired from ASID allocator
used for Linux ARM/ARM64 but we have simplified it as much as possible.
Overall, this ASID allocator helps us reduce rate of local TLB flushes
on every CPU thereby increasing performance. The number of available
ASIDs are detected at boot-time by writing 1s to ASID bits in SATP CSR.
The ASID #0 is always reserved because it is used at boot-time for
initial MM context.
This patch is tested on QEMU/virt machine and SiFive Unleashed board.
On QEMU/virt machine, we see 10% (approx) performance improvement with
SW emulated TLBs and ASIDs provided by QEMU. Unfortunately, ASID bits
of SATP CSR are not implemented on SiFive Unleashed board so we don't
see any change in performance.
Signed-off-by: Anup Patel <[email protected]>
---
This patch is based on Linux-5.1-rc2 and TLB flush cleanup patches v4
from Gary Guo. It can be also found in riscv_asid_allocator_v1 branch
of https://github.com/avpatel/linux.git
---
arch/riscv/include/asm/csr.h | 6 +
arch/riscv/include/asm/mmu.h | 1 +
arch/riscv/include/asm/mmu_context.h | 1 +
arch/riscv/mm/context.c | 204 +++++++++++++++++++++++++--
4 files changed, 200 insertions(+), 12 deletions(-)
diff --git a/arch/riscv/include/asm/csr.h b/arch/riscv/include/asm/csr.h
index 28a0d1cb374c..ce18ab8f53ed 100644
--- a/arch/riscv/include/asm/csr.h
+++ b/arch/riscv/include/asm/csr.h
@@ -45,10 +45,16 @@
#define SATP_PPN _AC(0x003FFFFF, UL)
#define SATP_MODE_32 _AC(0x80000000, UL)
#define SATP_MODE SATP_MODE_32
+#define SATP_ASID_BITS 9
+#define SATP_ASID_SHIFT 22
+#define SATP_ASID_MASK _AC(0x1FF, UL)
#else
#define SATP_PPN _AC(0x00000FFFFFFFFFFF, UL)
#define SATP_MODE_39 _AC(0x8000000000000000, UL)
#define SATP_MODE SATP_MODE_39
+#define SATP_ASID_BITS 16
+#define SATP_ASID_SHIFT 44
+#define SATP_ASID_MASK _AC(0xFFFF, UL)
#endif
/* Interrupt Enable and Interrupt Pending flags */
diff --git a/arch/riscv/include/asm/mmu.h b/arch/riscv/include/asm/mmu.h
index 5df2dccdba12..dcbbefb89ebc 100644
--- a/arch/riscv/include/asm/mmu.h
+++ b/arch/riscv/include/asm/mmu.h
@@ -18,6 +18,7 @@
#ifndef __ASSEMBLY__
typedef struct {
+ atomic64_t id;
void *vdso;
#ifdef CONFIG_SMP
/* A local icache flush is needed before user execution can resume. */
diff --git a/arch/riscv/include/asm/mmu_context.h b/arch/riscv/include/asm/mmu_context.h
index bf4f097a9051..785dd65aa904 100644
--- a/arch/riscv/include/asm/mmu_context.h
+++ b/arch/riscv/include/asm/mmu_context.h
@@ -30,6 +30,7 @@ static inline void enter_lazy_tlb(struct mm_struct *mm,
static inline int init_new_context(struct task_struct *task,
struct mm_struct *mm)
{
+ atomic64_set(&(mm)->context.id, 0);
return 0;
}
diff --git a/arch/riscv/mm/context.c b/arch/riscv/mm/context.c
index 0f787bcd3a7a..aa43f6aa727e 100644
--- a/arch/riscv/mm/context.c
+++ b/arch/riscv/mm/context.c
@@ -2,13 +2,158 @@
/*
* Copyright (C) 2012 Regents of the University of California
* Copyright (C) 2017 SiFive
+ * Copyright (C) 2019 Western Digital Corporation or its affiliates.
*/
+#include <linux/bitops.h>
#include <linux/mm.h>
+#include <linux/slab.h>
#include <asm/tlbflush.h>
#include <asm/cacheflush.h>
+static bool use_asid_allocator;
+static unsigned long asid_bits;
+static unsigned long num_asids;
+static unsigned long asid_mask;
+static u64 first_version;
+
+static DEFINE_RAW_SPINLOCK(context_lock);
+static atomic64_t context_version;
+static unsigned long *context_asid_map;
+static cpumask_t context_tlb_flush_pending;
+
+static DEFINE_PER_CPU(atomic64_t, active_context);
+
+/* Note: must be called with context_lock held */
+static void __flush_context(void)
+{
+ int i;
+ u64 cntx, cntx_asid, cntx_ver;
+
+ /* Update the list of reserved ASIDs and the ASID bitmap. */
+ bitmap_clear(context_asid_map, 0, num_asids);
+
+ /* Mark already acitve ASIDs as used */
+ for_each_possible_cpu(i) {
+ cntx = atomic64_xchg_relaxed(&per_cpu(active_context, i), 0);
+
+ cntx_asid = cntx & asid_mask;
+ cntx_ver = cntx >> asid_bits;
+
+ if (cntx_ver)
+ __set_bit(cntx_asid, context_asid_map);
+ }
+
+ /* Mark ASID #0 as used because it is used at boot-time */
+ __set_bit(0, context_asid_map);
+
+ /* Queue a TLB invalidation for each CPU on next context-switch */
+ cpumask_setall(&context_tlb_flush_pending);
+}
+
+/* Note: must be called with context_lock held */
+static u64 __new_context(struct mm_struct *mm)
+{
+ static u32 cur_idx = 1;
+ u64 asid, ver = atomic64_read(&context_version);
+
+ /*
+ * Allocate a free ASID. If we can't find one then increment
+ * context_version and flush all ASIDs.
+ */
+ asid = find_next_zero_bit(context_asid_map, num_asids, cur_idx);
+ if (asid != num_asids)
+ goto set_asid;
+
+ /* We're out of ASIDs, so increment the global version count */
+ ver = atomic64_add_return_relaxed(first_version,
+ &context_version);
+
+ __flush_context();
+
+ /* We have more ASIDs than CPUs, so this will always succeed */
+ asid = find_next_zero_bit(context_asid_map, num_asids, 1);
+
+set_asid:
+ __set_bit(asid, context_asid_map);
+ cur_idx = asid;
+ return asid | ver;
+}
+
+static void set_mm_asid(struct mm_struct *mm, unsigned int cpu)
+{
+ unsigned long flags;
+ u64 cntx, old_active_cntx;
+
+ cntx = atomic64_read(&mm->context.id);
+
+ /*
+ * If our active_context is non-zero and the context matches the
+ * current version, then we update the active_context entry with a
+ * relaxed cmpxchg.
+ *
+ * Following is how we handle racing with a concurrent rollover:
+ *
+ * - We get a zero back from the cmpxchg and end up waiting on the
+ * lock. Taking the lock synchronises with the rollover and so
+ * we are forced to see the updated verion.
+ *
+ * - We get a valid context back from the cmpxchg then we continue
+ * using old ASID because __flush_context() would have marked ASID
+ * of active_context as used and next context switch we will allocate
+ * new context.
+ */
+ old_active_cntx = atomic64_read(&per_cpu(active_context, cpu));
+ if (old_active_cntx &&
+ !((cntx ^ atomic64_read(&context_version)) >> asid_bits) &&
+ atomic64_cmpxchg_relaxed(&per_cpu(active_context, cpu),
+ old_active_cntx, cntx))
+ goto switch_mm_fast;
+
+ raw_spin_lock_irqsave(&context_lock, flags);
+
+ /* Check that our ASID belongs to the current version. */
+ cntx = atomic64_read(&mm->context.id);
+ if ((cntx ^ atomic64_read(&context_version)) >> asid_bits) {
+ cntx = __new_context(mm);
+ atomic64_set(&mm->context.id, cntx);
+ }
+
+ if (cpumask_test_and_clear_cpu(cpu, &context_tlb_flush_pending))
+ local_flush_tlb_all();
+
+ atomic64_set(&per_cpu(active_context, cpu), cntx);
+
+ raw_spin_unlock_irqrestore(&context_lock, flags);
+
+switch_mm_fast:
+ /*
+ * Use the old spbtr name instead of using the current satp
+ * name to support binutils 2.29 which doesn't know about the
+ * privileged ISA 1.10 yet.
+ */
+ csr_write(sptbr, virt_to_pfn(mm->pgd) |
+ ((cntx & asid_mask) << SATP_ASID_SHIFT) | SATP_MODE);
+}
+
+static void set_mm_noasid(struct mm_struct *mm)
+{
+ /*
+ * Use the old spbtr name instead of using the current satp
+ * name to support binutils 2.29 which doesn't know about the
+ * privileged ISA 1.10 yet.
+ */
+ csr_write(sptbr, virt_to_pfn(mm->pgd) | SATP_MODE);
+
+ /*
+ * sfence.vma after SATP write. We call it on MM context instead of
+ * calling local_flush_tlb_all to prevent global mappings from being
+ * affected.
+ */
+ local_flush_tlb_mm(mm);
+}
+
/*
* When necessary, performs a deferred icache flush for the given MM context,
* on the local CPU. RISC-V has no direct mechanism for instruction cache
@@ -58,20 +203,55 @@ void switch_mm(struct mm_struct *prev, struct mm_struct *next,
cpumask_clear_cpu(cpu, mm_cpumask(prev));
cpumask_set_cpu(cpu, mm_cpumask(next));
- /*
- * Use the old spbtr name instead of using the current satp
- * name to support binutils 2.29 which doesn't know about the
- * privileged ISA 1.10 yet.
- */
- csr_write(sptbr, virt_to_pfn(next->pgd) | SATP_MODE);
+ if (use_asid_allocator)
+ set_mm_asid(next, cpu);
+ else
+ set_mm_noasid(next);
+
+ flush_icache_deferred(next);
+}
+
+static int asids_init(void)
+{
+ unsigned long old, new;
+
+ /* Figure-out number of ASID bits in HW */
+ old = csr_read(sptbr);
+ new = old | (SATP_ASID_MASK << SATP_ASID_SHIFT);
+ csr_write(sptbr, new);
+ new = (csr_read(sptbr) >> SATP_ASID_SHIFT) & SATP_ASID_MASK;
+ asid_bits = fls_long(new);
+ csr_write(sptbr, old);
+
+ /* Pre-compute ASID details */
+ num_asids = 1UL << asid_bits;
+ asid_mask = num_asids - 1;
+ first_version = num_asids;
/*
- * sfence.vma after SATP write. We call it on MM context instead of
- * calling local_flush_tlb_all to prevent global mappings from being
- * affected.
+ * Use ASID allocator only if number of HW ASIDs are
+ * at-least twice more than CPUs
*/
- local_flush_tlb_mm(next);
+ use_asid_allocator =
+ (num_asids <= (2 * num_possible_cpus())) ? false : true;
- flush_icache_deferred(next);
-}
+ /* Setup ASID allocator if available */
+ if (use_asid_allocator) {
+ atomic64_set(&context_version, first_version);
+
+ context_asid_map = kcalloc(BITS_TO_LONGS(num_asids),
+ sizeof(*context_asid_map), GFP_KERNEL);
+ if (!context_asid_map)
+ panic("Failed to allocate bitmap for %lu ASIDs\n",
+ num_asids);
+ __set_bit(0, context_asid_map);
+
+ pr_info("ASID allocator using %lu entries\n", num_asids);
+ } else {
+ pr_info("ASID allocator disabled\n");
+ }
+
+ return 0;
+}
+early_initcall(asids_init);
--
2.17.1
Hi Anup,
This won't work in an actual hardware with ASID support. There're more
interactions with TLB flushes that need to be considered. You won't see
this on both QEMU and SiFive board, as QEMU does not have ASID, so it
pretends that ASID is supported by just flushing its TLB everytime you
change sptbr. I suspect the performance gain you see is just due to
saved TLB flush as TLB flush is super expensive in QEMU (all translation
block jumps need to be cleared).
I have my version here https://github.com/nbdd0121/linux/tree/asid. I
haven't done code cleanups yet, but this version has correctness of its
ASID code tested on our TLB simulator tool (which unfortunately I can't
share right now as it involves with unpublished works).
In fact my submit my previous patch series exactly as the basis of this
patch.
Best,
Gary Guo
On 27/03/2019 10:02, Anup Patel wrote:
> Currently, we do local TLB flush on every MM switch. This is very harsh
> on performance because we are forcing page table walks after every MM
> switch.
>
> This patch implements ASID allocator for assigning an ASID to every MM
> context. The number of ASIDs are limited in HW so we create a logical
> entity named CONTEXTID for assigning to MM context. The lower bits of
> CONTEXTID are ASID and upper bits are VERSION number. We allocate new
> CONTEXTID on first MM switch of a MM context where the ASID is allocated
> from an ASID bitmap and VERSION is provide by an atomic counter.
>
> At time of allocating new CONTEXTID, if we run out of ASIDs then:
> 1. We flush the ASID bitmap
> 2. Increment VERSION atomic counter
> 3. Force local tlb flush on all CPUs
> 4. Re-allocate ASID from ASID bitmap
> 5. Force CONTEXTID re-assignment on all CPUs
>
> Using above approach, we have virtually infinite CONTEXTIDs on-top-of
> limited number of HW ASIDs. This approach is inspired from ASID allocator
> used for Linux ARM/ARM64 but we have simplified it as much as possible.
>
> Overall, this ASID allocator helps us reduce rate of local TLB flushes
> on every CPU thereby increasing performance. The number of available
> ASIDs are detected at boot-time by writing 1s to ASID bits in SATP CSR.
> The ASID #0 is always reserved because it is used at boot-time for
> initial MM context.
>
> This patch is tested on QEMU/virt machine and SiFive Unleashed board.
> On QEMU/virt machine, we see 10% (approx) performance improvement with
> SW emulated TLBs and ASIDs provided by QEMU. Unfortunately, ASID bits
> of SATP CSR are not implemented on SiFive Unleashed board so we don't
> see any change in performance.
>
> Signed-off-by: Anup Patel <[email protected]>
> ---
> This patch is based on Linux-5.1-rc2 and TLB flush cleanup patches v4
> from Gary Guo. It can be also found in riscv_asid_allocator_v1 branch
> of https://github.com/avpatel/linux.git
> ---
> arch/riscv/include/asm/csr.h | 6 +
> arch/riscv/include/asm/mmu.h | 1 +
> arch/riscv/include/asm/mmu_context.h | 1 +
> arch/riscv/mm/context.c | 204 +++++++++++++++++++++++++--
> 4 files changed, 200 insertions(+), 12 deletions(-)
>
> diff --git a/arch/riscv/include/asm/csr.h b/arch/riscv/include/asm/csr.h
> index 28a0d1cb374c..ce18ab8f53ed 100644
> --- a/arch/riscv/include/asm/csr.h
> +++ b/arch/riscv/include/asm/csr.h
> @@ -45,10 +45,16 @@
> #define SATP_PPN _AC(0x003FFFFF, UL)
> #define SATP_MODE_32 _AC(0x80000000, UL)
> #define SATP_MODE SATP_MODE_32
> +#define SATP_ASID_BITS 9
> +#define SATP_ASID_SHIFT 22
> +#define SATP_ASID_MASK _AC(0x1FF, UL)
> #else
> #define SATP_PPN _AC(0x00000FFFFFFFFFFF, UL)
> #define SATP_MODE_39 _AC(0x8000000000000000, UL)
> #define SATP_MODE SATP_MODE_39
> +#define SATP_ASID_BITS 16
> +#define SATP_ASID_SHIFT 44
> +#define SATP_ASID_MASK _AC(0xFFFF, UL)
> #endif
>
> /* Interrupt Enable and Interrupt Pending flags */
> diff --git a/arch/riscv/include/asm/mmu.h b/arch/riscv/include/asm/mmu.h
> index 5df2dccdba12..dcbbefb89ebc 100644
> --- a/arch/riscv/include/asm/mmu.h
> +++ b/arch/riscv/include/asm/mmu.h
> @@ -18,6 +18,7 @@
> #ifndef __ASSEMBLY__
>
> typedef struct {
> + atomic64_t id;
> void *vdso;
> #ifdef CONFIG_SMP
> /* A local icache flush is needed before user execution can resume. */
> diff --git a/arch/riscv/include/asm/mmu_context.h b/arch/riscv/include/asm/mmu_context.h
> index bf4f097a9051..785dd65aa904 100644
> --- a/arch/riscv/include/asm/mmu_context.h
> +++ b/arch/riscv/include/asm/mmu_context.h
> @@ -30,6 +30,7 @@ static inline void enter_lazy_tlb(struct mm_struct *mm,
> static inline int init_new_context(struct task_struct *task,
> struct mm_struct *mm)
> {
> + atomic64_set(&(mm)->context.id, 0);
> return 0;
> }
>
> diff --git a/arch/riscv/mm/context.c b/arch/riscv/mm/context.c
> index 0f787bcd3a7a..aa43f6aa727e 100644
> --- a/arch/riscv/mm/context.c
> +++ b/arch/riscv/mm/context.c
> @@ -2,13 +2,158 @@
> /*
> * Copyright (C) 2012 Regents of the University of California
> * Copyright (C) 2017 SiFive
> + * Copyright (C) 2019 Western Digital Corporation or its affiliates.
> */
>
> +#include <linux/bitops.h>
> #include <linux/mm.h>
> +#include <linux/slab.h>
>
> #include <asm/tlbflush.h>
> #include <asm/cacheflush.h>
>
> +static bool use_asid_allocator;
> +static unsigned long asid_bits;
> +static unsigned long num_asids;
> +static unsigned long asid_mask;
> +static u64 first_version;
> +
> +static DEFINE_RAW_SPINLOCK(context_lock);
> +static atomic64_t context_version;
> +static unsigned long *context_asid_map;
> +static cpumask_t context_tlb_flush_pending;
> +
> +static DEFINE_PER_CPU(atomic64_t, active_context);
> +
> +/* Note: must be called with context_lock held */
> +static void __flush_context(void)
> +{
> + int i;
> + u64 cntx, cntx_asid, cntx_ver;
> +
> + /* Update the list of reserved ASIDs and the ASID bitmap. */
> + bitmap_clear(context_asid_map, 0, num_asids);
> +
> + /* Mark already acitve ASIDs as used */
> + for_each_possible_cpu(i) {
> + cntx = atomic64_xchg_relaxed(&per_cpu(active_context, i), 0);
> +
> + cntx_asid = cntx & asid_mask;
> + cntx_ver = cntx >> asid_bits;
> +
> + if (cntx_ver)
> + __set_bit(cntx_asid, context_asid_map);
> + }
> +
> + /* Mark ASID #0 as used because it is used at boot-time */
> + __set_bit(0, context_asid_map);
> +
> + /* Queue a TLB invalidation for each CPU on next context-switch */
> + cpumask_setall(&context_tlb_flush_pending);
> +}
> +
> +/* Note: must be called with context_lock held */
> +static u64 __new_context(struct mm_struct *mm)
> +{
> + static u32 cur_idx = 1;
> + u64 asid, ver = atomic64_read(&context_version);
> +
> + /*
> + * Allocate a free ASID. If we can't find one then increment
> + * context_version and flush all ASIDs.
> + */
> + asid = find_next_zero_bit(context_asid_map, num_asids, cur_idx);
> + if (asid != num_asids)
> + goto set_asid;
> +
> + /* We're out of ASIDs, so increment the global version count */
> + ver = atomic64_add_return_relaxed(first_version,
> + &context_version);
> +
> + __flush_context();
> +
> + /* We have more ASIDs than CPUs, so this will always succeed */
> + asid = find_next_zero_bit(context_asid_map, num_asids, 1);
> +
> +set_asid:
> + __set_bit(asid, context_asid_map);
> + cur_idx = asid;
> + return asid | ver;
> +}
> +
> +static void set_mm_asid(struct mm_struct *mm, unsigned int cpu)
> +{
> + unsigned long flags;
> + u64 cntx, old_active_cntx;
> +
> + cntx = atomic64_read(&mm->context.id);
> +
> + /*
> + * If our active_context is non-zero and the context matches the
> + * current version, then we update the active_context entry with a
> + * relaxed cmpxchg.
> + *
> + * Following is how we handle racing with a concurrent rollover:
> + *
> + * - We get a zero back from the cmpxchg and end up waiting on the
> + * lock. Taking the lock synchronises with the rollover and so
> + * we are forced to see the updated verion.
> + *
> + * - We get a valid context back from the cmpxchg then we continue
> + * using old ASID because __flush_context() would have marked ASID
> + * of active_context as used and next context switch we will allocate
> + * new context.
> + */
> + old_active_cntx = atomic64_read(&per_cpu(active_context, cpu));
> + if (old_active_cntx &&
> + !((cntx ^ atomic64_read(&context_version)) >> asid_bits) &&
> + atomic64_cmpxchg_relaxed(&per_cpu(active_context, cpu),
> + old_active_cntx, cntx))
> + goto switch_mm_fast;
> +
> + raw_spin_lock_irqsave(&context_lock, flags);
> +
> + /* Check that our ASID belongs to the current version. */
> + cntx = atomic64_read(&mm->context.id);
> + if ((cntx ^ atomic64_read(&context_version)) >> asid_bits) {
> + cntx = __new_context(mm);
> + atomic64_set(&mm->context.id, cntx);
> + }
> +
> + if (cpumask_test_and_clear_cpu(cpu, &context_tlb_flush_pending))
> + local_flush_tlb_all();
> +
> + atomic64_set(&per_cpu(active_context, cpu), cntx);
> +
> + raw_spin_unlock_irqrestore(&context_lock, flags);
> +
> +switch_mm_fast:
> + /*
> + * Use the old spbtr name instead of using the current satp
> + * name to support binutils 2.29 which doesn't know about the
> + * privileged ISA 1.10 yet.
> + */
> + csr_write(sptbr, virt_to_pfn(mm->pgd) |
> + ((cntx & asid_mask) << SATP_ASID_SHIFT) | SATP_MODE);
> +}
> +
> +static void set_mm_noasid(struct mm_struct *mm)
> +{
> + /*
> + * Use the old spbtr name instead of using the current satp
> + * name to support binutils 2.29 which doesn't know about the
> + * privileged ISA 1.10 yet.
> + */
> + csr_write(sptbr, virt_to_pfn(mm->pgd) | SATP_MODE);
> +
> + /*
> + * sfence.vma after SATP write. We call it on MM context instead of
> + * calling local_flush_tlb_all to prevent global mappings from being
> + * affected.
> + */
> + local_flush_tlb_mm(mm);
> +}
> +
> /*
> * When necessary, performs a deferred icache flush for the given MM context,
> * on the local CPU. RISC-V has no direct mechanism for instruction cache
> @@ -58,20 +203,55 @@ void switch_mm(struct mm_struct *prev, struct mm_struct *next,
> cpumask_clear_cpu(cpu, mm_cpumask(prev));
> cpumask_set_cpu(cpu, mm_cpumask(next));
>
> - /*
> - * Use the old spbtr name instead of using the current satp
> - * name to support binutils 2.29 which doesn't know about the
> - * privileged ISA 1.10 yet.
> - */
> - csr_write(sptbr, virt_to_pfn(next->pgd) | SATP_MODE);
> + if (use_asid_allocator)
> + set_mm_asid(next, cpu);
> + else
> + set_mm_noasid(next);
> +
> + flush_icache_deferred(next);
> +}
> +
> +static int asids_init(void)
> +{
> + unsigned long old, new;
> +
> + /* Figure-out number of ASID bits in HW */
> + old = csr_read(sptbr);
> + new = old | (SATP_ASID_MASK << SATP_ASID_SHIFT);
> + csr_write(sptbr, new);
> + new = (csr_read(sptbr) >> SATP_ASID_SHIFT) & SATP_ASID_MASK;
> + asid_bits = fls_long(new);
> + csr_write(sptbr, old);
> +
> + /* Pre-compute ASID details */
> + num_asids = 1UL << asid_bits;
> + asid_mask = num_asids - 1;
> + first_version = num_asids;
>
> /*
> - * sfence.vma after SATP write. We call it on MM context instead of
> - * calling local_flush_tlb_all to prevent global mappings from being
> - * affected.
> + * Use ASID allocator only if number of HW ASIDs are
> + * at-least twice more than CPUs
> */
> - local_flush_tlb_mm(next);
> + use_asid_allocator =
> + (num_asids <= (2 * num_possible_cpus())) ? false : true;
>
> - flush_icache_deferred(next);
> -}
> + /* Setup ASID allocator if available */
> + if (use_asid_allocator) {
> + atomic64_set(&context_version, first_version);
> +
> + context_asid_map = kcalloc(BITS_TO_LONGS(num_asids),
> + sizeof(*context_asid_map), GFP_KERNEL);
> + if (!context_asid_map)
> + panic("Failed to allocate bitmap for %lu ASIDs\n",
> + num_asids);
>
> + __set_bit(0, context_asid_map);
> +
> + pr_info("ASID allocator using %lu entries\n", num_asids);
> + } else {
> + pr_info("ASID allocator disabled\n");
> + }
> +
> + return 0;
> +}
> +early_initcall(asids_init);
> --
> 2.17.1
>
On Wed, Mar 27, 2019 at 4:57 PM Gary Guo <[email protected]> wrote:
>
> Hi Anup,
>
> This won't work in an actual hardware with ASID support. There're more
Can you elaborate why?
This implementation is based on Linux ARM64 ASID allocator which is
tested for large number of CPUs on real HW.
> interactions with TLB flushes that need to be considered. You won't see
Yap, already considered. Please point me to unhandled case.
> this on both QEMU and SiFive board, as QEMU does not have ASID, so it
> pretends that ASID is supported by just flushing its TLB everytime you
Nope, it does not. It detects whether ASID is supported or not. If supported
it will also figure-out number of ASID bits supported by HW.
SiFive board does not have ASID bits so this implementation successfully
detects that number of ASID bits are 0 and fallbacks to original way of
local TLB flushes.
> change sptbr. I suspect the performance gain you see is just due to
> saved TLB flush as TLB flush is super expensive in QEMU (all translation
> block jumps need to be cleared).
Yes, performance gain is due to saved TLB flushes.
On HW which supports ASID bits, we will see more performance
improvements.
>
> I have my version here https://github.com/nbdd0121/linux/tree/asid. I
> haven't done code cleanups yet, but this version has correctness of its
> ASID code tested on our TLB simulator tool (which unfortunately I can't
> share right now as it involves with unpublished works).
Except few minor differences. You version of ASID allocator is same as
mine. In fact there are lot of similar code framgements in your version
compared to Linux ARM64 as well. I am sure this patch will work for you.
>
> In fact my submit my previous patch series exactly as the basis of this
> patch.
This patch is based your patch series so I suggest you take this patch
and try it on your simulator.
Suggestions and improvements to this patch are welcomed.
I would be happy if you can assist me to try on your HW.
Regards,
Anup
On 27/03/2019 11:42, Anup Patel wrote:
> On Wed, Mar 27, 2019 at 4:57 PM Gary Guo <[email protected]> wrote:
>>
>> Hi Anup,
>>
>> This won't work in an actual hardware with ASID support. There're more
>
> Can you elaborate why >
>
> This implementation is based on Linux ARM64 ASID allocator which is
> tested for large number of CPUs on real HW.
>
>> interactions with TLB flushes that need to be considered. You won't see
>
> Yap, already considered. Please point me to unhandled case.
>
When memory mapping is changed, you need to flush it from all cores that
previously have that process executed, etc. Our patches both take
inspiration from ARM's code, but the major difference between my code is
handling of cache invalidations, see my code's cache_mask, etc. This is
actually the most error-prone part, and I spent more time trying to find
an optimal solution for this than porting the ASID allocator. The major
difference is that ARM has a much more expressive sets of TLB flush
instructions compared to RISC-V.
>
>> this on both QEMU and SiFive board, as QEMU does not have ASID, so it
>> pretends that ASID is supported by just flushing its TLB everytime you
>
> Nope, it does not. It detects whether ASID is supported or not. If supported
> it will also figure-out number of ASID bits supported by HW.
>
Except that you can detect that QEMU supports ASID, but actually it does
not. However QEMU is still correct because it always flush TLB when you
set SATP/SPTBR. You won't be able to find out bugs in your code by just
testing on QEMU.
> SiFive board does not have ASID bits so this implementation successfully
> detects that number of ASID bits are 0 and fallbacks to original way of
> local TLB flushes. >
>> change sptbr. I suspect the performance gain you see is just due to
>> saved TLB flush as TLB flush is super expensive in QEMU (all translation
>> block jumps need to be cleared).
>
> Yes, performance gain is due to saved TLB flushes.
>
> On HW which supports ASID bits, we will see more performance
> improvements. >
A hardware TLB flush is cheaper than QEMU' TLB flush. As no hardware
supports ASID at the moment the performance gain is minimal.
>>
>> I have my version here https://github.com/nbdd0121/linux/tree/asid. I
>> haven't done code cleanups yet, but this version has correctness of its
>> ASID code tested on our TLB simulator tool (which unfortunately I can't
>> share right now as it involves with unpublished works).
>
> Except few minor differences. You version of ASID allocator is same as
> mine. In fact there are lot of similar code framgements in your version
> compared to Linux ARM64 as well. I am sure this patch will work for you.
> >>
>> In fact my submit my previous patch series exactly as the basis of this
>> patch.
>
> This patch is based your patch series so I suggest you take this patch
> and try it on your simulator.
>
I've tested, and it does not boot.
I would also like to mention that your code assumes 64-bit atomics
support which we don't have on 32-bit systems. Using 32-bit to track
ASID generations isn't sufficient and will cause overflows. That's why I
have asid_generation_overflow to handle the case (this is super
error-prone as well).
Best,
Gary
On 27/03/2019 11:42, Anup Patel wrote:
> On Wed, Mar 27, 2019 at 4:57 PM Gary Guo <[email protected]> wrote:
>>
>> Hi Anup,
>>
>> This won't work in an actual hardware with ASID support. There're more
>
> Can you elaborate why?
>
> This implementation is based on Linux ARM64 ASID allocator which is
> tested for large number of CPUs on real HW.
>
>> interactions with TLB flushes that need to be considered. You won't see
>
> Yap, already considered. Please point me to unhandled case.
>
>> this on both QEMU and SiFive board, as QEMU does not have ASID, so it
>> pretends that ASID is supported by just flushing its TLB everytime you
>
> Nope, it does not. It detects whether ASID is supported or not. If supported
> it will also figure-out number of ASID bits supported by HW.
>
> SiFive board does not have ASID bits so this implementation successfully
> detects that number of ASID bits are 0 and fallbacks to original way of
> local TLB flushes.
>
>> change sptbr. I suspect the performance gain you see is just due to
>> saved TLB flush as TLB flush is super expensive in QEMU (all translation
>> block jumps need to be cleared).
>
> Yes, performance gain is due to saved TLB flushes.
>
> On HW which supports ASID bits, we will see more performance
> improvements.
>
>>
>> I have my version here https://github.com/nbdd0121/linux/tree/asid. I
>> haven't done code cleanups yet, but this version has correctness of its
>> ASID code tested on our TLB simulator tool (which unfortunately I can't
>> share right now as it involves with unpublished works).
>
> Except few minor differences. You version of ASID allocator is same as
> mine. In fact there are lot of similar code framgements in your version
> compared to Linux ARM64 as well. I am sure this patch will work for you.
>
>>
>> In fact my submit my previous patch series exactly as the basis of this
>> patch.
>
> This patch is based your patch series so I suggest you take this patch
> and try it on your simulator.
>
> Suggestions and improvements to this patch are welcomed.
>
> I would be happy if you can assist me to try on your HW.
>
> Regards,
> Anup
>
On Wed, Mar 27, 2019 at 7:12 PM Gary Guo <[email protected]> wrote:
>
> I would also like to mention that your code assumes 64-bit atomics
> support which we don't have on 32-bit systems. Using 32-bit to track
> ASID generations isn't sufficient and will cause overflows. That's why I
> have asid_generation_overflow to handle the case (this is super
> error-prone as well).
Thanks for catching. I will fix issues with 32bit systems and send v2
soon.
Regards,
Anup
I think my code already get all the caveats cases covered. The only
thing my code is missing is handling the case when ASID is not
supported. Maybe it is better to work based on that instead?
On 27/03/2019 14:02, Anup Patel wrote:
> On Wed, Mar 27, 2019 at 7:12 PM Gary Guo <[email protected]> wrote:
>>
>> I would also like to mention that your code assumes 64-bit atomics
>> support which we don't have on 32-bit systems. Using 32-bit to track
>> ASID generations isn't sufficient and will cause overflows. That's why I
>> have asid_generation_overflow to handle the case (this is super
>> error-prone as well).
>
> Thanks for catching. I will fix issues with 32bit systems and send v2
> soon.
>
> Regards,
> Anup
>
On Wed, Mar 27, 2019 at 7:08 PM Gary Guo <[email protected]> wrote:
>
> On 27/03/2019 11:42, Anup Patel wrote:
> > On Wed, Mar 27, 2019 at 4:57 PM Gary Guo <[email protected]> wrote:
> >>
> >> Hi Anup,
> >>
> >> This won't work in an actual hardware with ASID support. There're more
> >
> > Can you elaborate why >
> >
> > This implementation is based on Linux ARM64 ASID allocator which is
> > tested for large number of CPUs on real HW.
> >
> >> interactions with TLB flushes that need to be considered. You won't see
> >
> > Yap, already considered. Please point me to unhandled case.
> >
> When memory mapping is changed, you need to flush it from all cores that
> previously have that process executed, etc. Our patches both take
> inspiration from ARM's code, but the major difference between my code is
> handling of cache invalidations, see my code's cache_mask, etc. This is
> actually the most error-prone part, and I spent more time trying to find
> an optimal solution for this than porting the ASID allocator. The major
> difference is that ARM has a much more expressive sets of TLB flush
> instructions compared to RISC-V.
We should not require explicit cache maintenance anywhere in RISC-V
because caches are transparent to SW in RISC-V. The HW can use
"sfence.vma" hints for cache maintenance.
Further, (just like ARM world) the page table walks are cache coherent in
RISC-V so we should not require any cache flushes along with TLB flushes.
Now if you seeing inconsistent cache contents then it might due to some
bug in your HW. I am just guessing here.
Regarding changing memory mapping, I am sure generic Linux kernel will
issue appropriate flush_tlb_xyz() calls.
> >
> >> this on both QEMU and SiFive board, as QEMU does not have ASID, so it
> >> pretends that ASID is supported by just flushing its TLB everytime you
> >
> > Nope, it does not. It detects whether ASID is supported or not. If supported
> > it will also figure-out number of ASID bits supported by HW.
> >
> Except that you can detect that QEMU supports ASID, but actually it does
> not. However QEMU is still correct because it always flush TLB when you
> set SATP/SPTBR. You won't be able to find out bugs in your code by just
> testing on QEMU.
I am not advocating that testing on QEMU is sufficient. Its just functionally
correct and works on HW without ASID support.
>
> > SiFive board does not have ASID bits so this implementation successfully
> > detects that number of ASID bits are 0 and fallbacks to original way of
> > local TLB flushes. >
> >> change sptbr. I suspect the performance gain you see is just due to
> >> saved TLB flush as TLB flush is super expensive in QEMU (all translation
> >> block jumps need to be cleared).
> >
> > Yes, performance gain is due to saved TLB flushes.
> >
> > On HW which supports ASID bits, we will see more performance
> > improvements. >
> A hardware TLB flush is cheaper than QEMU' TLB flush. As no hardware
> supports ASID at the moment the performance gain is minimal.
> >>
> >> I have my version here https://github.com/nbdd0121/linux/tree/asid. I
> >> haven't done code cleanups yet, but this version has correctness of its
> >> ASID code tested on our TLB simulator tool (which unfortunately I can't
> >> share right now as it involves with unpublished works).
> >
> > Except few minor differences. You version of ASID allocator is same as
> > mine. In fact there are lot of similar code framgements in your version
> > compared to Linux ARM64 as well. I am sure this patch will work for you.
> > >>
> >> In fact my submit my previous patch series exactly as the basis of this
> >> patch.
> >
> > This patch is based your patch series so I suggest you take this patch
> > and try it on your simulator.
> >
> I've tested, and it does not boot.
Thanks for the info. Now help me make this patch better.
Regards,
Anup
On Wed, Mar 27, 2019 at 7:39 PM Gary Guo <[email protected]> wrote:
>
> I think my code already get all the caveats cases covered. The only
> thing my code is missing is handling the case when ASID is not
> supported. Maybe it is better to work based on that instead?
Well, I have also spend enough time hardening this patch so help
me make this patch better.
The hint about 32bit system is useful and I will send v2 soon.
Regards,
Anup