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.0 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 66E59BC6B for ; Thu, 20 Sep 2007 10:28:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFfL8UbAXQImn2dsb2JhbACOEQEBAQEHBAYHIA X-IronPort-AV: E=Sophos;i="4.20,277,1186351200"; d="scan'208";a="16460631" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Sep 2007 10:29:40 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8K8Snxw027962 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 20 Sep 2007 10:28:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFfL8UZQW+UCn2dsb2JhbACOEQEBAQEHBAYHIA X-IronPort-AV: E=Sophos;i="4.20,277,1186351200"; d="scan'208";a="16460628" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Sep 2007 10:29:39 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1IYHPk-0003uR-Bv for caml-list@inria.fr; Thu, 20 Sep 2007 10:29:36 +0200 Received: from ivr94-8-88-162-26-239.fbx.proxad.net ([88.162.26.239]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 20 Sep 2007 10:29:36 +0200 Received: from li by ivr94-8-88-162-26-239.fbx.proxad.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 20 Sep 2007 10:29:36 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Zheng Li Subject: Re: [ANN] coThreads 0.10 Date: Thu, 20 Sep 2007 10:31:25 +0200 Message-ID: <87hclpkaaq.fsf@pps.jussieu.fr> References: <87lkb5fe3f.fsf@pps.jussieu.fr> <87sl5d8cgd.fsf@pps.jussieu.fr> <46F174D9.5060900@ujf-grenoble.fr> <877imm2z7h.fsf@pps.jussieu.fr> <1190249430.6642.1.camel@rosella.wigram> <20070920142938.d48552f2.mle+ocaml@mega-nerd.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: ivr94-8-88-162-26-239.fbx.proxad.net User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/23.0.50 (gnu/linux) Cancel-Lock: sha1:XY2zyks2HX7h8wlNwndGFd7K1LM= Sender: news X-Miltered: at discorde with ID 46F22F41.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0.10:98 neglect:98 threads:01 threads:01 wrote:01 pps:01 pps:01 jussieu:01 jussieu:01 writes:01 api:02 native:03 module:03 module:03 Hi, Erik de Castro Lopo writes: > skaller wrote: >> Why don't you just use a different module name? > I agree. Although it is nice the have the Cothreads API be so similar > to the native Threads module, I can't possibly imagine ever wanting > to go from Cothreads back to Threads. It's easy to neglect that coThreads actually comes with a compatible threads.cm(x)a for the process engine. So if you're working with legacy code but wish to try the process engine, you can still using Thread module and threads library, and don't have to change anything except the include path. On the other hand, if you're using shared-memory concurrency in your legacy code, you'll have to port it with STM --- the only compatible way to have shared-memory across different engines. Regards -- Zheng Li http://www.pps.jussieu.fr/~li