Re: Race problem in Mach/Hurd?

[Samuel Thibault]

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.
> > 
> > Note that you can make the kernel start the in-kernel debugger in that
> > case. Simply set the mach_port_deallocate_debug variable to 1,
> 
> Where to set this variable? In the source code of gnumach, recompile,
> install

Yes.

> > or use nm
> > on the "gnumach" binary to get its adress, e.g. 0x20001234, and use
> > 
> > w 20001234 1
> > cont
> > 
> > from the kernel debugger (use ctrl-alt-d to invoke it) to write a 1
> > there.
> 
> >From where should I issue C-A-d, in gdb??

No, in the Mach console. the kernel debugger has nothing to do with gdb.

Samuel