Is it necessary to store ASID in the PTE cache?
Wangrodman opened this issue · 2 comments
Wangrodman commented
My concern is that different ASIDs may allocate their own page tables at the same physical address. Therefore, I would like to confirm whether the PTE cache needs to match the ASID to differentiate between them.
gfavor commented
You may need to clarify: ASIDs allocating their "own" page tables implies separate tables. But "at the same PA" implies that the same table is being shared by two ASIDs.
In any case, in general one does not have to include ASID in cache tags, but then one has to treat an ASID-specific sfence as a non-ASID-specific sfence.
Wangrodman commented
Got it, no further question.