gwsystems / composite

A component-based OS
composite.seas.gwu.edu
185 stars 70 forks source link

Page Table Interface Design #374

Open hungry-foolish opened 6 years ago

hungry-foolish commented 6 years ago

In the current page table interface design, the map operation always goes through many layers of page table to map in a single page. If we can use the intermediate layers and map pages between them, then more work can be handled by the user level, and we can spare these lookups in the kernel.

On potential problem is liveness, because we use such IDs to track the validity of components. It is still unclear whether this will influence the design of this interface.