On Tue, Oct 07, 2025 at 01:44:54PM -0400, Pasha Tatashin wrote:
I'm wondering if this work could be used in the future to expand page_table_check to support IOMMU page tables. For instance, every time a PTE is inserted or removed, an external state machine could check for false sharing or improper logic. This approach could significantly help with preventing and detecting memory corruption early.
Yeah, we could certainly add hooks for different checks
The main requirement would be to define a common logic for all IOMMU page tables. For the existing page_table_check, we use double-mapping detection logic [1]. If we were to implement something similar for the IOMMU, what kind of logic could we apply?
Mostafa did this, which is pretty similar:
https://lore.kernel.org/linux-iommu/20251003173229.1533640-1-smostafa@google...
But he hooked up in the core map/unmap not directly in the page table code.
Jason