From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9T0r7GU012072 for ; Sat, 29 Oct 2011 02:53:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4DAApOq07AbSoIe2dsb2JhbABChHekbyIBARYmBCGBcgEBBSNWEAsJBQoCAiYCAhQYMYgXok+ROxKBHoY/M2EEjHeYeA X-IronPort-AV: E=Sophos;i="4.69,421,1315173600"; d="scan'208";a="126801111" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 29 Oct 2011 02:53:02 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178037173.adsl.alicedsl.de [85.178.37.173]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id p9T0r0si025082 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Sat, 29 Oct 2011 02:53:00 +0200 Received: by first (Postfix, from userid 1000) id B92B6154016B; Sat, 29 Oct 2011 02:52:59 +0200 (CEST) Date: Sat, 29 Oct 2011 02:52:59 +0200 From: oliver To: Mark Shinwell Cc: Yaron Minsky , caml-list@inria.fr, Stephen Weeks Message-ID: <20111029005259.GA10730@siouxsie> References: <20111026080716.GA27187@solaria.dimino.org> <20111026110643.GU18802@janestreet.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20111026110643.GU18802@janestreet.com> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] [ANN] Async, a monadic concurrency library On Wed, Oct 26, 2011 at 12:06:43PM +0100, Mark Shinwell wrote: > On Wed, Oct 26, 2011 at 07:03:43AM -0400, Yaron Minsky wrote: > > I'll leave Stephen to answer that one. I'm just the front-man here. > > Stephen's the one who did all the actual work on Async... > > Actually, I think I'm probably responsible for this one. I believe the problem > was a kernel bug/feature which caused an internal error code to be exposed to > userspace instead of EINTR. [...] Guessing, you talk about ERESTARTNOINTR ?? Ciao, Oliver