1 | An assertion that the iterations of the DO may be executed in any order or concurrently |
2 | If the assertion is false, the compiler is free to take any action it deems necessary |
3 | No restrictions on the loop body |
4 | No way to perform explicit synchronization |