From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F1ACD7FA4D for ; Tue, 29 Jul 2014 12:29:13 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ygrek@autistici.org) identity=pra; client-ip=82.221.99.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ygrek@autistici.org designates 82.221.99.153 as permitted sender) identity=mailfrom; client-ip=82.221.99.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="ygrek@autistici.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@diserzione.investici.org designates 82.221.99.153 as permitted sender) identity=helo; client-ip=82.221.99.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ygrek@autistici.org"; x-sender="postmaster@diserzione.investici.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsUCAOJ011NS3WOZh2dsb2JhbABZhDfTNQGBExYQAQEBCgsJBxYphAQBBAE6RAsLCRglD0gZiC4DCQy3cyKGfhePUxaENAWKb4ZniXUBhx6RBl8 X-IPAS-Result: AsUCAOJ011NS3WOZh2dsb2JhbABZhDfTNQGBExYQAQEBCgsJBxYphAQBBAE6RAsLCRglD0gZiC4DCQy3cyKGfhePUxaENAWKb4ZniXUBhx6RBl8 X-IronPort-AV: E=Sophos;i="5.01,756,1400018400"; d="scan'208";a="73169644" Received: from diserzione.investici.org ([82.221.99.153]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 Jul 2014 12:29:13 +0200 Received: from [82.221.99.153] (diserzione [82.221.99.153]) (Authenticated sender: ygrek@autistici.org) by localhost (Postfix) with ESMTPSA id 5F64C18070C for ; Tue, 29 Jul 2014 10:29:09 +0000 (UTC) Date: Tue, 29 Jul 2014 18:29:01 +0800 From: ygrek To: caml-list@inria.fr Message-ID: <20140729182901.1b8bcd0a@kiwi.local.tld> In-Reply-To: <20140729100122.GC13382@frosties> References: <21456.19915.45180.915211@gargle.gargle.HOWL> <20140728112431.GC26816@frosties> <20140729124919.41694834@kiwi.local.tld> <20140729100122.GC13382@frosties> X-Mailer: Claws Mail 3.9.3 (GTK+ 2.24.23; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] concurrent gc? On Tue, 29 Jul 2014 12:01:22 +0200 Goswin von Brederlow wrote: > The issue talks about arrays and xleroy mentioned that the magic that > is used to tag float arrays as such does not extend to e.g int arrays > and therefore, since it needs to be a runtime thing, special tagging > won't work there. Seems ther is only one big con. The "pro" is the noticeable speedup, see the link in the issue. I wonder whether modifying caml_compare to not distinguish 0 and "noscan" tag would be worthwhile..