Re: (subset) [PATCH 0/4] Fix racing TLBI with ASID/VMID reallocation
From: Catalin Marinas <catalin.marinas@arm.com>
Date: 2021-08-06 16:06:03
Also in:
kvmarm, linux-arch
On Fri, 6 Aug 2021 12:31:03 +0100, Will Deacon wrote:
While reviewing Shameer's reworked VMID allocator [1] and discussing with Marc, we spotted a race between TLB invalidation (which typically takes an ASID or VMID argument) and reallocation of ASID/VMID for the context being targetted. The first patch spells out an example with try_to_unmap_one() in a comment, which Catalin has kindly modelled in TLA+ at [2]. [...]
Applied to arm64 (for-next/misc), thanks!
[1/4] arm64: mm: Fix TLBI vs ASID rollover
https://git.kernel.org/arm64/c/5e10f9887ed8
--
Catalin
_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel