Re: Race problem in Mach/Hurd?

[Svante Signell]

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 etc or other??

> 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??