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.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 709DFBC6B for ; Mon, 26 Feb 2007 06:39:12 +0100 (CET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1Q5dAl2026784 for ; Mon, 26 Feb 2007 06:39:11 +0100 Received: from localhost (orion [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.13.7/8.13.7) with ESMTP id l1Q5d1VT000169; Mon, 26 Feb 2007 14:39:02 +0900 (JST) Date: Mon, 26 Feb 2007 14:38:59 +0900 (JST) Message-Id: <20070226.143859.41629310.garrigue@math.nagoya-u.ac.jp> To: david_hd@yahoo.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Crashing X.Org with lablgl From: Jacques Garrigue In-Reply-To: <20070226050151.35029.qmail@web30515.mail.mud.yahoo.com> References: <20070226050151.35029.qmail@web30515.mail.mud.yahoo.com> X-Mailer: Mew version 4.2 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45E2727E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lablgl:01 ocaml:01 lablgl:01 xfree:01 segfaults:01 xfree:01 lablgtk:01 bug:01 ocaml:01 developpers:01 caml-list:01 glut:01 reproduce:01 garrigue:03 garrigue:03 From: David Thomas > Working on a 3d plotting program in ocaml, using > lablgl. I got it working on my laptop, which is > running Debian 3.1, with XFree86. All seemed to run > fine. > > Moved it over to another box, it runs fine for about a > minute before the X server segfaults. Duplicated the > result on three computers at work, all running X.Org > under Debian. Works fine on another computer running > XFree86. You should at least say which front-end you use for lablGL (Tcl/Tk, Glut or LablGTK). This may be relevant. > 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? Well, if there is a bug in the X server, a program may trigger it. Personally I've never seen that for lablGL though. And the reports I've seen were about the program itself segfaulting, not the server. > 2) Any thoughts as to how I can pinpoint the problem a > bit better? Sending me the complete source to try to reproduce the problem? You could also look at the features you are using: does turning double-buffering off change anything, are you using lots of display lists... > 3) Any suggestions for working around it? Considering > writing a simple library implementing the parts of > lablgl that I need (which is relatively limited, as > it's ultimately line-drawing), but that's not > thrilling... It might work. But would it not be simpler to write most of your display code in C, and just the logic in ocaml. This way, if the same problem pops up again you would have some C code to show the developpers. Jacques Garrigue