On 2 Aug 2016, at 8:32 , Yuxin Ren <[email protected]> wrote: > > Hi all, > > I am curious memory mapping/unmapping performance. > Are there any applications that stress the memory mapping and unmapping > utility?
I don’t think we’ve come across any yet. This is almost certainly a result of seL4 presently being deployed with fairly static architectures (and memory management operations done inside a VM are invisible to seL4). I’m sure scenarios where memory management performance is important do exist, we just haven’t come across them yet. I suspect you’re asking because you found that these operations are slow – I’d be surprised if they weren’t ;-) No-one bothered to put any effort in optimising the mapping implementation for lack of a driver of high enough significance. We’ll prioritise that once it becomes a problem. Gernot _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
