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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 0D832BC6B for ; Wed, 10 Oct 2007 17:03:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAAqGDEfDuhNAnmdsb2JhbACOSAIBAQcEBhEY X-IronPort-AV: E=Sophos;i="4.21,255,1188770400"; d="scan'208";a="4319265" Received: from mail18.bluewin.ch ([195.186.19.64]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Oct 2007 17:03:58 +0200 Received: from [192.168.1.58] (85.2.1.77) by mail18.bluewin.ch (Bluewin 7.3.121) id 46F3844F0044CB2D for caml-list@yquem.inria.fr; Wed, 10 Oct 2007 15:03:58 +0000 Mime-Version: 1.0 (Apple Message framework v752.2) In-Reply-To: References: Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: <0927766B-BFAE-47D0-B2F8-0BBB4E824474@epfl.ch> Content-Transfer-Encoding: quoted-printable From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Subject: Re: [Caml-list] Threads question Date: Wed, 10 Oct 2007 17:04:07 +0200 To: caml-list X-Mailer: Apple Mail (2.752.2) X-Spam: no; 0.00; bunzli:01 buenzli:01 vouillon's:01 threads:01 threads:01 jerome:01 caml-list:01 unison:02 epfl:02 implemented:02 native:03 library:03 daniel:04 daniel:04 raj:05 Le 10 oct. 07 =E0 16:43, Raj Bandyopadhyay a =E9crit : > I was wondering if there is a more lightweight thread library out =20 > there which works at the native code level and does not use system-=20 > level threads? I don't remember exactly how it is implemented but maybe J=E9r=F4me =20 Vouillon's lwt [1] is what you are looking for. You can find it in =20 the distribution of the Unison file synchronizer and in Ocsigen. Best, Daniel [1] http://www.ocsigen.org/doc/lwt/Lwt.html=