Re: [PATCH 0/4] Fix racing TLBI with ASID/VMID reallocation
From: Catalin Marinas <catalin.marinas@arm.com>
Date: 2021-09-10 09:47:43
Also in:
kvmarm, linux-arch
On Fri, Sep 10, 2021 at 09:06:31AM +0000, Shameerali Kolothum Thodi wrote:
I am going through the ASID TLA+ model and in the above commit, it appears that the different ASID check(=> ActiveAsid(c1) # ActiveAsid(c2)) for the Invariant UniqueASIDActiveTask is now removed. Just wondering why that is not relevant anymore?
It's still relevant. I probably deleted it by mistake, I'll add it back now. Thanks for carefully looking at this commit. -- Catalin _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel