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...
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.