From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 65F1E7F30A for ; Tue, 12 Mar 2013 01:25:06 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of markus.mottl@gmail.com) identity=pra; client-ip=74.125.82.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of markus.mottl@gmail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8CAN5zPlFKfVK2iGdsb2JhbABDxGSBVQgWDgEBARMUFAQkgikBAQVAARQHHQEDDAYFCw0uIQEBEQEFARwGE4gAAQMPoTmMMoJ7hGMKGScNWYh8AQUMjDqCSAeDQAOUdYFgiWmBc4M3FimESSA X-IPAS-Result: Ag8CAN5zPlFKfVK2iGdsb2JhbABDxGSBVQgWDgEBARMUFAQkgikBAQVAARQHHQEDDAYFCw0uIQEBEQEFARwGE4gAAQMPoTmMMoJ7hGMKGScNWYh8AQUMjDqCSAeDQAOUdYFgiWmBc4M3FimESSA X-IronPort-AV: E=Sophos;i="4.84,827,1355094000"; d="scan'208";a="6549405" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Mar 2013 01:25:06 +0100 Received: by mail-we0-f182.google.com with SMTP id t57so4236266wey.13 for ; Mon, 11 Mar 2013 17:25:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=loRMvGvMGeYaGcXImHPmaP58GCPuf9r3Jm6/Zraz3+Q=; b=P8A9hc+vry++729wKGXSUmudhMP5+/Toeti66D+sN25PQb2N/EPH/3bBzxWgSRgY5K G69uoVgskROVUi+PueN3CIvJP4QF8UgRGVYnGF0F+v+W/WKXD7KiBxBKslQCV8g3acRc bccFf7J2objvtKBngJrDz+M1jg2bQNWPgcjTMIybF+IwfWYeiM1G5MWZWnsLMMNDAqfE JTbD4ZYDlROjJMDrtJuY+CYrD7Nmzt+4cTQ9txqvuEqEtT09UkfcZOjf5dvrICVCACgv fMe3aQ+TZPnfzV3eNQlMFyydoNWZn4ekADoZ35jDgNjn3CtbanWzXC6L4mGLA4l+mElH zEJA== MIME-Version: 1.0 X-Received: by 10.180.103.167 with SMTP id fx7mr16304697wib.15.1363047905863; Mon, 11 Mar 2013 17:25:05 -0700 (PDT) Received: by 10.194.18.135 with HTTP; Mon, 11 Mar 2013 17:25:05 -0700 (PDT) In-Reply-To: <2278470.xAKQ5esFd6@groupon> References: <4283364.UnedZ1M6uD@groupon> <20130311230945.GA3230@siouxsie> <2278470.xAKQ5esFd6@groupon> Date: Mon, 11 Mar 2013 20:25:05 -0400 Message-ID: From: Markus Mottl To: Chet Murthy Cc: oliver , OCaml List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] ocaml systhreads condition variables: no condvar_timedwait? On Mon, Mar 11, 2013 at 7:11 PM, Chet Murthy wrote: > Oops, sorry, yes, I meant pthread_cond_timedwait(). In any case, it's > not wrappered in Ocaml systhreads, though clearly from the > implementation of pthread_cond_wait() (well, "st_condvar_wait" in > st_posix.h), it's trivial to add. > > Just wondering why it was omitted, is all. FWIW, the Jane Street Core library implements this function in Core.Std.Condition.timedwait. I think it should be part of the standard library, too, since it's a POSIX standard. Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com