ParallelismΒΆ

Static checks for runtime errors due to parallelism

Nested Rules

Parallelism-IncorrectCriticalRegion

Critical regions must obey certain layout rules

Parallelism-UnsafeVarAccess

Do not access global variables or static members outside critical region

Options