From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 59D05BC57 for ; Wed, 1 Dec 2010 11:51:59 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBANu39UzAbSoIe2dsb2JhbACDUJ9BFQEBFiIEHrMTkHENgRSDM3ME X-IronPort-AV: E=Sophos;i="4.59,283,1288566000"; d="scan'208";a="68914822" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Dec 2010 11:51:58 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from first (e178035219.adsl.alicedsl.de [85.178.35.219]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id oB1ApwQd017964 for ; Wed, 1 Dec 2010 11:51:58 +0100 Received: by first (Postfix, from userid 1000) id C8E3644086D; Wed, 1 Dec 2010 11:51:57 +0100 (CET) Date: Wed, 1 Dec 2010 11:51:57 +0100 From: oliver@first.in-berlin.de To: caml users Subject: Re: [Caml-list] Tips to find the cause of a seg fault Message-ID: <20101201105157.GC2196@siouxsie> References: <20101130231804.GB21723@siouxsie> <20101201091541.GA3917@siouxsie> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Spam: no; 0.00; in-berlin:01 0100,:01 in-berlin:01 0100,:01 segfault:01 bug:01 usr:01 lib:01 unhandled:01 non-free:01 bindings:01 non-free:01 wrote:01 wrote:01 oliver:01 On Wed, Dec 01, 2010 at 11:26:19AM +0100, Philippe Veber wrote: > 2010/12/1 > > > Hi, > > > > > > On Wed, Dec 01, 2010 at 09:32:16AM +0100, Philippe Veber wrote: > > > Actually I was not confident I could extract a small program reproducing > > the > > > issue until ... you had me try ! I could get a very tiny example that > > > behaves exactly the same, which does not involve opengl at all, only sdl. > > > Here it is : > > [...] > > > > > > After installing some sdl-related packages, I could comopile the code. > > So far it does not crash. > > > > What actions do create the segfault for you? > > > > roll the mouse wheel up or down fast with the cursor on the window. However, > I know that this problem does not occur everywhere, so you might well > observe nothing ... [...] No crash happened. Normally I'm very gifted to crash software.... by just looking at it. If there is a bug, it will find me ;) Did you tried another X-driver? In your valgrind printout there was mentioned "libnvidia". And a crash seems to have been occured at that part: > ==11306== by 0x4215D5: camlHum__entry (in > /home/pveber/hum/_build/src/hum.native) > ==11306== by 0xC5767A7: ??? > ==11306== > ==11306== Conditional jump or move depends on uninitialised value(s) > ==11306== at 0x7695580: ??? (in > /usr/lib/nvidia-current/libnvidia-glcore.so.260.19.06) > ==11306== by 0x1000000000000: ??? > ==11306== > vex amd64->IR: unhandled instruction bytes: 0xFF 0xD8 0xC 0xF9 0xFF 0xD8 > ==11306== valgrind: Unrecognised instruction at address 0x4992cb. > ==11306== Your program just tried to execute an instruction that Valgrind So, please chack this. Maybe one of the free drivers does work better, or maybe an update could help. If you update your kernel, then you might also need to update the X-drivers, because the nvidia stuff is non-free binary stuff, and maybe some bindings don't work correctly with a new kernel. I once experienced problems the other way around: crashing blender with the free drivers, just by scaling into a view more and more, and no crash with the non-free drivers. This X11-driver part is really a desert... ...and even if you don't use OpenGL commands... the driver that you installed and configured will be used nevretheless, and if there is something wrong, you will get your crashes. Look if the X11-driver-bindings are all up to date for the driver you use now, and also try another X11-driver... Ciao, Oliver