You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To simplify the initial implementation, atomic references currently treat all orderings as acquire/release, including .sequentiallyConsistent. This isn't tenable -- they should at least differentiate between acquire/release and sequentially consistent orderings. Supporting relaxed ordering is less crucial, given that strong references already involve some amount of memory fences.
Note that we don't want to inline the strong reference implementation into user code, so internally each supported ordering must be mapped to its own set of independent entry points. Unfortunately, this will likely involve a measure of code generation. (Another option would be to use relaxed operations and add appropriate fences.)
The text was updated successfully, but these errors were encountered:
To simplify the initial implementation, atomic references currently treat all orderings as acquire/release, including
.sequentiallyConsistent
. This isn't tenable -- they should at least differentiate between acquire/release and sequentially consistent orderings. Supporting relaxed ordering is less crucial, given that strong references already involve some amount of memory fences.Note that we don't want to inline the strong reference implementation into user code, so internally each supported ordering must be mapped to its own set of independent entry points. Unfortunately, this will likely involve a measure of code generation. (Another option would be to use relaxed operations and add appropriate fences.)
The text was updated successfully, but these errors were encountered: