On Wed, 22 Aug 2018 17:30:14 +0200
Peter Zijlstra <pet...@infradead.org> wrote:
> Will noted that only checking mm_users is incorrect; we should also
> check mm_count in order to cover CPUs that have a lazy reference to
> this mm (and could do speculative TLB operations).
Why is that incorrect?
This shortcut has nothing to do with no TLBs -- not sure about x86, but
other CPUs can certainly have remaining TLBs here, speculative
operations or not (even if they don't have an mm_count ref they can
have TLBs here).
So that leaves speculative operations. I don't see where the problem is
with those either -- this shortcut needs to ensure there are no other
*non speculative* operations. mm_users is correct for that.
If there is a speculation security problem here it should be carefully
documented otherwise it's going to be re-introduced...
I actually have a patch to extend this optimisation further that I'm
going to send out again today. It's nice to avoid the double handling
of the pages.
Thanks,
Nick
>
> If removing this turns out to be a performance issue, we can
> re-instate a more complete check, but in tlb_table_flush() eliding the
> call_rcu_sched().
>
> Cc: sta...@kernel.org
> Cc: Nicholas Piggin <npig...@gmail.com>
> Cc: David Miller <da...@davemloft.net>
> Cc: Will Deacon <will.dea...@arm.com>
> Cc: Martin Schwidefsky <schwidef...@de.ibm.com>
> Cc: Michael Ellerman <m...@ellerman.id.au>
> Fixes: 267239116987 ("mm, powerpc: move the RCU page-table freeing into
> generic code")
> Reported-by: Will Deacon <will.dea...@arm.com>
> Signed-off-by: Peter Zijlstra (Intel) <pet...@infradead.org>
> ---
> mm/memory.c | 9 ---------
> 1 file changed, 9 deletions(-)
>
> --- a/mm/memory.c
> +++ b/mm/memory.c
> @@ -375,15 +375,6 @@ void tlb_remove_table(struct mmu_gather
> {
> struct mmu_table_batch **batch = &tlb->batch;
>
> - /*
> - * When there's less then two users of this mm there cannot be a
> - * concurrent page-table walk.
> - */
> - if (atomic_read(&tlb->mm->mm_users) < 2) {
> - __tlb_remove_table(table);
> - return;
> - }
> -
> if (*batch == NULL) {
> *batch = (struct mmu_table_batch *)__get_free_page(GFP_NOWAIT |
> __GFP_NOWARN);
> if (*batch == NULL) {
>
>
