C++ Logo

liaison

Advanced search

Re: [wg14/wg21 liaison] Atomics papers

From: Jens Gustedt <jens.gustedt_at_[hidden]>
Date: Wed, 10 Feb 2021 20:51:01 +0100
on Wed, 10 Feb 2021 18:51:15 +0000 you (Joseph Myers via Liaison
<liaison_at_[hidden]>) wrote:

> (I realise that some things that can be done with direct assignment
> operators have no corresponding stdatomic.h operations; for example,
> atomic compound assignment for floating-point types with all the
> corresponding implications for handling floating-point exception
> state. However, such operations could be added to stdatomic.h, so
> allowing an explicit memory order to be specified, independent of any
> way to apply atomic operations to non-atomic data.)

I tried to add that with several papers, it didn't fly.

If perhaps we could agree here what we think would be all reasonable
operations for atomics, that would be great. All compound assignments
can be synthesized "easily" as soon as there is a `compare_exchange`
operation. So this is not even a question of lockfree or not.

Thanks
Jens

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

Received on 2021-02-10 13:51:05