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.
And we so don't have the tools to help spec writers check that we've followed that rule.
-
-
Yeah, we need tsan for specs, basically....
-
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.
- Još 1 odgovor
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.