Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAA2zVHrR69WzP-ZTEFwSe_Fke8MR_hJCrx2Nm==s+EW+gF3PtA@mail.gmail.com>
Date: Tue, 4 Oct 2022 12:24:14 -0400
From: James Y Knight <jyknight@...gle.com>
To: musl@...ts.openwall.com
Subject: Re: Illegal killlock skipping when transitioning to
 single-threaded state

On Tue, Oct 4, 2022 at 10:13 AM Rich Felker <dalias@...c.org> wrote:

> If this is actually the case, it's disturbing that GCC does not seem
> to be getting it right either...
>

The __sync_* builtins are legacy and were never particularly well-defined
-- especially for non-x86 platforms. (Note that they don't include atomic
load/store operations, which are effectively unnecessary on x86, but vital
on most other architectures).

I would suggest that musl (and anyone else) really ought to migrate from
its homegrown atomics support to the standard C11 atomic memory model,
which _is_ well-defined and extensively studied. Such a migration will
certainly be a Project, of course...

Content of type "text/html" skipped

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.