[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: Neal H. Walfield
Subject: Re: Do we want a server on `/servers/machine' (or similar)?
Date: Sat, 12 May 2007 21:20:26 +0200
User-agent: Wanderlust/2.10.1 (Watching The Wheels) SEMI/1.14.6 (Maruoka) FLIM/1.14.6 (Marutamachi) APEL/10.6 Emacs/21.4 (i386-pc-linux-gnu) MULE/5.0 (SAKAKI)

At Sat, 12 May 2007 21:01:02 +0200,
Thomas Schwinge <tschwinge@gnu.org> wrote:
> Yes, but that would require keeping some state in the server, which I
> wanted to avoid, because...

As you have PORT and presumably an associated peropen, I am not
convinced by your argument.

> > > If `port' becomes dead, `io_perm' should be deallocated as well, but how?
> > 
> > Why does the server need to retain access to IO_PERM?  Once the client
> > has the cap, can't the server can deallocate its copy.
> ..., because there is absolutely no need for the server to keep access to
> IO_PERM: as I described in another email of mine, I explicitly want to
> _move_ the capability away from the server to the requestee.


reply via email to

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