It might be possible to add a core ID attribute to those page table capabilities that contain FRAMEs. This allows the retyping to be done on a local core, and thus makes the retyping logic much easier to write, and cause less contentions. However, the page map/unmap must still be scalable across different cores, and no contention should happen here.
It might be possible to add a core ID attribute to those page table capabilities that contain FRAMEs. This allows the retyping to be done on a local core, and thus makes the retyping logic much easier to write, and cause less contentions. However, the page map/unmap must still be scalable across different cores, and no contention should happen here.