qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
* [Qemu-devel] Reporting Heisenbugs in qemu
@ 2013-05-07 11:38 Torbjorn Granlund
  2013-05-07 13:25 ` Mark Cave-Ayland
                   ` (2 more replies)
  0 siblings, 3 replies; 15+ messages in thread
From: Torbjorn Granlund @ 2013-05-07 11:38 UTC (permalink / raw)
  To: qemu-devel

I am trying to use qemu to

1. cover more of the assembly code in GMP
2. check configuration logic of GMP

but I am not as successful as I would like to be.

The 2nd table of http://gmplib.org/devel/testsystems.html shows all
emulated systems I am using, most of which are qemu-based.

Unfortunately, several of the qemu-based systems experience intermittent
but common segfaults:

1. Linux mips64eb 2.6.32-5-5kc-malta #1 Sun Sep 23 12:29:36 UTC 2012 mips64 GNU/Linux
2. Linux mips64el 2.6.32-5-5kc-malta #1 Fri Feb 15 21:38:11 UTC 2013 mips64 GNU/Linux
3. Linux kick.gmplib.org 2.6.18-6-sparc32 #1 Sat Dec 27 09:13:12 UTC 2008 sparc GNU/Linux

An example of a failure is:

gmp/tests/cxx/t-ops2.cc: In function 'void checkz()':
gmp/tests/cxx/t-ops2.cc:86: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
For Debian GNU/Linux specific bug reporting instructions,
see <URL:file:///usr/share/doc/gcc-4.1/README.Bugs>.
The bug is not reproducible, so it is likely a hardware or OS problem.

(This was from the sparc32 system.)

rootrem.c: In function 'mpn_rootrem_internal':
rootrem.c:120:1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.6/README.Bugs> for instructions.
The bug is not reproducible, so it is likely a hardware or OS problem.

(From the mips64eb system.)

I am aware of that these systems don't exactly use the
kernel-of-the-week.  Newer kernels I have tried cause non-boot.  (I
don't think I've tried any newer sparc kernel, as building that would
require a stable sparc system...)

I realise that linux might have been debugged until it works on real
hardware, but that qemu might trigger untested linux execution paths.

Yesterday, I disabled GMP testing on these qemu systems, as I got tired
of the many false alarms, and since GMP looked bad.  Is there any hope
that these qemu systems will become stable?  Or aren't these problems
qemu's fault?

-- 
Torbjörn

^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2013-05-09 18:15 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-05-07 11:38 [Qemu-devel] Reporting Heisenbugs in qemu Torbjorn Granlund
2013-05-07 13:25 ` Mark Cave-Ayland
2013-05-07 15:50 ` Aurelien Jarno
2013-05-07 16:18   ` Torbjorn Granlund
2013-05-07 21:29 ` Artyom Tarasenko
2013-05-07 21:43   ` Torbjorn Granlund
2013-05-07 21:53     ` Artyom Tarasenko
2013-05-07 23:06       ` Torbjorn Granlund
2013-05-07 22:57   ` Aurelien Jarno
2013-05-08  7:25     ` Paolo Bonzini
2013-05-08  9:45       ` Torbjorn Granlund
2013-05-08 10:18         ` Paolo Bonzini
2013-05-09 18:15           ` Blue Swirl
2013-05-08 10:35         ` Aurelien Jarno
2013-05-09  0:28         ` Rob Landley

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).