Assertion: continuous barrier | /r/HasProperty | implemented
Facets:
Source sentences:
text: When sequential barriers using the same pass/block state variable are implemented, a deadlock could happen in the first barrier whenever a thread reaches the second and there are still some threads have not got out of the first barrier.