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 49E197FF97 for ; Wed, 9 Mar 2016 10:50:31 +0100 (CET) IronPort-PHdr: 9a23:7enTYBTmkpBUrdyvIr4Tqv1Ly9psv+yvbD5Q0YIujvd0So/mwa64ZhKN2/xhgRfzUJnB7Loc0qyN4/+mCTJLucnJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuDPU4Q23KUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtGbdRCTBjN2Eu+OXqswPCRE2B/C1PfH8Rl0+w+0CR6BDnXJb4tAP7sfE70SLcNsugHuN8Yiir86o+EEygsywALTNsqGw= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=liujian@ios.ac.cn; spf=Pass smtp.mailfrom=liujian@ios.ac.cn; spf=None smtp.helo=postmaster@EX01.ios.ac.cn Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of liujian@ios.ac.cn) identity=pra; client-ip=124.16.137.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="liujian@ios.ac.cn"; x-sender="liujian@ios.ac.cn"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of liujian@ios.ac.cn designates 124.16.137.54 as permitted sender) identity=mailfrom; client-ip=124.16.137.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="liujian@ios.ac.cn"; x-sender="liujian@ios.ac.cn"; 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@EX01.ios.ac.cn) identity=helo; client-ip=124.16.137.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="liujian@ios.ac.cn"; x-sender="postmaster@EX01.ios.ac.cn"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CmAgDp8N9WejaJEHxcgm6BHnO6TQEBgXMXAYd8DwEBAQEBAQEBEAEBCxRZgi2CGwgCHgVZBQ1AGyMcAQQeBYgTkn6NOo9XCIsuhC+PX4F8CykXgScFjiSJC5xsjlo4AQEBhBgviQN+AQEB X-IPAS-Result: A0CmAgDp8N9WejaJEHxcgm6BHnO6TQEBgXMXAYd8DwEBAQEBAQEBEAEBCxRZgi2CGwgCHgVZBQ1AGyMcAQQeBYgTkn6NOo9XCIsuhC+PX4F8CykXgScFjiSJC5xsjlo4AQEBhBgviQN+AQEB X-IronPort-AV: E=Sophos;i="5.24,310,1454972400"; d="scan'208,217";a="206766809" Received: from mail.ios.ac.cn (HELO EX01.ios.ac.cn) ([124.16.137.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 09 Mar 2016 10:50:29 +0100 Received: from JianPC (192.168.1.2) by EX01.ios.ac.cn (192.168.1.17) with Microsoft SMTP Server (TLS) id 15.0.1076.9; Wed, 9 Mar 2016 17:36:21 +0800 From: =?gb2312?B?wfW84Q==?= To: Date: Wed, 9 Mar 2016 17:50:21 +0800 Message-ID: <000801d179e9$1865ca40$49315ec0$@ios.ac.cn> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0009_01D17A2C.268C1780" X-Mailer: Microsoft Outlook 15.0 Thread-Index: AdF55/sIhV92CWypTwGLdvNQRC6rPw== Content-Language: zh-cn X-Originating-IP: [192.168.1.2] X-ClientProxiedBy: EX01.ios.ac.cn (192.168.1.17) To EX01.ios.ac.cn (192.168.1.17) Subject: [Caml-list] muti-core programming ------=_NextPart_000_0009_01D17A2C.268C1780 Content-Type: text/plain; charset="gb2312" Content-Transfer-Encoding: quoted-printable Hi, I=A1=AFm recently writing a formal verification tool in OCaml, and= it works really well, but I=A1=AFm considering writing a concurrent version. However, until now, there seems to be no way to write programs that take advantage of multi-cores. So, I=A1=AFm 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? =20 Thanks, Jian ------=_NextPart_000_0009_01D17A2C.268C1780 Content-Type: text/html; charset="gb2312" Content-Transfer-Encoding: quoted-printable

Hi,

&nbs= p; I=A1=AFm recently writing a formal verification tool in OCam= l, and it works really well, but I=A1=AFm considering writing a concurrent = version. However, until now, there seems to be no way to write programs tha= t take advantage of multi-cores. So, I=A1=AFm wondering when will OCaml sup= port multi-core programming? Or else, do I have other choices by using some= external extensions of OCaml instead of the standard library?

Thanks,

Jian

= = ------=_NextPart_000_0009_01D17A2C.268C1780--