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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 3C45ABBBB for ; Thu, 30 Mar 2006 17:45:55 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k2UFjssp002033 for ; Thu, 30 Mar 2006 17:45:54 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA07690 for ; Thu, 30 Mar 2006 17:45:54 +0200 (MET DST) Received: from xproxy.gmail.com (xproxy.gmail.com [66.249.82.207]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k2UFjrbC011757 for ; Thu, 30 Mar 2006 17:45:53 +0200 Received: by xproxy.gmail.com with SMTP id h26so327228wxd for ; Thu, 30 Mar 2006 07:45:53 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=CM0MLJi2Tj24Dhj9sWaTan+6RugolOvhk6ZlAJY76SWegPiwOYAtYRVSIYmRuE0hcupznrCuyFEDqGaJTMzhKmt3nRKiq0mKE2HWmb/cEFIvvuFewzHcbbp9O0XCZpZMKqDLgaOn7v+yvk+tYvpTEd32HtfH7+4sb93eI5BoWA8= Received: by 10.70.41.9 with SMTP id o9mr194653wxo; Thu, 30 Mar 2006 07:45:52 -0800 (PST) Received: by 10.70.56.4 with HTTP; Thu, 30 Mar 2006 07:45:52 -0800 (PST) Message-ID: Date: Thu, 30 Mar 2006 10:45:52 -0500 From: "Markus Mottl" To: "Damien Doligez" Subject: Re: [Caml-list] Ocaml 3.09.2+rc1 Cc: "caml users" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: X-Miltered: at concorde with ID 442BFD32.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 442BFD31.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 ocaml:01 damien:01 damien:01 runtime:01 3.08.4:01 3.08.4:01 mutexes:01 runtime:01 multithread:01 cvs:01 ocaml:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.5 required=5.0 tests=INFO_TLD,RCVD_BY_IP autolearn=disabled version=3.0.3 On 3/30/06, Damien Doligez wrote: > + runtime: inefficiency of signal handling PR#3990 The extreme slowdown observed between 3.08.4 and 3.09.1 seems to be fixed now. The example "slow.ml" in the bugtracker now runs approx. two times slower without thread support with the CVS-release in comparison to 3.08.4 (due to now correct signal handling), and I don't see any mentionable slowdown anymore if thread support is compiled in. The version compiled with thread support is about 30 times slower than the one compiled without, but there is does not seem to be any way around this considering the need for locking mutexes, signaling condition variables, etc. > + runtime: crashes with I/O in multithread programs PR#3906 I'm very happy to report that I haven't seen any instance of this nasty problem in the effected application since the patch was available in CVS, and we would quite likely have seen it already, as it has been under fairly heavy load since then (for about a week). All of the above has been tried with OCaml 3.09.2+dev6 (2006-03-22), and I have proofread both patches, because we run our production systems with them. There are only a few additional patches in RC1, which we will skip until the final release, so we do not expect any unwanted surprises. I haven't investigated any of the other fixes that have already made it into the CVS-release we are running, but we haven't seen any problems so far. Thanks for all the hard work making OCaml even better! Best regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com