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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9FA937F75C for ; Thu, 11 Sep 2014 10:53:45 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.217.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.217.171 as permitted sender) identity=mailfrom; client-ip=209.85.217.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f171.google.com) identity=helo; client-ip=209.85.217.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-lb0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBACNiEVTRVdmrm2dsb2JhbABgDoNSVwSCeLEJkkWBaYdNAYEECBYQAQEBAQEGCwsJFCqEAwEBAQMBEhEdARsSCwEDAQsGBQQBBg0NHQICIQEBEQEFAQoSBhMSEIgLAQMJCA2ddmuLMIFygxCJGAoZJwMKZoV8AREBBQ6NEoIpBAeCeYFTBYULBZBphHOCEIFfjR2ESxgphFBEOy8Bgk4BAQE X-IPAS-Result: AlQBACNiEVTRVdmrm2dsb2JhbABgDoNSVwSCeLEJkkWBaYdNAYEECBYQAQEBAQEGCwsJFCqEAwEBAQMBEhEdARsSCwEDAQsGBQQBBg0NHQICIQEBEQEFAQoSBhMSEIgLAQMJCA2ddmuLMIFygxCJGAoZJwMKZoV8AREBBQ6NEoIpBAeCeYFTBYULBZBphHOCEIFfjR2ESxgphFBEOy8Bgk4BAQE X-IronPort-AV: E=Sophos;i="5.04,504,1406584800"; d="scan'208";a="78537046" Received: from mail-lb0-f171.google.com ([209.85.217.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Sep 2014 10:53:44 +0200 Received: by mail-lb0-f171.google.com with SMTP id 10so13188017lbg.16 for ; Thu, 11 Sep 2014 01:53:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=EHUN4lS4LI/6Bw6ei9uIQJhZvmzwSLTRcxiZTAMcFgY=; b=F2xXxM22aM6BwXSQmwoaiNIX303JSpq84QCzYwiUkx93NLTD8KKHO1hgF0AI3qz+kp tcPgDGfC3wR4duZP7Z6OU22SRpiy7uySPDJOoL5ySL0I+c5ymQ3qrVpBr6SLHvyGYKyD w+hFXg5r0sNAEQVL/GlvqM0TUh1ttVJ5+IOp5gg3gibnSXE+3Rv1pOihpYwOo4C+X22M OdSnEtFR01ldC/xOQfn8b/0xK1FSMAUgDMnX3nr5GeqA3UqUTtfbjdLnPwB2o3ya1Ghj bZAZkS0Ghs/TeYIy46OZ49Jw1ud4WPaD9bwUQhIo/fFjyb9O4c4OC78itDFOrsnVzhaj akMA== MIME-Version: 1.0 X-Received: by 10.112.224.9 with SMTP id qy9mr44963927lbc.57.1410425624440; Thu, 11 Sep 2014 01:53:44 -0700 (PDT) Received: by 10.25.31.69 with HTTP; Thu, 11 Sep 2014 01:53:44 -0700 (PDT) Received: by 10.25.31.69 with HTTP; Thu, 11 Sep 2014 01:53:44 -0700 (PDT) In-Reply-To: References: Date: Thu, 11 Sep 2014 10:53:44 +0200 Message-ID: From: Malcolm Matalka To: Stephen Dolan Cc: Yotam Barnoy , caml-list Content-Type: multipart/alternative; boundary=001a11349f1453b4ec0502c64e6d Subject: Re: [Caml-list] Multicore runtime --001a11349f1453b4ec0502c64e6d Content-Type: text/plain; charset=UTF-8 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. Den 11 sep 2014 10:40 skrev "Stephen Dolan" : > On Wed, Sep 10, 2014 at 11:42 PM, Yotam Barnoy > wrote: > > Maybe I misunderstood something. Does each domain only have a minor > private > > heap (ie. copying gc) or do they each also have a major private > heap/older > > generation (mark and sweep)? If they have an older generation, then a > thread > > could potentially have a lot of data there, no? > > Only a private minor heap. The major heap is the shared heap. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a11349f1453b4ec0502c64e6d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Is there a detailed description of the memory model somewher= e?=C2=A0 For example what does it mean for two domains to modify the same r= eference?=C2=A0 Apologies if I missed it in the thread.

Den 11 sep 2014 10:40 skrev "Stephen Dolan&= quot; <stephen.dolan@cl.ca= m.ac.uk>:
On = Wed, Sep 10, 2014 at 11:42 PM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> Maybe I misunderstood something. Does each domain only have a minor pr= ivate
> heap (ie. copying gc) or do they each also have a major private heap/o= lder
> generation (mark and sweep)? If they have an older generation, then a = thread
> could potentially have a lot of data there, no?

Only a private minor heap. The major heap is the shared heap.

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--001a11349f1453b4ec0502c64e6d--