From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <danielandor@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id A68E7BC6B
	for <caml-list@yquem.inria.fr>; Wed,  9 Jan 2008 15:46:40 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAP9shEfRVYC6kmdsb2JhbACQHAEBAQEHBAQpkmaGZg
X-IronPort-AV: E=Sophos;i="4.24,262,1196636400"; 
   d="scan'208";a="21056262"
Received: from fk-out-0910.google.com ([209.85.128.186])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Jan 2008 15:46:40 +0100
Received: by fk-out-0910.google.com with SMTP id b27so167461fka.11
        for <caml-list@yquem.inria.fr>; Wed, 09 Jan 2008 06:46:40 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=X6b9GfrQkwkSBZhqIm3oZzmHPBCjGqXzDxMNv/pJo88=;
        b=QWNvObrBq8Mr6coi/RNyDz1vfNtzEb7HKs9TDMYKqViDel+BV7SVnKgoTQ0yoTFCufwY/vqouzw8LYa4TcvaY2iAUKuQj6bi7pbUDiH5ffA+VcJq+zX0+keXVcJNCrwk5YT1S7wRA0FtMwXJquUD4vi7PdVailjyTD3cals0ZLs=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=hSEekbNxTQiBUTZ5poykHPBBucHHuFvgjK+I6QzSKw0WgL77/34VMnOLFikhpcJ3L2Y4g089Ku0vIs79u2mPyxHNBBuNRInH4FbQsxZIZ5qZGSxjpE8LXukEQTC1FLeZWRbkG1L6fMqrepV2tnkGv6/SOLoJxOAnVso7SBs81RY=
Received: by 10.78.193.19 with SMTP id q19mr681212huf.69.1199889999792;
        Wed, 09 Jan 2008 06:46:39 -0800 (PST)
Received: by 10.78.100.14 with HTTP; Wed, 9 Jan 2008 06:46:39 -0800 (PST)
Message-ID: <4d5f7bec0801090646q2e6320b8wc3f3d196066bf414@mail.gmail.com>
Date: Wed, 9 Jan 2008 09:46:39 -0500
From: "Daniel Andor" <danielandor@gmail.com>
To: "Brian Hurt" <bhurt@janestcapital.com>
Subject: Re: [Caml-list] Parallelism with threads
Cc: caml-list@yquem.inria.fr
In-Reply-To: <4783D640.7080800@janestcapital.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <200801081456.49677.jon@ffconsultancy.com>
	 <4d5f7bec0801081131u2ebfae8aia0b13564d13b03c6@mail.gmail.com>
	 <4783D640.7080800@janestcapital.com>
X-Spam: no; 0.00; parallelism:01 sockets:01 erlang:01 model:01 ocaml:01 shm:98 threads:01 wrote:01 caml-list:01 data:02 sys:03 typed:04 mpi:04 daniel:04 pipes:04 

On Jan 8, 2008 3:00 PM, Brian Hurt <bhurt@janestcapital.com> wrote:
>  The heaps wouldn't be able to see each other, but they'd be able to
> communicate via light weight (and strongly typed) message passing, and you
> wouldn't have to dink around with sockets, pipes, MPI, or simiar "heavy
> weight" solutions, so it'd be simpler, and possibly faster.  This is not
> unlike the Erlang model, in fact.

Are there any solutions that do not involve message passing?  I have
heaps of data that barely fits into memory, and sharing that memory is
the most straightforward way to process it.

If sharing process space is out, are there other ways to share memory?
 How about sys V SHM or MMAP, or variations -- how would that work
under OCaml?

D.