|
From: | Manu Valderrama |
Subject: | Re: Trying to.... It's amazing and it works! |
Date: | Wed, 12 Jun 2002 20:40:57 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020529 |
Thomas Bushnell, BSG wrote:
This means that a port name can contain both receive and send right; when a send once right is needed, every send one right must have its own port name ( send once right is different ). Is this the idea ? I hope yes!Yes, this is correct. Note that send-once rights are different: they are always unique names (which provides for a few important optimizations).
Then my next challenge would be some IPC toy examples with send once rights; thanks for your advice! Bye!
_______________________________________________ Help-hurd mailing list Help-hurd@gnu.org http://mail.gnu.org/mailman/listinfo/help-hurd
[Prev in Thread] | Current Thread | [Next in Thread] |