Public service announcement: steps running in parallel should not be reading, much less modifying, any state directly observable outside those steps. Anything like that needs to happen via tasks.
-
-
I think it'd be sufficient to have Bikeshed/Respec recognize member accesses, track them through variable assignments, and enforce that 'in parallel' blocks don't use objects reachable from globals. Something like https://clang.llvm.org/docs/ThreadSafetyAnalysis.html … rather than TSan's dynamic analysis.
-
This would help a lot, yes. Wouldn't catch everything, but would catch naive mistakes...
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.