From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3KDNETh022495 for ; Wed, 20 Apr 2011 15:23:14 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BAJvdrk3RVaC2kGdsb2JhbAClNQgUAQEBAQkJDQcUBCGraop0giWFMzOIXQEBAwaFawSOIodlgh06 X-IronPort-AV: E=Sophos;i="4.64,246,1301868000"; d="scan'208";a="81420544" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Apr 2011 15:22:55 +0200 Received: by gyg13 with SMTP id 13so286119gyg.27 for ; Wed, 20 Apr 2011 06:22:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=Lk9C/ulLzW0HL4CVC8ir/kYHLt/bV0lXAl+assDwZdI=; b=wsENu+2zfgSq9U/fnJqYjbDTFzP4FzW6/Wbp3P9wn1saIAOrb0qNlcjM+vuAFr1ial lPoYg5m5mSgYC03tQ67I2G7pDgGfEGJtIWHkTvzZhAQmrfJqQnqOTWRc1J1IcYPKCrdm p10sTjDNe7qK9a52RlYOkbUXAehr3kL2g0/aQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=QiQvmhwdLuu8iqmGRPVI1NAUwt1i0+h0V+OYLcszFdlqbwynZndxLpOnRyOxodJLsH 4rEfkhLDfrhFMl81j4X4j5ment9E5p317C9/35lYUOGiOEqHRs3qTCatqZ39o05TLkJ6 vISN3oCkJjgBLlvgfSksLKaGGP2l12hcR0Dmo= MIME-Version: 1.0 Received: by 10.146.136.6 with SMTP id j6mr4275021yad.39.1303305774657; Wed, 20 Apr 2011 06:22:54 -0700 (PDT) Received: by 10.147.172.5 with HTTP; Wed, 20 Apr 2011 06:22:24 -0700 (PDT) In-Reply-To: <4DAED747.5060105@inescporto.pt> References: <2054357367.219171.1300974318806.JavaMail.root@zmbs4.inria.fr> <4D8BD02D.1010505@inria.fr> <4D8C73C8.6020801@inescporto.pt> <1301055903.8429.314.camel@thinkpad> <341494683.237537.1301057887481.JavaMail.root@zmbs4.inria.fr> <4D8C944A.9060601@inria.fr> <4D8CB859.9040709@inescporto.pt> <4D8CDDCC.4010000@ens-lyon.org> <4D8CEAA4.2030403@inescporto.pt> <1303244809.8429.1272.camel@thinkpad> <4DAE9278.4050701@inescporto.pt> <4DAED747.5060105@inescporto.pt> Date: Wed, 20 Apr 2011 09:22:24 -0400 Message-ID: From: Markus Mottl To: Hugo Ferreira Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p3KDNETh022495 Subject: Re: [Caml-list] Efficient OCaml multicore -- roadmap? On Wed, Apr 20, 2011 at 08:53, Hugo Ferreira wrote: > Most of the data-set and the results are symbolic (sets of clauses in > predicate logic) which are passed on as text to be parsed. Don't know > if bin-prot helps any in this context. It should be easy enough to try out. Speedups of 10x are not uncommon. Sum type constructors as probably used for logic operators would then surely be much more efficient than textual representation. Note, too, that Sexplib has to allocate S-expressions as intermediate representation, whereas bin-prot performs conversions directly from the wire format to OCaml values. Regards, Markus -- Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com