On 4/18/24 05:34, Gernot Heiser via Devel wrote: > On 18 Apr 2024, at 19:18, Hugo V.C. <skydive...@gmail.com> wrote: >> >> "A web browser is a good example of this. The number of security >> domains is at least the number of origins in use, which can be >> extremely large. Furthermore, some origins might be CPU-intensive." >> >> Yes. That's the challenge when you try to use a solution aimed to static >> systems for dynamic systems... Not sure how other will solve this, > > Operating systems have been dealing with this kind of problem for well over > half a century, it’s called the working-set model. > > You may have 1000s of processes, but very few are active during a time > window, and you allocate the resources to them. > > Remember what virtual memory was originally introduced for? Allowing program > memories to exceed the size of physical memory. > > All this is a matter for user mode. The microkernel’s job is to do the things > usermode cannot.
Is there a user mode component that can do this? -- Sincerely, Demi Marie Obenour (she/her/hers) _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
