Fixing core.atomic

[rm]

On 31/05/2021 11:18, Guillaume Piolat wrote:
> 
> I have once implemented an atomic struct like this and the first thing 
> that happened is that you would write:
> 
> 
> s = s + 1;
> 
> Breaking atomicity.

I don't consider this a problem. In this case you have a load and a 
store. This is a non-atomic RMW. On the other hand, you do get 
sequential consistency synchronization from this process.