From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 22042BC0A for ; Mon, 26 Feb 2007 06:26:59 +0100 (CET) Received: from smtp.syd.people.net.au (smtp.syd.people.net.au [218.214.225.98]) by discorde.inria.fr (8.13.6/8.13.6) with SMTP id l1Q5Qt91009996 for ; Mon, 26 Feb 2007 06:26:58 +0100 Received: (qmail 7842 invoked from network); 26 Feb 2007 05:27:03 -0000 Received: from unknown (HELO coltrane.mega-nerd.net) (218.214.64.136) by smtp.syd.people.net.au with SMTP; 26 Feb 2007 05:27:03 -0000 Received: from coltrane (coltrane [192.168.1.101]) by coltrane.mega-nerd.net (Postfix) with SMTP id 88C0A7B6C for ; Mon, 26 Feb 2007 16:26:51 +1100 (EST) Date: Mon, 26 Feb 2007 16:26:50 +1100 From: Erik de Castro Lopo To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Crashing X.Org with lablgl Message-Id: <20070226162650.53f867f8.mle+ocaml@mega-nerd.com> In-Reply-To: <20070226050151.35029.qmail@web30515.mail.mud.yahoo.com> References: <20070226050151.35029.qmail@web30515.mail.mud.yahoo.com> Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed version 2.3.0beta5 (GTK+ 2.8.20; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 45E26F9F.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 lablgl:01 xfree:01 xfree:01 lablgl:01 strace:01 libs:01 bug:01 ocaml:01 wrote:01 maintainers:01 caml-list:01 programming:03 executable:03 guess:04 David Thomas wrote: > Unfortunately, others on the project (with more clout) > are unwilling to move these systems back to XFree86. > While there *is* a 100% correlation between > X.Org/XFree86 and crashing/not, it's doubtful that > this is the only thing that's different between the > systems. What version of X.org? I had a lot of trouble on the Edgy Eft release of Ubuntu which had X.org 7.0. Those troubles disappeared when I moved to Ubuntu Feisty which has X.org 7.2. > I guess I've a few questions. > > 1) I'm sure that there *shouldn't* be any sequence of > calls to lablgl that should outright crash the X > server... does anyone know how true this proves in > practice? No, the xserver should not crash because of a user space program. > 2) Any thoughts as to how I can pinpoint the problem a > bit better? Try strace/ltracing the executable to pinpoint which call to the underlying X libs are causing the crash, then write (in C if possible) a minimal test program to recreate the problem and send it as a bug report to the X maintainers. If you're not up to writing the minimal C program but can write a minimal Ocaml program I'd be happy to translate it for you. Hope this helps, Erik -- +-----------------------------------------------------------+ Erik de Castro Lopo +-----------------------------------------------------------+ "Projects promoting programming in natural language are intrinsically doomed to fail." -- Edsger Dijkstra