(no title)
kiitos | 3 months ago
this only works when the language defines a memory model where bools are guaranteed to have atomic reads and writes
so you can't make a claim like "setting a field to true from ... multiple threads ... can be a meaningful operation e.g. if you only care about if ANY of the threads have finished execution"
as that claim only holds when the memory model allows it
which is not true in general, and definitely not true in go
assumptions everywhere!!
gf000|3 months ago
Then I give an example of a language where it's safe
I don't get your point. The negation of all is a single example where it doesn't apply.
zbentley|3 months ago
kiitos|3 months ago