bug-hurd
[Top][All Lists]
Advanced

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

Re: Race condition in Mach/Hurd?


From: Samuel Thibault
Subject: Re: Race condition in Mach/Hurd?
Date: Tue, 10 May 2011 11:56:38 +0200
User-agent: Mutt/1.5.12-2006-07-14

Svante Signell, le Tue 10 May 2011 11:50:46 +0200, a écrit :
> On Tue, 2011-05-10 at 11:39 +0200, Samuel Thibault wrote:
> > Svante Signell, le Tue 10 May 2011 11:38:08 +0200, a écrit :
> > > On Mon, 2011-05-09 at 18:43 +0200, Samuel Thibault wrote:
> > > > Svante Signell, le Mon 09 May 2011 18:33:14 +0200, a écrit :
> > > 
> > > > > Single stepping in msgserver.c also triggered the console printout: 
> > > > > task
> > > > > 5040ee18 deallocating an invalid port 340/xxx, most probably a bug.
> > > > 
> 
> I'll try the second alternative.
> 
> > > > or use nm
> > > > on the "gnumach" binary to get its adress, e.g. 0x20001234, and use
> 
> Are you referring to /boot/gnumach-1.3.99-486.gz now, or 
> /lib/libmachuser-2.11.2.so
> In the first case the image is compressed.

The former. The latter is just a userland library (as its name suggests).

Samuel



reply via email to

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