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 188187FA31 for ; Wed, 16 Jul 2014 00:52:19 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.131; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBACawxVPU436Dm2dsb2JhbABZg2BXgna+f4dGAYENFg8BAQEBAQYLCwkUKIQEAQUjMiQQCw4KKgICVwYTCYg9CbIhmBMXiWKFQyYHgneBTAWQeJEuBZBYagE X-IPAS-Result: AlQBACawxVPU436Dm2dsb2JhbABZg2BXgna+f4dGAYENFg8BAQEBAQYLCwkUKIQEAQUjMiQQCw4KKgICVwYTCYg9CbIhmBMXiWKFQyYHgneBTAWQeJEuBZBYagE X-IronPort-AV: E=Sophos;i="5.01,668,1400018400"; d="asc'?scan'208";a="85316171" Received: from mout.kundenserver.de ([212.227.126.131]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Jul 2014 00:52:18 +0200 Received: from office1.lan.sumadev.de (dslb-188-107-170-128.pools.arcor-ip.net [188.107.170.128]) by mrelayeu.kundenserver.de (node=mreue004) with ESMTP (Nemesis) id 0MgJWc-1WtUkp0bNm-00NiE6; Wed, 16 Jul 2014 00:52:17 +0200 Received: from [192.168.10.103] (ip-88-153-134-178.unitymediagroup.de [88.153.134.178]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 82DD0DC270; Wed, 16 Jul 2014 00:52:16 +0200 (CEST) Message-ID: <1405464734.11422.16.camel@zotac> From: Gerd Stolpmann To: Peter Zotov Cc: Raoul Duke , OCaml Date: Wed, 16 Jul 2014 00:52:14 +0200 In-Reply-To: <40448e4581a57924e4eca25df7b5b61b@whitequark.org> References: <4711F804-5A3B-40C8-B0DD-ACB5ABF1CAD7@ocamljava.org> <1405417081.4384.182.camel@e130> <40448e4581a57924e4eca25df7b5b61b@whitequark.org> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-A1a3RzTb53+TJpOz67gk" X-Mailer: Evolution 3.10.4-0ubuntu1 Mime-Version: 1.0 X-Provags-ID: V02:K0:iqYOSv8sa3X7d4mddqwhmxKZkflGou3SjVgVWx1GozI AcPm7KSQZapmRl8yq++EcgFTYBa3HPUS3+LJZlI1Jt9owp9u+F AHZK8hHU58DtbCG4ohgn6ltUBd2JD0cx6q9dFMeyS34PYa0KDi RluUUdpl+Z/bHmIPIgqlO6xaqSSHGn6YnSe+I4758s1TiVwh6D W+BQiROvFZhiOVYkPBQK9qcD4aPJYQ5Nja4GTt9z73clRQISlc 5icJQocNRjMe69wcvMHLqXDXMwIbCzcsKtVDYdn8sWLXJMNsGt L932CrGqA2me0pwGOBBndbTJMSDHuqDhPGjEaPPjVSM3SdukDW uBbX08L3BCg7nNeRqhYR8kLK+QOgv7LmnA2v/g1jG Subject: Re: [Caml-list] [ANN] OCaml-Java is going alpha, to github --=-A1a3RzTb53+TJpOz67gk Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Dienstag, den 15.07.2014, 16:11 +0400 schrieb Peter Zotov: > On 2014-07-15 13:38, Gerd Stolpmann wrote: > > Go is in particular interesting because it provides a model of > > lightweight threading that can be backed by multiple cores. >=20 > You may want to know that Go is not memory-safe in presence of > race conditions. It uses multi-word fat pointers that cannot be > atomically updated, yet does not globally protect them with a mutex > "for speed", or prevent such updates using the type system. Hmmm, that just means that the multi-threading is a bit unsafer than in OCaml. But it is different anyway, e.g. in OCaml sequences of simple assignments are atomic (although this isn't documented anywhere, afaik the incrementation of the object ID counter depends on that). Anyway, it is an experiment only. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-A1a3RzTb53+TJpOz67gk Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJTxbCeAAoJEAaM4b9ZLB5T3vIIAJkLXV4kV4TW9S1IovixPIF/ Nb4Hm/PHSAehpdQDDHsrpPXt5oiLu2e5viwN8SWJ+o6AK+qSF6UoLb0ZPossrDz4 UDuSHbSaa3D8xxXHRkj5aGp2C8cY1IL453SmYSZh7KNgHbnkdmP9aYmsGELkSYKH fP7fRCqrIvY3okCY7+D5gIS98f7aPwd1QDxLgGxSe4Oj12llSY9myfWC6yUBPnjp MeqhGGlSHrd8HF3Nt8wAH1EWS+yZU5uUgfnN5MoHf0Sexils3ns19LHVJ2rq60n/ f39qVtnQuXNQtjKP59RWRdruQ5OnOvmCjHtMRQhDMoFLmEHx6kPaV/0UqEpTYZA= =VTH/ -----END PGP SIGNATURE----- --=-A1a3RzTb53+TJpOz67gk--