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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 69C377FE53 for ; Wed, 9 Mar 2016 11:23:33 +0100 (CET) IronPort-PHdr: 9a23:SPAklhap+7nBGG9EeAinoB7/LSx+4OfEezUN459isYplN5qZpci5bnLW6fgltlLVR4KTs6sC0LqJ9fC+EjVYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0q8OYOl0ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0ARkhNNDgSNzR7nU433tiL+v6Ip2SaHMNewRK0oXhyt6q5qTFnjjyJRZG1xy33elsEl1PETmxmmvREqm4M= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=iguer.auto@gmail.com; spf=Pass smtp.mailfrom=iguer.auto@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f44.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of iguer.auto@gmail.com) identity=pra; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="iguer.auto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of iguer.auto@gmail.com designates 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="iguer.auto@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="iguer.auto@gmail.com"; x-sender="postmaster@mail-wm0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ATAQAh+d9WiyxSfUpcgw99baZsBoFchyCKcYFpIYUkSgKBSDkTAQEBAQEBAQEQAQEBCAsLCR8xgi2CFQEBBBIRDwEFCAEbHAIDDAYDAgsNAgIFFgsCAgkDAgECARERAQUBHBMIAQEeh2wBAxIBDZJvj0GBMT4xizaBaoJXhVMKGScNUYN4AQEBAQYBAQEBARUBBQoEbYRUhQqFBoI0gToFly+FZYgMY4FMhm2FX40cL4EPIgGCNR6BUWkBAYlRAQEB X-IPAS-Result: A0ATAQAh+d9WiyxSfUpcgw99baZsBoFchyCKcYFpIYUkSgKBSDkTAQEBAQEBAQEQAQEBCAsLCR8xgi2CFQEBBBIRDwEFCAEbHAIDDAYDAgsNAgIFFgsCAgkDAgECARERAQUBHBMIAQEeh2wBAxIBDZJvj0GBMT4xizaBaoJXhVMKGScNUYN4AQEBAQYBAQEBARUBBQoEbYRUhQqFBoI0gToFly+FZYgMY4FMhm2FX40cL4EPIgGCNR6BUWkBAYlRAQEB X-IronPort-AV: E=Sophos;i="5.24,311,1454972400"; d="scan'208";a="206774875" Received: from mail-wm0-f44.google.com ([74.125.82.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Mar 2016 11:23:32 +0100 Received: by mail-wm0-f44.google.com with SMTP id l68so185904092wml.0 for ; Wed, 09 Mar 2016 02:23:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=ujUY+hnFNNcIlhq0yfejUwA0x6NgvybrfiUxLnD+XyQ=; b=k6ENoH7J7RZ9lRAhfduOhZVjaZRhE++cUpx10cvfcTabrWVdH05TCP1CjHXtAGAfay f1FvthTXpbkT7CslySPRtkTs9khkJh2zk2aigdLkFdyDKgMIQ2PFwdDLD2L/dUOMgGhf 8aU/TdbNQkvelwMjbaSkrTsC3UqrIN5Dxu7YRLAPXD7TY2Vjiw7x5BbPgOWfQk+dtOnU bFv4ksSQHisHaA9FGaUiQgULOAOCxycTgVDlSl1ZtftHzOUkWuAoWddSeKY0LluODLpE jx0eAOBavAf2tga1BpLlrDVFEtxjcxRkuh2tfH57sJxwjKdZTV9/c93Rczll0q1MmaF8 GhyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=ujUY+hnFNNcIlhq0yfejUwA0x6NgvybrfiUxLnD+XyQ=; b=aSomqpXwKAixMSpFdx98WNQpW2yeEXuW7zr5HQVTLcGfHj75/zRnfrZ4c4cSepF5MK +xDebSfBleqghBYmMCxR9TwqbsBa37nB8SIfxelxRr6wdiOh8RLDv0Idm+qOqiUUYqDY IL9MS/2/ZBPvt726NufIflxe3pjdcuwY6f3gxfXhdHQ+ddV4ZpCZzP1vfpVzuLDFcbj1 I4m3GlLMXilq2sZQ4HRV+0XvSB32k5ULktgpzz3WF5IdNQpV7f7FW+WXqzupZG1T6B+/ 1EqnqnmHhw+A51UWRJNMAXYkduPaztYQt/+2nGkoqM61awOgr6bEkNidtez11VLI8zDi avqQ== X-Gm-Message-State: AD7BkJIBcgcfsTG3+ZUk1wV/BI3CC2tCxbWHH3oaRsK1/aYtZwxZwZ16EkZDjXSzJt9ckg== X-Received: by 10.194.116.9 with SMTP id js9mr40211328wjb.112.1457519012621; Wed, 09 Mar 2016 02:23:32 -0800 (PST) Received: from ?IPv6:2a01:cb04:f7:e400:b8b4:84e1:df2a:4ade? (2a01cb0400f7e400b8b484e1df2a4ade.ipv6.abo.wanadoo.fr. [2a01:cb04:f7:e400:b8b4:84e1:df2a:4ade]) by smtp.gmail.com with ESMTPSA id pd1sm7173267wjb.19.2016.03.09.02.23.31 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 09 Mar 2016 02:23:32 -0800 (PST) To: caml-list@inria.fr References: <000801d179e9$1865ca40$49315ec0$@ios.ac.cn> <56DFF5E5.1050109@inria.fr> From: Mohamed Iguernlala Message-ID: <56DFF9A3.4040805@gmail.com> Date: Wed, 9 Mar 2016 11:23:31 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <56DFF5E5.1050109@inria.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] muti-core programming Hi, Functory may be suitable as well (http://opam.ocaml.org/packages/functory/functory.0.5/) -- Mohamed Iguernlala. Senior R&D Engineer, OCamlPro SAS Research Associate, VALS team, LRI Le 09/03/2016 11:07, Francois Berenger a écrit : > On 03/09/2016 10:50 AM, 刘坚 wrote: >> Hi, >> >> I’m recently writing a formal verification tool in OCaml, and >> it works really well, but I’m considering writing a concurrent version. >> However, until now, there seems to be no way to write programs that take >> advantage of multi-cores. > > To accelerate something, probably you want paralellism, not concurrency. > > I recomend parmap, but there are some other libraries out there > too for that purpose (in opam: forkwork and probably others I don't > know). > > But be careful that too fine granularity calculations don't > parallelize well. > For example, if you are analyzing source code, maybe analyzing > distinct files in parallel would be a coarse enough granularity. > > > So, I’m wondering when will OCaml support >> multi-core programming? Or else, do I have other choices by using some >> external extensions of OCaml instead of the standard library? >> >> Thanks, >> >> Jian >