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

[Roland McGrath]

> 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.


Thanks,
Roland