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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL 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 4E952BC6C for ; Thu, 2 Aug 2007 00:27:32 +0200 (CEST) Received: from lepore.amnh.org (lepore.amnh.org [216.73.241.12]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l71MRV2d004934 for ; Thu, 2 Aug 2007 00:27:31 +0200 Received: from localhost (localhost [127.0.0.1]) by lepore.amnh.org (Postfix) with ESMTP id BA7DF5B786 for ; Wed, 1 Aug 2007 18:27:28 -0400 (EDT) X-Virus-Scanned: amavisd-new at amnh.org Received: from lepore.amnh.org ([127.0.0.1]) by localhost (lepore.amnh.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id UHC7Pj79Zk-4 for ; Wed, 1 Aug 2007 18:27:26 -0400 (EDT) Received: from [172.16.63.190] (216-73-250-179.dynamic.amnh.org [216.73.250.179]) by lepore.amnh.org (Postfix) with ESMTP id DF2A25B768 for ; Wed, 1 Aug 2007 18:27:26 -0400 (EDT) In-Reply-To: <7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com> References: <7209A0C0-93DC-46A9-940D-47C54EB31E1B@gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <1A56E60C-26B2-42E0-BDE1-21DA8F92406D@gmail.com> Reply-To: OCaml List Content-Transfer-Encoding: 7bit From: Andres Varon Subject: Re: [Caml-list] segfault in 3.10.0 Date: Wed, 1 Aug 2007 18:27:24 -0400 To: OCaml List X-Mailer: Apple Mail (2.752.3) X-j-chkmail-Score: MSGID : 46B108D3.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46B108D3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; segfault:01 segfault:01 trivial:01 computations:01 gdb:01 backtrace:01 ocaml:01 segfaults:01 ocaml:01 camlp:01 inputs:01 segfaults:01 pointer:01 beginner's:01 bug:01 Another bit of information is that I can segfault the program even for the most trivial input, with minimal computations involved. And when run under gdb, the backtrace lists pure OCaml function calls, and always the same one. On Aug 1, 2007, at 5:10 PM, Andres Varon wrote: > Hello Everyone, > > Has anyone observed sudden segfaults in OCaml 3.10.0 amd-64 under > linux? I have this program that has been run for quite a while > without any segfault (almost a year). It may run for weeks at a > time in parallel in our cluster, using as many as 256 processors at > a time. We delayed updating to 3.10.0 due to the changes in camlp4, > but the day before yesterday I worked on it, upgraded, and suddenly > a lot of the nightly unit tests in 64 bits fail with a segfault (a > LOT of them), when every test passed clean with 3.09.3. None of the > tests for other architectures fail though (windows, mac os X intel > and 32-bit ppc). One down side is that we have C structures > wrapped, so one may blame our program. > > However, efence and valgrind show no sign of problem, and the fact > that we have been using those structures for a while, and many test > iterations have passed for many inputs, and not only us, but many > people in other computers have compiled and run our program without > having segfaults ... I'm doubtful. > > Unfortunately I have been unable to compile 3.10.0 for 64 bits in > our g5 under Mac OS X, so that architecture remains untested. The > segfault is occurring within the OCaml code. Any pointer would be > greatly appreciated, or suggestions of tools that could help us > hunting this down ... I'm awfully clueless about what to do > today ... and it's been just a couple of days :-( > > best, > > Andres > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs