From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <stedolan@stedolan.net>
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 110A67F75C
	for <caml-list@sympa.inria.fr>; Fri, 12 Sep 2014 12:42:53 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  stedolan@stedolan.net) identity=pra;
  client-ip=209.85.217.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="stedolan@stedolan.net";
  x-sender="stedolan@stedolan.net";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  stedolan@stedolan.net) identity=mailfrom;
  client-ip=209.85.217.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="stedolan@stedolan.net";
  x-sender="stedolan@stedolan.net";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-lb0-f173.google.com) identity=helo;
  client-ip=209.85.217.173;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="stedolan@stedolan.net";
  x-sender="postmaster@mail-lb0-f173.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArYBANjMElTRVdmtm2dsb2JhbABfhDcEgni1e5hQCBYQAQEBAQEGCwsJFCqEBAEBBBIRVhABCgsDCgICJgICIQESAQUBHAYTIogMAxGbYWuLMI5pDVeGJwEXCoEii3SFLYFTBZJOiCWCEI5+hEsYKYUTa4FIgQcBAQE
X-IPAS-Result: ArYBANjMElTRVdmtm2dsb2JhbABfhDcEgni1e5hQCBYQAQEBAQEGCwsJFCqEBAEBBBIRVhABCgsDCgICJgICIQESAQUBHAYTIogMAxGbYWuLMI5pDVeGJwEXCoEii3SFLYFTBZJOiCWCEI5+hEsYKYUTa4FIgQcBAQE
X-IronPort-AV: E=Sophos;i="5.04,512,1406584800"; 
   d="scan'208";a="94325868"
Received: from mail-lb0-f173.google.com ([209.85.217.173])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Sep 2014 12:42:52 +0200
Received: by mail-lb0-f173.google.com with SMTP id w7so638681lbi.18
        for <caml-list@inria.fr>; Fri, 12 Sep 2014 03:42:51 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:sender:in-reply-to:references:date
         :message-id:subject:from:to:cc:content-type;
        bh=I7aYDu90qhff502O85xwex6LmPpazyAoaVGcoYW0sSg=;
        b=U5FRMsSFYUTXxJ9Hm2ocrRZlJXGqNSaUB1TcunzxzaYPtz5WhHcprR1jBsreK3jtp0
         V8fibeujIAD1oxy8IN61qNXN5vZXFr0deUtLdMfhaJabFX7sWiPWjlMUqnCkSe183LGN
         12rn1mMcKHWFEBuYQb2aIWK3j3tFzOttwKJ11BTEhfrSBVeQ8D0UuDDnf8hOuIOS3XmP
         Z8hCUCAa6oDAvu4yIdG9WpiyzEHwUldUjE8yOJaqHrkMlmo4EaBF7QOSrThy01xk5yot
         nypHlrJrCwBAsKSlaqAFUsvOyFLITroFCrUtAmoon8Ah+/lD8O0lHwO7aIR52qtZr5+/
         cLVg==
X-Gm-Message-State: ALoCoQlgjau0M1KLvQRLjddu3X36AdR0Baxgs4+SezR0UhI64S+LMBrypDRhiXtVSBZwWlcsKftm
MIME-Version: 1.0
X-Received: by 10.152.27.200 with SMTP id v8mr7928553lag.53.1410518571679;
 Fri, 12 Sep 2014 03:42:51 -0700 (PDT)
Sender: stedolan@stedolan.net
Received: by 10.114.11.65 with HTTP; Fri, 12 Sep 2014 03:42:51 -0700 (PDT)
X-Originating-IP: [128.232.9.157]
In-Reply-To: <CAKziXDVyLFq2kfvFMY6-SfiWfmhkB3nfDDCSOo2qeK21y_rUWg@mail.gmail.com>
References: <CAL2Z3DCMB83vM-QhcqnPPrT2f0WJ_pBWvLZGk7e0YvfBn67h6g@mail.gmail.com>
	<CA+mHimMNNOvBLnRvU-aiYe87j2KLzyxVc5OrGVvPEf1MDV9XAg@mail.gmail.com>
	<CAGrdgiUrF86W6ooyXCH3jYjX0aGCER8O7u1vqvBjojQDv=E3Kg@mail.gmail.com>
	<FE011996-4EF9-4C37-B43C-B4E2C226A678@recoil.org>
	<CAGrdgiW4U2FP3HKMN8aZHDUWE5CpDCmzroSRRoERGqjk5m7nOw@mail.gmail.com>
	<CAN6ygOnL+sCvhZoXEjX8z-fSjzdXDBZx5UWmBg1TeipbFbeULQ@mail.gmail.com>
	<CA+mHimP2hVbBbqG1jt4X7w3jiVsKHV_P5=oYkwi5BBLoX6ePsw@mail.gmail.com>
	<CAN6ygOmQ2uD4_NYz7XFcJw3rfbie429r-BZ-is6-ACp-51rMmQ@mail.gmail.com>
	<CA+mHimOxzFx+mgfTMUxb1LXM2jjT7Prp636GCeSs80fAYCdv2Q@mail.gmail.com>
	<CAN6ygOnhHQ5LzDkk-qaGJ37GYVVwUemcPpcw=DLB_bwBYvvUdA@mail.gmail.com>
	<CA+mHimNGrS88oP5o-99jgQLEGc3zcDJ1q57W=uQ8RkAhMQsffA@mail.gmail.com>
	<CAKziXDVyLFq2kfvFMY6-SfiWfmhkB3nfDDCSOo2qeK21y_rUWg@mail.gmail.com>
Date: Fri, 12 Sep 2014 11:42:51 +0100
X-Google-Sender-Auth: 498oobT5aSHbIS27e4d2NLMRK2Q
Message-ID: <CA+mHimMNE_XUC_bhHYs9uAi-ebsijVkbSQr_qkKqze-Sf1FcmQ@mail.gmail.com>
From: Stephen Dolan <stephen.dolan@cl.cam.ac.uk>
To: Malcolm Matalka <mmatalka@gmail.com>
Cc: Yotam Barnoy <yotambarnoy@gmail.com>, caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Multicore runtime

On Thu, Sep 11, 2014 at 9:53 AM, Malcolm Matalka <mmatalka@gmail.com> wrote:
> Is there a detailed description of the memory model somewhere?  For example
> what does it mean for two domains to modify the same reference?  Apologies
> if I missed it in the thread.

Not yet! Being worked on.

Stephen