From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7B529BC37 for ; Thu, 11 Jun 2009 23:02:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnQBAKcNMUqB1w3NkWdsb2JhbACYPwEBAQEJCwoHEgW3eYQKBQ X-IronPort-AV: E=Sophos;i="4.42,204,1243807200"; d="scan'208";a="31057078" Received: from nougat.ucs.ed.ac.uk ([129.215.13.205]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Jun 2009 23:02:07 +0200 Received: from dandy.inf.ed.ac.uk (dandy.inf.ed.ac.uk [129.215.33.80]) by nougat.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id n5BL21I0007994; Thu, 11 Jun 2009 22:02:01 +0100 (BST) Received: from [192.168.0.54] (dsl-217-155-195-212.zen.co.uk [217.155.195.212]) (authenticated bits=0) by dandy.inf.ed.ac.uk (8.13.8/8.13.8) with ESMTP id n5BL204I011606 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 11 Jun 2009 22:02:00 +0100 Message-ID: <4A3170C7.7090507@inf.ed.ac.uk> Date: Thu, 11 Jun 2009 22:01:59 +0100 From: Lucas Dixon User-Agent: Thunderbird 2.0.0.21 (X11/20090409) MIME-Version: 1.0 To: Florian Weimer Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] The state of ML: multi-threaded, saved state and support platforms References: <4A310EE5.7070704@inf.ed.ac.uk> <87d49a1zho.fsf@mid.deneb.enyo.de> In-Reply-To: <87d49a1zho.fsf@mid.deneb.enyo.de> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Edinburgh-Scanned: at nougat.ucs.ed.ac.uk with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus Content-Disposition: inline X-Scanned-By: MIMEDefang 2.60 on 129.215.13.205 X-Spam: no; 0.00; lucas:98 dixon:98 lucas:98 dixon:98 threads:01 wrote:01 caml-list:01 native:03 florian:03 seems:03 concurrency:04 passing:05 implement:06 shared:06 shared:06 Florian Weimer wrote: > * Lucas Dixon: > >> 1. Which implementations have native system threads with shared memory? > > And are there any implementations which allow multiple worlds in a > single process, *without* shared memory? I was wondering if some systems implement message passing concurrency without shared memory. Seems quite reasonable to me. I think older thread libraries for PolyML has limits on the way memory was shared. best, lucas -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.