Re: ARM atomics overhaul for musl

[Jens Gustedt <jens.gustedt@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 1236 bytes --]

Hello,

Am Sonntag, den 16.11.2014, 00:56 -0500 schrieb Rich Felker:
> One item on the agenda for this release cycle is overhauling the way
> atomics are done on ARM. I'm cc'ing people who have been involved in
> this discussion in the past in case anyone's not on the musl list and
> has opinions about what should be done.
> 
> The current situation looks like the following: ...

I don't know enough about the nasty details of this architecture to be
helpful, I think. But what I'd very much like to have is some sort of
documentation or standards concerning memory ordering for the atomics
that we use internally. And also about which OS features are
needed/missing to make atomic operations appear stateless (AKA
"lockfree" in C11 terminology).

Since this is the most complicated architecture (or merely family of
architectures) this is probably the best to start such a reflection.

Thanks

Jens

-- 
:: INRIA Nancy Grand Est ::: AlGorille ::: ICube/ICPS :::
:: ::::::::::::::: office Strasbourg : +33 368854536   ::
:: :::::::::::::::::::::: gsm France : +33 651400183   ::
:: ::::::::::::::: gsm international : +49 15737185122 ::
:: http://icube-icps.unistra.fr/index.php/Jens_Gustedt ::





[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 198 bytes --]