Answer:
A program is correctly synchronized if and only if all sequentially consistent executions are free of data races. Correctly synchronized programs have sequentially consistent semantics. Causality requirement for incorrectly synchronized programs.
| Previous Question | Next Question |
| Do you know what is race condition? | Tell us what is thread contention? |