From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 DA8207EE99 for ; Wed, 8 Jan 2014 12:55:04 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.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@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUBALA7zVImacjlnGdsb2JhbABZhBi5cYENHg4BAQEBAQYWCTyCJQEBAQRAAQE3AQ8LCwMKLiISAQUBHAYTG4dpAwKeEIsThFIBBZZwEQaONAEBTweEN5YygWmQKBgphFmBcQ X-IPAS-Result: ApUBALA7zVImacjlnGdsb2JhbABZhBi5cYENHg4BAQEBAQYWCTyCJQEBAQRAAQE3AQ8LCwMKLiISAQUBHAYTG4dpAwKeEIsThFIBBZZwEQaONAEBTweEN5YygWmQKBgphFmBcQ X-IronPort-AV: E=Sophos;i="4.95,624,1384297200"; d="scan'208";a="52246667" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Jan 2014 12:55:04 +0100 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1W0riv-00045f-Qr for caml-list@inria.fr; Wed, 08 Jan 2014 06:55:01 -0500 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1W0riv-0007rp-NS for caml-list@inria.fr; Wed, 08 Jan 2014 06:55:01 -0500 Received: from mail-vb0-f42.google.com ([209.85.212.42]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1W0riv-0001QC-KJ for caml-list@inria.fr; Wed, 08 Jan 2014 06:55:01 -0500 Received: by mail-vb0-f42.google.com with SMTP id w5so1064594vbf.29 for ; Wed, 08 Jan 2014 03:55:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=b4jBUkdwednNV6TGsBPvva4KhH+jJUc734Ap4d4KMzg=; b=hWT5DoZRgUhE52qZCZ+ahPVq8Vq7AHQsBWBk0a9f63a/wA6cAa1u9Ka5WH129ZHcml hVydY6KpUdpgcEYV3gvHxwNEEFsUuKrsHoAIYNaO7aTHdYYPuLhWrw26JfjcHjoJJgP5 s6W3G4c48YpYOZ7jgiVdXJOQA6tu2YtArdGWo= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=b4jBUkdwednNV6TGsBPvva4KhH+jJUc734Ap4d4KMzg=; b=Rbv+X03psA8w3M3QnE7aSQ9aWsOQkok//JI2NmyjMoSqQhHeVy5xYDMFvyCjERkRWE f+EyJ6kwz48wzMFd1OByDXWurMI+ERLlgN5QsW2Q3PXGbGWRKYz2yRcAkCvy0cBBJUMj dqgD7k0XIhnJE2W8Z53kV+HN+j7vlRTsOA7n1yAAXLwL1ME66vQ0UOMGnGLo0LA0kbQt U0t5ReMXCRQGGFhwPDSVQ00MH01gz0As6NSUQMqeHKqv+xOLGR3tDYeRiRdvzVSuVdQu YbUcykQfexA/WJ2ciJbXqsm0kjeQM+JjP92jtsT4txkRWBQ2WMX/E+HPpKJzMVgWfE4x wcPA== X-Gm-Message-State: ALoCoQm9ncCXbphhw5aZCcm9UH+6a7Rh4aoLaRqoQZZaJXRjIQw5YB2fg+hr8InlUplFzXaMf2KB2ZsW4eHirD/HIKbpimyTikDfz4SQVc+aBZPV+TGBNM9tsWyloQ5xfnYlpPWAV4zUnWaCNgg3CQ1jgkklOTlQvg== X-Received: by 10.58.253.163 with SMTP id ab3mr1122213ved.70.1389182101473; Wed, 08 Jan 2014 03:55:01 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.58.253.163 with SMTP id ab3mr1122206ved.70.1389182101383; Wed, 08 Jan 2014 03:55:01 -0800 (PST) Received: by 10.58.152.106 with HTTP; Wed, 8 Jan 2014 03:55:01 -0800 (PST) In-Reply-To: <1389181001.2999.46.camel@e130> References: <1389126940.2692.4.camel@zotac> <1389181001.2999.46.camel@e130> Date: Wed, 8 Jan 2014 11:55:01 +0000 Message-ID: From: Mark Shinwell To: Gerd Stolpmann Cc: Yotam Barnoy , Ocaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] Concurrent/parallel programming On 8 January 2014 11:36, Gerd Stolpmann wrote: > There is a workaround in place - so far the OS supports it: thanks to > Xavier the symbols caml_modify and caml_initialize are declared as weak > in 4.01, allowing them to be redefined in executables. Netmulticore > redefines these symbols with their pre-4.01 functions. > > This isn't optimal yet, because the old write barriers are a bit slower, > and because this introduces a very low-level dependency on the current > version of Ocaml. Nevertheless, it works for now. (Ideas for a better > solution are highly welcome.) Jeremie Dimino and myself have a somewhat embryonic proposal that should permit most of the write barrier to be circumvented for out-of-heap access, and also avoid the page table test. We'll send mail to the list in due course once we've had time to think about this further. Mark