bug-hurd
[Top][All Lists]
Advanced

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

Re: Race problem in Mach/Hurd?


From: Samuel Thibault
Subject: Re: Race problem in Mach/Hurd?
Date: Mon, 9 May 2011 18:43:53 +0200
User-agent: Mutt/1.5.12-2006-07-14

Svante Signell, le Mon 09 May 2011 18:33:14 +0200, a écrit :
> Anyway, adding a print statement at eglibc-2.11.2/mach/msgserver.c
> resolved the hang in the configuration of ghc6-6.10.1
> +dfsg1/libraries/random :-)

Uh! Did you try to let the remainder of the build complete?

> 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, 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.

Samuel



reply via email to

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