[Top][All Lists]

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

Re: New task list items on savannah

From: Marcus Brinkmann
Subject: Re: New task list items on savannah
Date: Thu, 31 Jul 2003 16:55:01 +0200
User-agent: Mutt/1.5.4i

On Thu, Jul 31, 2003 at 12:46:27AM +0200, Marco Gerards wrote:
> > > priority: 6
> > > difficulty: 3
> > > 
> > > When the exec server dies it is impossibly to start a
> > > program. libdiskfs should handle dead name notifications to find out
> > > if the exec server died and alert the user.
> > 
> > You are sure that this is what it is about?  init already should do that.
> I didn't know init can restart the exec server. What I know is when
> the exec server dies it doesn't notice this and update the stored portname.

it can't.  ext2fs could, but nobody would know about this.  All your shells
etc would still try to contact the old exec server and fail.  Maybe they
could instead of failing try to re-open /servers/exec.  That would make
sense.  So, yes, it seems that with a bit of magic this could be made work.

However, in the L4 redesign, we eliminated the exec server completely ;)
> > Note that this is an interface change.  We would like to have versioned
> > libhurduser and libmachuser before that, a wholly different task ;)
> Isn't adding an interface an option? It doesn't break anything and it
> will make it easier to switch. (I'm asking because I'd like to see
> this done :)).

The versioned stuff implies adding interfaces, ie, it provides a framework
for doing this easily.

> > > When a block that is a part of a file is filled with zeros it doesn't
> > > have to be stored on disk. This is called a sparse file.
> Do you agree with this? (may I add this?)



`Rhubarb is no Egyptian god.' GNU      http://www.gnu.org    marcus@gnu.org
Marcus Brinkmann              The Hurd http://www.gnu.org/software/hurd/

reply via email to

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