From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-3.1 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 25990 invoked from network); 10 Aug 2023 14:06:39 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 10 Aug 2023 14:06:39 -0000 Received: (qmail 19812 invoked by uid 550); 10 Aug 2023 14:06:36 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 19777 invoked from network); 10 Aug 2023 14:06:35 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.ca; s=s2048; t=1691676382; bh=lfIROZyT5Y7DaiU0f9AhvAil0p72hwgYXw6npq2bbhA=; h=Date:From:Subject:To:Cc:References:In-Reply-To:From:Subject:Reply-To; b=WIo+v0Fur+Ea6elqFzsIlPU2FlwASSdnvqV1jDNrzoyu3jSCgwT+2jczIhIMyk1/kkUIQ+p30ZGan7y02PKIVSucmVLWRgg7+ykyb3F+WHsV7r50XAvHBEp/UDE7TrorOEcsbTwkUtYLpJrXVEOHApwh0qw6r4sGeWRW7OcU7D47S3011crGAMQy+hxmdLt1779H3CmbT6/98h/cQoa18gWJ0nBfYjJgIrE8Tqw5ERhAzx3w2GShmNk+gZctZOmBW1hiTHTZSbmJo06+cgjqsxKWjc/W6yjtEZ8uzYtghIEbNmOyetUlkuhVOvWUrLKmxJRbJGymXmQdAeFc5ZtRlA== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1691676382; bh=/+4PQXa0G7QNAxb4YYSaVRAhQozPrg4E1Z9nABIgbzA=; h=X-Sonic-MF:Date:From:Subject:To:From:Subject; b=oRJ+M3DAqBec0lMGXZD96AnOJMK9SSzb0yQA6iLaI9O4YgsyMFUL9oJ9UW1hGHQ9YQGXM+svalIIn5piPymdmIEwFVRuIDd3Zug83AH30seBtII3Y07EVvbaiYoOvIeJpKOmu4uZpFRxjLWlw6ux9h7V60LoKnlkl9rQxUoXGyMoJF0Ol4edLOIvOanE13U+CMBUZUrRFu4zUvDbgX8Q9NrSnx/M/WV2sDWBDFNevBSFoXlDUByM/2XK8WhPkm/ccOuU0PhdowsgLv7+E4MY7uHRPwjfvQyayk/Xp+0XKRnz4MfYHZODi+VEb1YgQ0H+F2AicMpY9c0UuMklHMfjIQ== X-YMail-OSG: HrT6GNIVM1nDapI4FVlc72IqPiN.RJAAo3kSubksme7nTvEy8tYOGniCWI9kjJS ay1lGTp8.bQcPpZrhn3w9Khld5ZSGWeOQhQq_GM1NyU.3THWcMxOhehdWAeAGA4cgYZ13SmLEYBR Ta_yOVrbs60sFTIQVpbGn2LxklG4xkN3xYbuucYlWHdvEbF_gUWADNYHXqBjQvzj5zKIJGMtj.aR 7pkxoNIgewj7zRbTEfcjrbLOQ8GaDRJbt0jBBjjk5WUFB_O2ADCk.t8ixKp9ptZh_rz7wCRZnLVD QWYNBWfzNoHDgFlI44I3f0j3qp2GQekS1INpWBs_Z6sBNWk8e9D8q7MWtKrJHZLsQh34AwZ3dKnl ONayDd2krS43lfRX2DW3BPlK24uR8exsd.HU1AyRTZf4SfE31yeCMLdf1hB2urF6RCR4P1NI542. QMmVOU_oc5rk0Fek0V7GSqSD4IxMZAMDgnWUBvhnJ9Tnh047nMmkIQi4xU8JXYuBSIHq2tCqdTtP MK4c8X1qGbno.33iPMlB66zyITKBPAkG8oilb5ilKPFDT_ZZhTAXg_Pfcq00RIk8D20P4h9KY0Nn lVw9Jn_0DaFvSAHVsf_H.vhVVUbzT04TYcp54S8BQDv1L54sf5hs03ujSXUPJFEtQxnhLceiEsEj 9xNAghlOwRtgNYoA5AzJLnyM0Wthf06cL.jsnD8bpWJVEYNFqMG_UoTgihUJxPVaf7zcA8bhLDgM T1xrAfi7onNVsH9GVigpYk2.1HXTf784t0OgvVVDiTcSjJquoE4hs8g8OPxQwyuJDWi_SUvHhuXV AUb.PqbISuo263S44fB17e7JxOVq.G3QKi7deAQD9H7Zxw_x71UWApYfNeYK80j0KV49BChDuZCS biMGWE8.rSLzkOGvE92yL_VeUW2CzgqQIpVFePikt74NqtiyWmeAbt.RH2UoEr4sifG.lf7.fQZe FS8CyzGcEUPoaxrAgWIQUMBeaB9X4wgoIpRD6fg_U3OrWRHDnpwOR1k8XZg0XO.IlriCA9pBye3Q G7FSB3gFXL.vIOeyfJcG_0pS1WTygIHuZP_k0bb4a7OYfFAlRzuuOBz1eOFVibJ_arFwIIKIgCyc tLGGrVeXvkIQF7ZPopTKvc5kikJq5VDMgv8TxJEyqNwhiwUfe7QGrAFeIBfnErEtPWdYjMfW3Zps EIW4AWW0dIHgL5Hrw9oELpyC6_0bUWEdE3Yh3ggOc_zk6uNKf1GwolWastbpxE4h1gCh7zW_Bm5Q 1uNJV09rt6QzvCvPH3IGh508Pzzru_0QKclFLTSK2UUY_1VMwh8gVRtWytV.9PC6nRvfEJV_5omc w60tQi9ctCdwtF7BWIooFTDhRP_4f108hs8I1sG25ixkeL5ZrieQCuA7pvoGiF3opru.y_norOvZ Bj6iRnREu2BSnvxBfTV5Z2wPXUM1BHmkvK9G8p0U5bMsoJPKijRX1Cu.Dqmfaqeso11YKlL14Buo YKavt3NnKIJXJS3mPLk9NnhNMgkHGw5XzCDqOuujI8CSLn0psdjLsLBzmoJIspku8wB1zDYH0Ntk FKc4PhaJx5b57NJrpuErQJNH3wkDBPfmKM6.N_TmcG7txvnykohUv8S9P65jLcRjNG2PERFpBvP0 16FnyMZr6KF2ODkGzCrqDD6klNS6meVQwMgjcbJ4wG0iO2JqBcHCssk0a1NlQM60cemKB16kEyC0 wGjai_S._x5JGxOhnIPL0ue14xDWuDSBgCrUFNKuuQ2.GPGU2eYtoH_vYKU84foWqewn7ENmrac1 K1TFbSGCDBcrERb3ijqCalMCtGkSokJi03OT8V8VvZEuA5YDVxqzFmmtdzmgAmG7qgAgHGItW2a2 GsXEkIQWBbxjLg3YNbDMaDrTmJWfF_M1tir67VRNUPQ19v3KND5vrTG_8a.miXVsSy1OYYsF8X9o R5sVPG9Mk8uEVpnjT9a.oBBMb4Rm9kBrUcjBl8gbGL.KAcTcJ2j0LIxwb8d8aaVNecLHt9i__ALJ h_WhkskaUoVrNeOEx5dFDkyKqAY_QlOkRHVYt6XT1_td3I2qQSWEqLQh5U6V8gqFnRL_nPDlG4sX xA9GIYEq21A9V5XIym0ix3K9wiC9QTaQwEVeNnPArCLesVJUe33SU709Fx7vJeeMggqYF8Jp0J12 rY_Xk5TtEGudACdM3pluNa7VwhDSRSiERvZXjFW20uRzSgbvFPv0L5v_kE7VHP7Rt9MeNSVcpLpW oiWuy_RWvlnFX1u6N4dFjpIimUEm9 X-Sonic-MF: X-Sonic-ID: e1d711b1-eae9-4d4d-a1f8-7977aab2e856 Date: Thu, 10 Aug 2023 10:06:17 -0400 From: "Alex Xu (Hello71)" To: qijinquan@kaihong.com Cc: musl@lists.openwall.com References: <73135a17-ed7a-4749-aa6e-75faa1c85077.qijinquan@kaihong.com> In-Reply-To: <73135a17-ed7a-4749-aa6e-75faa1c85077.qijinquan@kaihong.com> MIME-Version: 1.0 Message-Id: <1691676230.gfmh0cw839.none@localhost> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Mailer: WebService/1.1.21695 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo Subject: Re: [musl] pthread_cond_wait may has a error Excerpts from =E7=A5=81=E9=87=91=E5=85=A8's message of August 10, 2023 2:22= am: > Hi, > In my demo, I create 3 threads, the first and the second thread are wait = for the global pthread_cond with different pthread_mutex https://pubs.opengroup.org/onlinepubs/7908799/xsh/pthread_cond_wait.html: > The effect of using more than one mutex for concurrent=20 > pthread_cond_wait() or pthread_cond_timedwait() operations on the same=20 > condition variable is undefined https://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_cond_tim= edwait.html: > When a thread waits on a condition variable, having specified a=20 > particular mutex to either the pthread_cond_timedwait() or the=20 > pthread_cond_wait() operation, a dynamic binding is formed between=20 > that mutex and condition variable that remains in effect as long as at=20 > least one thread is blocked on the condition variable. During this=20 > time, the effect of an attempt by any thread to wait on that condition=20 > variable using a different mutex is undefined. Cheers, Alex.