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=-1.0 required=5.0 tests=HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 30635 invoked from network); 22 Nov 2022 05:41:33 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 22 Nov 2022 05:41:33 -0000 Received: (qmail 31952 invoked by uid 550); 22 Nov 2022 05:41:29 -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 31919 invoked from network); 22 Nov 2022 05:41:28 -0000 From: "A. Wilcox" Content-Type: multipart/alternative; boundary="Apple-Mail=_3E4AF750-73C8-4EDE-9928-C03140FA44E4" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\)) Date: Mon, 21 Nov 2022 23:41:03 -0600 References: <20221122000958.GQ29905@brightrain.aerifal.cx> To: musl@lists.openwall.com In-Reply-To: <20221122000958.GQ29905@brightrain.aerifal.cx> Message-Id: X-Mailer: Apple Mail (2.3696.120.41.1.1) Subject: Re: [musl] sem_post() can miss waiters --Apple-Mail=_3E4AF750-73C8-4EDE-9928-C03140FA44E4 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 On Nov 21, 2022, at 6:09 PM, Rich Felker wrote: >=20 > Regarding your second solution, I think it's more elegant and > efficient and would be preferable if we were doing this from scratch, > but changing SEM_VALUE_MAX is arguably an ABI change we should not > make. >=20 With my distro hat on: this isn=E2=80=99t used by too many programs. Debian Code Search returned a module of Boost. Otherwise, all apps correctly use sysconf(_SC_SEM_VALUE_MAX) in my cursory glance. With my gcompat hat on: yes, please don=E2=80=99t change it. The current value matches glibc and while it doesn=E2=80=99t seem many = things use it, I would hate to have to debug those kind of corner cases in binary blob code. Best, -A.= --Apple-Mail=_3E4AF750-73C8-4EDE-9928-C03140FA44E4 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 On = Nov 21, 2022, at 6:09 PM, Rich Felker <dalias@libc.org> = wrote:

Regarding your second solution, I think it's more elegant = and
efficient and = would be preferable if we were doing this from scratch,
but changing SEM_VALUE_MAX is = arguably an ABI change we should not
make.


With my distro hat on: this isn=E2=80=99t used by = too many programs.

Debian Code = Search returned a module of Boost.  Otherwise, all = apps
correctly use sysconf(_SC_SEM_VALUE_MAX) in my cursory = glance.

With my gcompat hat on: yes, = please don=E2=80=99t change it.

The = current value matches glibc and while it doesn=E2=80=99t seem many = things
use it, I would hate to have to debug those kind of = corner cases in
binary blob code.

Best,
-A.
= --Apple-Mail=_3E4AF750-73C8-4EDE-9928-C03140FA44E4--