From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pedagand@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.0 required=5.0 tests=AWL,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 DC286BC6B
	for <caml-list@yquem.inria.fr>; Fri, 14 Dec 2007 17:57:13 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAACRFYkdA6ba/mGdsb2JhbACQAwEBAQEHAgYTGJl3
X-IronPort-AV: E=Sophos;i="4.24,168,1196636400"; 
   d="scan'208";a="20331360"
Received: from nf-out-0910.google.com ([64.233.182.191])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Dec 2007 17:57:13 +0100
Received: by nf-out-0910.google.com with SMTP id e27so945734nfd.13
        for <caml-list@yquem.inria.fr>; Fri, 14 Dec 2007 08:57:13 -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:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=SpeGMybtB9+OXQdDwRF2+8g7opuVxUp/Jkca+G2143c=;
        b=nzK7xZU+ys/DscSQROUb8XbOUhTkw2uA4hi7V7nqKShBcCba/i/wdFi/urwsGuVg+g1tY4uL8aMKJqJoLf3pZSzyLwbo+yHxi6riTNng0LSaRwUTmeaPtxvb3iwHdPDA2skHhD1mjzq8Dwsv2fRhx/XMf+OTybzVnASE3XB08d8=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=Y8AbJDD+MVJk/vDYqxbErIlPCsqVhAtMjyCsLfWJmZWItC/enEDkWK41cDSXiDmkHY6BC+9AtCg+I5tQ8eSwpyS7ajSUMxl1reptEXm3UxvVpWAcoE9eySkh5y1Du5U1w3ojpzGCHO7PGa9bMHu3TOjYNrqBcRc5VLreCzIiV28=
Received: by 10.82.150.20 with SMTP id x20mr9509156bud.5.1197651431091;
        Fri, 14 Dec 2007 08:57:11 -0800 (PST)
Received: by 10.82.154.16 with HTTP; Fri, 14 Dec 2007 08:57:11 -0800 (PST)
Message-ID: <6cb897b30712140857g296bc0aap7b2b89f37c45304e@mail.gmail.com>
Date: Fri, 14 Dec 2007 17:57:11 +0100
From: "Pierre-Evariste Dagand" <pedagand@gmail.com>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] Re: "Ref" and copy of functions
In-Reply-To: <6cb897b30712140848j52e5628avbf0e3dadcb771f71@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <6cb897b30712130927m7df88e3axec56eacba4d47fdf@mail.gmail.com>
	 <87d4t9k0uy.fsf@pps.jussieu.fr>
	 <6cb897b30712140654v26a0ef96we6007c868d3d1829@mail.gmail.com>
	 <6f9f8f4a0712140830q1ac9138cjee8d0c41f9774018@mail.gmail.com>
	 <6cb897b30712140848j52e5628avbf0e3dadcb771f71@mail.gmail.com>
X-Spam: no; 0.00; nodes:01 debugger:01 model:01 checker:01 granularity:01 threads:01 threads:01 unix:01 caml-list:01 functions:01 library:03 library:03 size:95 anyway:05 interface:06 

[I forgot to cc the list, sorry]

> Err, Is this likely to be a bottoleneck? Or do you want it to be a
> library, so it has to be fast anyway?

Indeed, it will be a library and I would like to get it the faster I can.

These arrows can be connected to :
  1/ A simulator that simulates a whole network (target size : 10.000 nodes)
  2/ A network interface that connects the arrow with the World
  3/ If I have enough time, a debugger and a model checker

In the 2/ case, I'm looking for documentation about the granularity of
the Unix/Windows threads switching (as I rely on threads to interact
with the world).

For the other cases, the faster, the better.

--
Pierre-Evariste DAGAND