From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 2C883BCAF for ; Fri, 24 Jun 2005 18:14:47 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5OGEkJ5022094 for ; Fri, 24 Jun 2005 18:14:46 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA22845 for ; Fri, 24 Jun 2005 18:14:46 +0200 (MET DST) Received: from mailx.valdosta.edu (mailx.valdosta.edu [168.18.130.251]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5OGEjgD014801 for ; Fri, 24 Jun 2005 18:14:46 +0200 Received: from blazemail.valdosta.edu (valdosta.edu [168.18.130.208]) by mailx.valdosta.edu (8.13.4/8.13.4) with ESMTP id j5OGEjmn022170 for ; Fri, 24 Jun 2005 12:14:45 -0400 (EDT) (envelope-from jtbryant@valdosta.edu) Received: from starlight.valdosta.edu (VO00985.valdosta.edu [168.18.148.146]) by blazemail.valdosta.edu (iPlanet Messaging Server 5.2 HotFix 2.04 (built Feb 8 2005)) with ESMTP id <0IIL00BUFJSK3N@blazemail.valdosta.edu> for caml-list@inria.fr; Fri, 24 Jun 2005 12:14:44 -0400 (EDT) Date: Fri, 24 Jun 2005 12:14:58 -0400 From: Jonathan_T_Bryant Subject: Re: [Caml-list] How INRIA people envision OCaml's parallel future? In-reply-to: <3d13dcfc050624055027743339@mail.gmail.com> To: caml-list@inria.fr Reply-To: jtbryant@valdosta.edu Message-id: <1119629698.16349.10.camel@starlight.valdosta.edu> MIME-version: 1.0 X-Mailer: Evolution 2.0.2 (2.0.2-13) Content-type: text/plain Content-transfer-encoding: 7BIT References: <3d13dcfc05062300215e4be9ee@mail.gmail.com> <1119547256.4675.12.camel@starlight.valdosta.edu> <1119603126.8485.4.camel@localhost.localdomain> <3d13dcfc050624023670d3aed2@mail.gmail.com> <3d13dcfc050624055027743339@mail.gmail.com> X-PMX-Version: 5.0.1.144180, Antispam-Engine: 2.0.3.2, Antispam-Data: 2005.6.24.16 X-Miltered: at nez-perce with ID 42BC3176.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42BC3175.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml's:01 semaphores:01 simulate:01 threads:01 caml-list:01 threading:01 moderately:01 ocaml:01 beginner's:01 ocaml:01 beginners:01 bug:01 ...:98 wrote:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Well, one of the easiest ways is to extend the Unix library to be able to include the shared memory and semaphores system calls (shmget, shmat, shmctl, shmdt, semget, semctl, and a couple of others, too). That way heavyweight processes could simulate threads (they CAN take advantage of multiple processors but can also share data. That would be the easiest way to "solve" (if only partially) the problem. --Jonathan On Fri, 2005-06-24 at 14:50 +0200, David MENTRE wrote: > [ Last email, I swear it! ;-) ] > > Hello, > > 2005/6/24, David MENTRE : > > Anyway, INRIA people have already worked on those issues and had > > proposals. It is just that they feel it was not worth the trouble, *at > > that time*: > > http://groups.google.com/groups?q=doligez+parallel+GC+caml-list&hl=fr&lr=&selm=fa.dlqoshv.1a66ho7%40ifi.uio.no&rnum=2 > > >From private and public emails, it appears that I have fed an old troll. > > My intent is not to start another thread about GC and threading. My > intent is to know how, in a short future, I could efficiently use a > moderately SMP machine by writing pure OCaml code. > > It could be with typed channels between unix processes, by modifying > the GC, by using concurrent constructs within the language, ... I > don't know so this is why I'm asking it here. > > Yours, > d. > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs