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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C985B7F30A for ; Tue, 12 Mar 2013 00:11:55 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of murthy.chet@gmail.com) identity=pra; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of murthy.chet@gmail.com designates 209.85.223.179 as permitted sender) identity=mailfrom; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f179.google.com) identity=helo; client-ip=209.85.223.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="postmaster@mail-ie0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUHAOViPlHRVd+ziWdsb2JhbABDh2KCcroQgV0WDgEBARMUEiqCKQEBBToGARsdAQMMBgUYCRUQDwETEQEFARwGiBMBAw+hKYwygnuEXQoZJw1ZiHwBBQyPAgeDQAOIcpdMhSo/hE0 X-IPAS-Result: AmUHAOViPlHRVd+ziWdsb2JhbABDh2KCcroQgV0WDgEBARMUEiqCKQEBBToGARsdAQMMBgUYCRUQDwETEQEFARwGiBMBAw+hKYwygnuEXQoZJw1ZiHwBBQyPAgeDQAOIcpdMhSo/hE0 X-IronPort-AV: E=Sophos;i="4.84,825,1355094000"; d="scan'208";a="5004439" Received: from mail-ie0-f179.google.com ([209.85.223.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Mar 2013 00:11:54 +0100 Received: by mail-ie0-f179.google.com with SMTP id k11so5509590iea.24 for ; Mon, 11 Mar 2013 16:11:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:from:to:cc:subject:date:message-id:user-agent :in-reply-to:references:mime-version:content-transfer-encoding :content-type; bh=0IaGBeIH64rdfiMIsnG07efVonDvBTUohCCSoIJqEz8=; b=pCb/o+sHAbfkkmthBj8GBTNf8ImDniiwKuTLNhlHXacHzJsFbgzvs60AFyU/0Mg9gK kD2t/uLwTCiyn6E3dOoTfQXY+k7b6Btcjc1O51EllBlm7R3zezYQaqqdi0TwvYCfjnyd jdXaAXBGLwCr86VjNoqr9aaNyp0fbJShLEYiGjtUQa9wGq1kQITSxjzVlLWaxJvotqbv 2HlSjP6c6SBEXdmJxnZ2rB6PTFl4a/zSKjSNiaOO1nYwvOEFCK1hEWiGlsZ7ZGLF8eqO BHEj8N1qhyOdWjkHgoq9Oy0ISMzKOrUvU+VB+MGi7UNlp7w4gKcQZcygbq6wnYK+yHdV VCFw== X-Received: by 10.42.58.67 with SMTP id g3mr10441452ich.56.1363043513712; Mon, 11 Mar 2013 16:11:53 -0700 (PDT) Received: from groupon.localnet (ip-64-134-233-80.public.wayport.net. [64.134.233.80]) by mx.google.com with ESMTPS id px9sm18765466igc.0.2013.03.11.16.11.48 (version=TLSv1.1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 11 Mar 2013 16:11:52 -0700 (PDT) From: Chet Murthy To: oliver Cc: OCaml List Date: Mon, 11 Mar 2013 16:11:32 -0700 Message-ID: <2278470.xAKQ5esFd6@groupon> User-Agent: KMail/4.8.5 (Linux/3.2.0-38-generic-pae; KDE/4.8.5; i686; ; ) In-Reply-To: <20130311230945.GA3230@siouxsie> References: <4283364.UnedZ1M6uD@groupon> <20130311230945.GA3230@siouxsie> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Subject: Re: [Caml-list] ocaml systhreads condition variables: no condvar_timedwait? 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. --chet-- On Tuesday, March 12, 2013 12:09:45 AM oliver wrote: > On Mon, Mar 11, 2013 at 03:17:13PM -0700, Chet Murthy wrote: > > I'm just starting to use Ocaml threads, and notice that there's no > > equivalent of pthread_condvar_timedwait. > > [...] > > I looked up this function and found nothing. > It seems this is your personal phantasy function, > or possibly just a typo. > > Possibly you mean > pthread_cond_timedwait() > > Ciao, > Oliver