> 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 _______________________________________________ Bug-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-hurd
