We're in a shared memory concurrency model where all reads and writes to integer variables are atomic. do: $S_1$ in parallel with: $S_2$ means to execute $S_1$ and $S_2$ in separate threads, concurrently. atomically: $S$ means to execute $S$ atomically, i.e. all other threads ...