DIP 1024--Shared Atomics--Community Review Round 1

[Kagamin]

On Friday, 4 October 2019 at 12:22:16 UTC, Stefan Koch wrote:
> The reason why you want shared access to be forbidden by 
> default is to see where synchronization is required and force 
> you to think about it.
> In all your code not just safe code.

That's achieved by writing safe code, so the failure requires 
transition to trusted code, where there's type system and lack of 
conversion between shared and unshared data. Adding churn 
indefinitely isn't very practical, it increases cognitive load on 
programmer and diverts resources that can be spent on thinking 
about synchronization. Also the idea ignores the problem that 
people deem it difficult to work with shared data, adding more 
churn only worsens that problem, which is traded for an alleged 
solution to a hypothetical problem.