[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Do we want a server on `/servers/machine' (or similar)?

From: Roland McGrath
Subject: Re: Do we want a server on `/servers/machine' (or similar)?
Date: Sun, 13 May 2007 14:21:15 -0700 (PDT)

> If `port' becomes dead, `io_perm' should be deallocated as well, but how?

No, it shouldn't.  We have a capability-passing system.  The io_perm send
right you got is an independent capability.  In the normal case, the user
of it dies and so his send right to io_perm dies.  That's all that matters.
It's analogous to a memory object port.  You need a file_t port to call
io_map, but after that it doesn't matter whether that file port stays
alive.  What matters is the memory_object_t port you got from io_map.  
In fact, that port itself doesn't matter, it only matters to pass it to
vm_map.  When the send right dies, the mapping doesn't disappear.
I don't see why ioperm should be any different.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]